Technology Introduction:
We propose quantum circuit verification approaches, containing partial equivalence checking and a vanishing-state-based assertion framework. The former extends equivalence definitions to improve synthesis and simplification flexibility; the latter automatically generates assertion circuits to monitor states during execution and detect errors early, enhancing reliability and operational efficiency.
Industry Applicability:
We propose partial equivalence, relaxing quantum circuit equivalence and enhancing synthesis flexibility. From definitions to algorithms, our framework fills development gaps. The dynamic assertion framework is the first and only method to systematically and automatically generate quantum assertion circuits, playing a key role in reducing costs and improving efficiency in quantum computation.