Equivalence checking paradigms in quantum circuit design: a case study.

Tom Peham Lukas Burgholzer Robert Wille

Published in: DAC (2022)

Keyphrases

circuit design
case study
design automation
digital circuits
quantum computation
test bed
integrity constraints
quantum mechanics
database
databases
information retrieval
e learning
image sequences
mobile devices
equivalence relation
quantum inspired