Superconducting Computing with Alternating Logic Elements
Georgios Tzimpragos, Jennifer Volk, Alex Wynn, James E. Smith, Timothy Sherwood
Abstract
Although superconducting single flux quantum (SFQ) technologies offer the potential for low-latency operation with energy dissipation of the order of attojoules per gate, their inherently pulse-driven nature and stateful cells have led to designs in which every logic gate is clocked. This means that clocked buffers must be added to equalize logic path lengths, and every gate becomes a pipeline stage. We propose a different approach, where gates are clock-free and synchronous designs have a conventional look-and-feel. Despite being clock-free, however, the gates are state machines by nature. To properly manage these state machines, the logical clock cycle is composed of two synchronous alternating phases: the first of which implements the desired function, and the second of which returns the state machines to the ground state. Moreover, to address the challenges associated with the asynchronous implementation of Boolean NOT operations in pulse-based systems, values are represented as unordered binary codes – in particular, dual-rail codes. With unordered codes, AND and OR operations are functionally complete.We demonstrate that our new approach, xSFQ, with its dual-rail construction and alternating clock phases, along with "double-pumped" logical latches and a timing optimization through latch decomposition, is capable of implementing arbitrary digital designs without gate-level pipelining and the overheads that come with it. We evaluate energy-delay trade-offs enabled by this approach through a mix of detailed analog circuit modeling, pulse-level discrete-event simulation, and high-level pipeline efficiency analysis. The resulting systems are shown to deliver energy-delay product (EDP) gains over conventional SFQ even with pipeline hazard ratios (HR) below 1%. For hazard ratios equal to 15% and 20% and a design resembling a RISC-V RV32I core (excluding the cost of interlock logic), xSFQ achieves 22x and 31x EDP savings, respectively.
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get 237bc3a6-36d6-42d3-b6ea-5673f4ac29a8Cited by top-tier papers2
- Synthesis of Resource-Efficient Superconducting Circuits with Clock-Free Alternating LogicJennifer Volk, Panagiotis Papanikolaou, Georgios Zervakis, Georgios TzimpragosDAC 2024 · 6 citations
- PyLSE: a pulse-transfer level language for superconductor electronicsMichael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk et al.PLDI 2022 · 6 citations
Related papers
- SuperCore: An Ultra-Fast Superconducting Processor for Cryogenic ApplicationsJunhyuk Choi, Ilkwon Byun, Juwon Hong, Dongmoon Min et al.MICRO 2024 · 9 citations
- Unleashing the Power of T1-cells in SFQ Arithmetic CircuitsRassul Bairamkulov, Mingfei Yu, Giovanni De MicheliDAC 2024 · 1 citation
- SuperSFQ: A Hardware Design to Realize High-Frequency Superconducting ProcessorsJunhyuk Choi, Juwon Hong, Junpyo Kim, Jungmin Cho et al.MICRO 2025 · 2 citations
- qSeq: Full Algorithmic and Tool Support for Synthesizing Sequential Circuits in Superconducting SFQ TechnologyGhasem Pasandi, Massoud PedramDAC 2021 · 6 citations
- Temporal and SFQ pulse-streams encoding for area-efficient superconducting acceleratorsPatricia Gonzalez-Guerrero, Meriam Gay Bautista, Darren Lyles, George MichelogiannakisASPLOS 2022 · 18 citations
