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