Equivalence Checking of Sequential Quantum Circuits

Qisheng Wang, Riling Li, Mingsheng Ying
一月 2022
引用 DOI
类型
期刊文章
出版物
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Quantum Circuit Quantum Mechanics Integrated Circuit Modeling Logic Gates Automata Qubit Equivalence Checking Mealy Machines Quantum Circuits Quantum Computing Sequential Circuits
应明生
应明生
教授