Automated Verification and Optimization of SFQ Superconducting Circuits.

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

Published in: IEEE Access (2019)

Keyphrases

automated verification
model checking
formal verification
optimization algorithm
high speed
automated reasoning
optimization problems
magnetic field
genetic algorithm
knowledge base
evolutionary algorithm
computationally efficient
circuit design