Conference
Synthesis and Optimization of Multiple Portions of Circuits for ECO based on Set-Covering and QBF Formulations
| 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 |
| ISBN: | 9783981926347 |
|---|---|
| ISSN: | 15581101 |
| DOI: | 10.23919/DATE48585.2020.9116459 |
| Published in: | 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) |