Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude.
Canh Minh DoKazuhiro OgataPublished in: WRLA (2024)
Keyphrases
- quantum computing
- logic circuits
- logic synthesis
- quantum inspired
- quantum evolutionary algorithm
- formal specification
- mobile computing
- radon transform
- quantum mechanics
- high speed
- quantum computation
- database
- equational theories
- delay insensitive
- neural network
- tunnel diode
- consistency checking
- low power
- electronic circuits
- analog circuits
- equivalence relation
- vlsi circuits
- high level synthesis
- straight line
- web services
- information retrieval