Mustafa Munir, Aswin Gopikanna, Arash Fayyazi, Massoud Pedram, Shahin Nazarian. qMC: A Formal Model Checking Verification Framework For Superconducting Logic. In Yiran Chen, Victor V. Zhirnov, Avesta Sasan, Ioannis Savidis, editors, GLSVLSI '21: Great Lakes Symposium on VLSI 2021, Virtual Event, USA, June 22-25, 2021. pages 259-264, ACM, 2021. [doi]
Abstract is missing.