Automated Verification and Optimization of SFQ Superconducting Circuits

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2019
Source ID
10.1109/access.2019.2899873

Entities

People

  • Alexander Derrickson
  • Andrew Haslam
  • John F. Mcdonald
  • Kurt M. English

Organizations

  • Intelligence Advanced Research Projects Activity