Oumarou Oumarou, Alexandru Paler, Robert Basmadjian. QUANTIFY: A Framework for Resource Analysis and Design Verification of Quantum Circuits. In 2020 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2020, Limassol, Cyprus, July 6-8, 2020. pages 126-131, IEEE, 2020. [doi]
Abstract is missing.