Rongliang Fu, Junying Huang, Zhimin Zhang. Equivalence Checking for Superconducting RSFQ Logic Circuits. 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 51-56, ACM, 2021. [doi]