Automated Verification and Optimization of SFQ Superconducting Circuits

IEEE Access

John F. McDonald¹  Alexander Derrickson¹  Andrew M. Haslam¹  Kurt M. English¹ 

[1] Center for Integrated Electronics, Rensselaer Polytechnic Institute, Troy, NY, USA;

关键词: Circuit verification;    circuit optimization;    Josephson junctions;    RSFQ circuits;    single flux quantum (SFQ);    superconducting electronics;   

DOI  :  10.1109/ACCESS.2019.2899873

来源: DOAJ

【 摘 要 】

New tools have been created to allow a superconducting design flow for schematic design, verification, and optimization. These tools integrate with the Cadence design environment. In single flux quantum superconducting electronics, individual component values, such as wire inductances, Josephson junction critical currents, and bias currents, must be optimized to allow for maximum deviance from the designer value, which is also known as the device margin. One tool is used to create a description of the proper circuit behavior. Included with this tool is the ability to automatically create the description from a Cadence netlist. The other tool is an automated device margin circuit schematic verification and optimization tool, which widens device margins while maintaining proper circuit behavior derived from the first tool. Additionally, this optimization tool can automatically correct the circuit schematic using the proper circuit behavior description. In this paper, the functionality of the language used to create the description of the proper circuit behavior is presented. Several circuits are then verified and optimized based on their correct behavior.

【 授权许可】

Unknown