Equivalence Checking of Sequential Quantum Circuits.
Qisheng WangRiling LiMingsheng YingPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)
Keyphrases
- quantum computing
- logic circuits
- quantum inspired
- logic synthesis
- quantum evolutionary algorithm
- quantum computation
- high speed
- sequential search
- tunnel diode
- low power
- mobile computing
- digital circuits
- feature selection
- information systems
- artificial intelligence
- fault models
- high level synthesis
- genetic algorithm
- database