Towards Large-scale Functional Verification of Universal Quantum Circuits.

Published in: QPL (2018)

Keyphrases

functional verification
quantum computing
logic circuits
logic synthesis
high speed
information systems
multi valued
hardware software