1

Equivalence Checking for Superconducting RSFQ Logic Circuits

Equivalence checking is a key component of the verification methodology for digital circuit designs. In this paper, we propose an equivalence checking framework for superconducting rapid single-flux-quantum (RSFQ) logic circuits which include acyclic …

Design Automation Methodology from RTL to Gate-Level Netlist and Schematic for RSFQ Logic Circuits

The superconducting rapid single flux quantum (RSFQ) logic circuit has the characteristics of high speed and low power consumption, making it an attractive candidate for future supercomputers. However, computer-aided design (CAD) tools for CMOS …