Synthesis and Optimization of Multiple Portions of Circuits for ECO based on Set-Covering and QBF Formulations

Bibliographic Details
Title: Synthesis and Optimization of Multiple Portions of Circuits for ECO based on Set-Covering and QBF Formulations
Authors: Fujita, Masahiro, Kimura, Yusuke, Le, Xingming, Miyasaka, Yukio, Gharehbaghi, Amir Masoud
Source: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). :744-749 Mar, 2020
Relation: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)
Database: IEEE Xplore Digital Library