Automated Verification and Optimization of SFQ Superconducting Circuits. - Andrew Haslam; Kurt M. English; Alexander Derrickson; John F. McDonald 001 (IEEE Access, 2019)

A highly parallel automated SFQ circuit design and margin optimization tool applied to a dual rail logic single flux quanta cell library. - Kurt M. English (2020)