Tags

superconductor logic

exact logic synthesis

length-matching

routing

AQFP

buffer and splitter insertion

superconducting electronics

equivalence checking

logic cone

rapid single-flux-quantum (RSFQ)