Formal Verification For Cyclic Quantum Walk Circuits.
Benedicto James Sitou CampbellSudarshan K. SrinivasanPublished in: ISCAS (2024)
Keyphrases
- formal verification
- quantum computing
- logic circuits
- model checking
- logic synthesis
- quantum inspired
- model checker
- tunnel diode
- low power
- automated verification
- quantum mechanics
- symbolic model checking
- bounded model checking
- random walk
- program slicing
- delay insensitive
- quantum computation
- digital circuits
- temporal logic
- orders of magnitude
- high speed
- knowledge base