stimuli generation

Limiting the Search Space in Optimal Quantum Circuit Mapping

Executing quantum circuits on currently available quantum computers requires compiling them to a representation that conforms to all restrictions imposed by the targeted architecture. Due to the limited connectivity of the devices’ physical qubits, …

Random Stimuli Generation for the Verification of Quantum Circuits

Verification of quantum circuits is essential for guaranteeing correctness of quantum algorithms and/or quantum descriptions across various levels of abstraction. In this work, we show that there are promising ways to check the correctness of quantum …