Beyond local optimality of buffer and splitter insertion for AQFP circuits-Reference-Cited by-同舟云学术

Beyond local optimality of buffer and splitter insertion for AQFP circuits

Published:2022-07-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 59th ACM/IEEE Design Automation Conference
language:
Short-container-title:

Author:

Lee Siang-Yun¹,Riener Heinz²,De Micheli Giovanni¹

Affiliation:

1. EPF Lausanne, Switzerland

2. Cadence Design Systems, Germany

Funder

Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3489517.3530661

Reference22 articles.

1. Luca Amarú , Pierre-Emmanuel Gaillardon , and Giovanni De Micheli . 2015 . The EPFL combinational benchmark suite . In Proceedings of IWLS. Luca Amarú, Pierre-Emmanuel Gaillardon, and Giovanni De Micheli. 2015. The EPFL combinational benchmark suite. In Proceedings of IWLS.

2. Christopher L Ayala , Ro Saito , Tomoyuki Tanaka , Olivia Chen , Naoki Takeuchi , Yuxing He , and Nobuyuki Yoshikawa . 2020. A semi-custom design methodology and environment for implementing superconductor adiabatic quantum-flux-parametron microprocessors. Superconductor Science and Technology 33, 5 ( 2020 ). Christopher L Ayala, Ro Saito, Tomoyuki Tanaka, Olivia Chen, Naoki Takeuchi, Yuxing He, and Nobuyuki Yoshikawa. 2020. A semi-custom design methodology and environment for implementing superconductor adiabatic quantum-flux-parametron microprocessors. Superconductor Science and Technology 33, 5 (2020).

3. Armin Biere , Marijn Heule , Hans van Maaren , and Toby Walsh ( Eds .). 2009 . Handbook of Satisfiability . Frontiers in Artificial Intelligence and Applications , Vol. 185 . IOS Press. Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh (Eds.). 2009. Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, Vol. 185. IOS Press.

4. Nikolaj Bjørner , Anh-Dung Phan , and Lars Fleckenstein . 2015 . vZ - An Optimizing SMT Solver . In Proceedings of TACAS , Vol. 9035 . Springer, 194--199. Nikolaj Bjørner, Anh-Dung Phan, and Lars Fleckenstein. 2015. vZ - An Optimizing SMT Solver. In Proceedings of TACAS, Vol. 9035. Springer, 194--199.

5. A Buffer and Splitter Insertion Framework for Adiabatic Quantum-Flux-Parametron Superconducting Circuits

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SuperSIM: a comprehensive benchmarking framework for neural networks using superconductor Josephson devices;Superconductor Science and Technology;2024-08-22

2. Technology Mapping for Beyond-CMOS Circuitry with Unconventional Cost Functions;2024 IEEE 24th International Conference on Nanotechnology (NANO);2024-07-08

3. Technology-Aware Logic Synthesis for Superconducting Electronics;2024 Design, Automation & Test in Europe Conference & Exhibition (DATE);2024-03-25

4. SuperFlow: A Fully-Customized RTL-to-GDS Design Automation Flow for Adiabatic Quantum- Flux - Parametron Superconducting Circuits;2024 Design, Automation & Test in Europe Conference & Exhibition (DATE);2024-03-25

5. Optimization for Buffer and Splitter Insertion in AQFP Circuits with Local and Group Movement;Proceedings of the 2024 International Symposium on Physical Design;2024-03-12