VeriSFQ: A Semi-formal Verification Framework and Benchmark for Single Flux Quantum Technology. - Alvin D. Wong; Kevin Su; Hang Sun; Arash Fayyazi; Massoud Pedram; Shahin Nazarian (ISQED, 2019)