Equivalence Checking for Superconducting RSFQ Logic Circuits

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]

Authors

Rongliang Fu

This author has not been identified. Look up 'Rongliang Fu' in Google

Junying Huang

This author has not been identified. Look up 'Junying Huang' in Google

Zhimin Zhang

This author has not been identified. Look up 'Zhimin Zhang' in Google