共 50 条
- [1] Constraints generation for analog circuits layout 2004 INTERNATIONAL CONFERENCE ON COMMUNICATION, CIRCUITS, AND SYSTEMS, VOLS 1 AND 2: VOL 1: COMMUNICATION THEORY AND SYSTEMS, 2004, : 1339 - 1343
- [2] Constraints generation for analog circuits layout 2004 INTERNATIONAL CONFERENCE ON COMMUNICATION, CIRCUITS, AND SYSTEMS, VOLS 1 AND 2: VOL 1: COMMUNICATION THEORY AND SYSTEMS - VOL 2: SIGNAL PROCESSING, CIRCUITS AND SYSTEMS, 2004, : 1334 - 1338
- [3] Geometric Refactoring of Quantum and Reversible Circuits: Quantum Layout 2020 23RD EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2020), 2020, : 428 - 435
- [4] Hierarchical Verification of Quantum Circuits NASA FORMAL METHODS, NFM 2016, 2016, 9690 : 344 - 352
- [6] Automated design and layout generation for switched current circuits 2006 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11, PROCEEDINGS, 2006, : 637 - +
- [8] Optimal Layout Synthesis for Quantum Circuits as Classical Planning 2023 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, ICCAD, 2023,
- [9] Layout to logic defect analysis for hierarchical test generation PROCEEDINGS OF THE 2007 IEEE WORKSHOP ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS, 2007, : 35 - +
- [10] Reoptimization of Quantum Circuits via Hierarchical Synthesis 2021 INTERNATIONAL CONFERENCE ON REBOOTING COMPUTING (ICRC 2021), 2021, : 35 - 46