Towards Equivalence Checking of Classical Circuits Using Quantum Computing

Nils Quetschlich, Tobias Forster, Adrian Osterwind +2

Quantum computers and quantum algorithms have made great strides in the last few years and promise improvements over classical computing for specific tasks. Although the current ha…