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]
@inproceedings{FuHZ21,
title = {Equivalence Checking for Superconducting RSFQ Logic Circuits},
author = {Rongliang Fu and Junying Huang and Zhimin Zhang},
year = {2021},
doi = {10.1145/3453688.3461486},
url = {https://doi.org/10.1145/3453688.3461486},
researchr = {https://researchr.org/publication/FuHZ21},
cites = {0},
citedby = {0},
pages = {51-56},
booktitle = {GLSVLSI '21: Great Lakes Symposium on VLSI 2021, Virtual Event, USA, June 22-25, 2021},
editor = {Yiran Chen and Victor V. Zhirnov and Avesta Sasan and Ioannis Savidis},
publisher = {ACM},
isbn = {978-1-4503-8393-6},
}