[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/3566097.3567895acmconferencesArticle/Chapter ViewAbstractPublication PagesaspdacConference Proceedingsconference-collections
research-article
Open access

Depth-Optimal Buffer and Splitter Insertion and Optimization in AQFP Circuits

Published: 31 January 2023 Publication History

Abstract

The Adiabatic Quantum-Flux Parametron (AQFP) is an energy-efficient superconducting logic family. AQFP technology requires buffer and splitting elements (B/S) to be inserted to satisfy path-balancing and fanout-branching constraints. B/S insertion policies and optimization strategies have been recently proposed to minimize the number of buffers and splitters needed in an AQFP circuit. In this work, we study the B/S insertion and optimization methods. In particular, the paper proposes: i) an algorithm for B/S insertion that guarantees global depth optimality; ii) a new approach for B/S optimization based on minimum register retiming; iii) a B/S optimization flow based on (i), (ii), and existing work. We show that our approach reduces the number of B/S up to 20% while guaranteeing optimal depth and providing a 55X speed-up in run time compared to the state-of-the-art.

References

[1]
L. Amarù, Pierre-Emmanuel Gaillardon, and G. D. Micheli. 2015. The EPFL Combinational Benchmark Suite. In Proc. IWLS.
[2]
Luca Amarú, Pierre-Emmanuel Gaillardon, and Giovanni De Micheli. 2016. Majority-Inverter Graph: A New Paradigm for Logic Optimization. IEEE Trans. CAD 35, 5 (2016).
[3]
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).
[4]
Ruizhe Cai, Olivia Chen, Ao Ren, Ning Liu, Caiwen Ding, Nobuyuki Yoshikawa, and Yanzhi Wang. 2019. A Majority Logic Synthesis Framework for Adiabatic Quantum-Flux-Parametron Superconducting Circuits. In Proceedings of the 2019 on Great Lakes Symposium on VLSI. ACM.
[5]
Ruizhe Cai, Olivia Chen, Ao Ren, Ning Liu, Nobuyuki Yoshikawa, and Yanzhi Wang. 2019. A Buffer and Splitter Insertion Framework for Adiabatic Quantum-Flux-Parametron Superconducting Circuits. In ICCD.
[6]
Alessandro Tempia Calvino, Heinz Riener, Shubham Rai, Akash Kumar, and Giovanni De Micheli. 2022. A Versatile Mapping Approach for Technology Mapping and Graph Optimization. In ASP-DAC.
[7]
Olivia Chen, Ruizhe Cai, Yetang Wang, Fei Ke, Taiki Yamae, Ro Saito, Naoki Takeuchi, and Nobuyuki Yoshikawa. 2019. Adiabatic Quantum-Flux-Parametron: Towards Building Extremely Energy-Efficient Circuits and Systems. Scientific Reports 9 (2019).
[8]
Chao-Yuan Huang, Yi-Chen Chang, Ming-Jer Tsai, and Tsung-Yi Ho. 2021. An Optimal Algorithm for Splitter and Buffer Insertion in Adiabatic Quantum-Flux-Parametron Circuits. In ICCAD.
[9]
Aaron P. Hurst, Alan Mishchenko, and Robert K. Brayton. 2007. Fast Minimum-Register Retiming via Binary Maximum-Flow. In Formal Methods in Computer Aided Design (FMCAD'07).
[10]
Naveen Katam, Alireza Shafaei, and Massoud Pedram. 2017. Design of Complex Rapid Single-Flux-Quantum Cells with Application to Logic Synthesis. In ISEC.
[11]
Siang-Yun Lee, Heinz Riener, and Giovanni De Micheli. 2021. Irredundant Buffer and Splitter Insertion and Scheduling-Based Optimization for AQFP Circuits. In in Proc. IWLS. arXiv:2109.00291
[12]
Charles E. Leiserson and James B. Saxe. 1991. Retiming Synchronous Circuitry. Algorithmica 6, 1--6 (jun 1991), 5--35.
[13]
Dewmini Sudara Marakkalage, Heinz Riener, and Giovanni De Micheli. 2021. Optimizing Adiabatic Quantum-Flux-Parametron (AQFP) Circuits using an Exact Database. In NANOARCH.
[14]
Giulia Meuli, Vinicius Possani, Rajinder Singh, Siang-Yun Lee, Alessandro Tempia Calvino, Dewmini Sudara Marakkalage, Patrick Vuillod, Luca Amaru, Scott Chase, Jamil Kawa, and Giovanni De Micheli. 2022. Majority-based Design Flow for AQFP Superconducting Family. DATE (2022), 6.
[15]
Mathias Soeken, Heinz Riener, Winston Haaswijk, Eleonora Testa, Bruno Schmitt, Giulia Meuli, Fereshte Mozafari, Siang-Yun Lee, Alessandro Tempia Calvino, Dewmini Sudara Marakkalage, and Giovanni De Micheli. 2022. The EPFL Logic Synthesis Libraries. (2022). arXiv:1805.05121v3
[16]
Naoki Takeuchi, Mai Nozoe, Yuxing He, and Nobuyuki Yoshikawa. 2019. Low-latency adiabatic superconductor logic using delay-line clocking. Applied Physics Letters 115, 7 (2019).
[17]
Naoki Takeuchi, Dan Ozawa, Yuki Yamanashi, and Nobuyuki Yoshikawa. 2013. An adiabatic quantum flux parametron as an ultra-low-power logic device. Superconductor Science and Technology 26, 3 (2013).
[18]
Naoki Takeuchi, Yuki Yamanashi, and Nobuyuki Yoshikawa. 2015. Adiabatic quantum-flux-parametron cell library adopting minimalist design. Journal of Applied Physics 117, 17 (2015).
[19]
Eleonora Testa, Siang-Yun Lee, Heinz Riener, and Giovanni De Micheli. 2021. Algebraic and Boolean Optimization Methods for AQFP Superconducting Circuits. In Proc. ASP-DAC.
[20]
Stephen R. Whiteley and Jamil Kawa. 2019. Progress Toward VLSI-Capable EDA Tools for Superconductive Digital Electronics. In 2019 IEEE International Superconductive Electronics Conference (ISEC). 1--3.

Cited By

View all
  • (2024)Optimization for Buffer and Splitter Insertion in AQFP Circuits with Local and Group MovementProceedings of the 2024 International Symposium on Physical Design10.1145/3626184.3633323(255-262)Online publication date: 12-Mar-2024
  • (2024)Reducing Wire Crossings in Field-Coupled Nanotechnologies2024 IEEE 24th International Conference on Nanotechnology (NANO)10.1109/NANO61778.2024.10628717(155-160)Online publication date: 8-Jul-2024
  • (2024)Superconductive Electronics: A 25-Year Review [Feature]IEEE Circuits and Systems Magazine10.1109/MCAS.2024.337649224:2(16-33)Online publication date: Oct-2025
  • Show More Cited By

Index Terms

  1. Depth-Optimal Buffer and Splitter Insertion and Optimization in AQFP Circuits
      Index terms have been assigned to the content through auto-classification.

      Recommendations

      Comments

      Please enable JavaScript to view thecomments powered by Disqus.

      Information & Contributors

      Information

      Published In

      cover image ACM Conferences
      ASPDAC '23: Proceedings of the 28th Asia and South Pacific Design Automation Conference
      January 2023
      807 pages
      ISBN:9781450397834
      DOI:10.1145/3566097
      This work is licensed under a Creative Commons Attribution International 4.0 License.

      Sponsors

      In-Cooperation

      • IPSJ
      • IEEE CAS
      • IEEE CEDA
      • IEICE

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      Published: 31 January 2023

      Check for updates

      Qualifiers

      • Research-article

      Funding Sources

      • SNF Supercool: Design methods and tools for superconducting electronics

      Conference

      ASPDAC '23
      Sponsor:

      Acceptance Rates

      ASPDAC '23 Paper Acceptance Rate 102 of 328 submissions, 31%;
      Overall Acceptance Rate 466 of 1,454 submissions, 32%

      Upcoming Conference

      ASPDAC '25

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)116
      • Downloads (Last 6 weeks)11
      Reflects downloads up to 13 Dec 2024

      Other Metrics

      Citations

      Cited By

      View all
      • (2024)Optimization for Buffer and Splitter Insertion in AQFP Circuits with Local and Group MovementProceedings of the 2024 International Symposium on Physical Design10.1145/3626184.3633323(255-262)Online publication date: 12-Mar-2024
      • (2024)Reducing Wire Crossings in Field-Coupled Nanotechnologies2024 IEEE 24th International Conference on Nanotechnology (NANO)10.1109/NANO61778.2024.10628717(155-160)Online publication date: 8-Jul-2024
      • (2024)Superconductive Electronics: A 25-Year Review [Feature]IEEE Circuits and Systems Magazine10.1109/MCAS.2024.337649224:2(16-33)Online publication date: Oct-2025
      • (2024)Algebraic and Boolean Methods for SFQ Superconducting CircuitsProceedings of the 29th Asia and South Pacific Design Automation Conference10.1109/ASP-DAC58780.2024.10473899(588-593)Online publication date: 22-Jan-2024
      • (2023)Synthesis of SFQ Circuits with Compound Gates2023 IFIP/IEEE 31st International Conference on Very Large Scale Integration (VLSI-SoC)10.1109/VLSI-SoC57769.2023.10321853(1-6)Online publication date: 16-Oct-2023
      • (2023)Impact of Sequential Design on the Cost of Adiabatic Quantum-Flux Parametron CircuitsIEEE Transactions on Applied Superconductivity10.1109/TASC.2023.330840833:8(1-9)Online publication date: Nov-2023

      View Options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Login options

      Media

      Figures

      Other

      Tables

      Share

      Share

      Share this Publication link

      Share on social media