Abstract:A key distinguishing feature of single flux quantum (SFQ) circuits is that each logic gate is clocked. This feature forces the introduction of path-balancing flip-flops to ensure proper synchronization of inputs at each gate. This paper proposes a polynomial time complexity approximation algorithm for clocking assignments that minimizes the insertion of path balancing buffers for multi-threaded multi-phase clocking of SFQ circuits. Existing SFQ multi-phase clocking solutions have been shown to effectively reduce the number of required buffers inserted while maintaining high throughput, however, the associated clock assignment algorithms have exponential complexity and can have prohibitively long runtimes for large circuits, limiting the scalability of this approach. Our proposed algorithm is based on a linear program (LP) that leads to solutions that are experimentally on average within 5% of the optimum and helps accelerate convergence towards the optimal integer linear program (ILP) based solution. The improved LP and ILP runtimes permit multi-phase clocking schemes to scale to larger SFQ circuits than previous state of the art clocking assignment methods. We further extend the existing algorithm to support fanout sharing of the added buffers, saving, on average, an additional 10% of the inserted DFFs. Compared to traditional full path balancing (FPB) methods across 10 benchmarks, our enhanced LP saves 79.9%, 87.8%, and 91.2% of the inserted buffers for 2, 3, and 4 clock phases respectively. Finally, we extend this approach to the generation of circuits that completely mitigate potential hold-time violations at the cost of either adding on average less than 10% more buffers (for designs with 3 or more clock phases) or, more generally, adding a clock phase and thereby reducing throughput.

A High Performance and Robust FIFO Synchronizer-Interface for Crossing Clock Domains in SFQ Logic

A Scalable Dual-Clock FIFO for Data Transfers Between Arbitrary and Haltable Clock Domains.

An Efficient and Scalable Clocking Assignment Algorithm for Multi-Threaded Multi-Phase Single Flux Quantum Circuits

A 2ghz Programmable Counter with New Re-Loadable D Flip-Flop

qBSA: Logic Design of a 32-bit Block-Skewed RSFQ Arithmetic Logic Unit

Towards Multiphase Clocking in Single-Flux Quantum Systems

Unleashing the Power of T1-cells in SFQ Arithmetic Circuits

Synthesis of Resource-Efficient Superconducting Circuits with Clock-Free Alternating Logic

Low Latency High Throughout Circular Asynchronous FIFO

A Combinational Logic Optimization Method for Large-Scale SFQ Circuits

A Novel Optimization Algorithm for Buffer and Splitter Minimization in Phase-Skipping Adiabatic Quantum-Flux-Parametron Circuits

Compact Pulse Schedules for High-Fidelity Single-Flux Quantum Qubit Control

Low-Latency Adiabatic Quantum-Flux-Parametron Circuit Integrated With a Hybrid Serializer/Deserializer

SFQmap: A Technology Mapping Tool for Single Flux Quantum Logic Circuits

A Majority Logic Synthesis Framework For Single Flux Quantum Circuits

VeriSFQ - A Semi-formal Verification Framework and Benchmark for Single Flux Quantum Technology

Irredundant Buffer and Splitter Insertion and Scheduling-Based Optimization for AQFP Circuits

Multi-Phase Clocking for Multi-Threaded Gate-Level-Pipelined Superconductive Logic.

Power and time efficient clock synchronization in fiber channel

The Realization of Division and Multichannel Output of High-Frequency Clock Using the FPGA

Breaking the Synchronization Bottleneck with Reconfigurable Transactional Execution