Equivalence Checking

Contents

Approximate Equivalence Checker

A Tensor Decision Diagram-based verifier for approximate equivalence checking of noisy quantum circuits.

See Github Repo

[1] Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, and Sanjiang Li. Approximate equivalence checking of noisy quantum circuits. In 58th ACM/IEEE Design Automation Conference, DAC 2021, pages 637–642. IEEE, 2021. [ DOI | http ]

Dynamic Quantum Circuit Checker

A Tensor Decision Diagram-based verifier for equivalence checking of dynamic quantum circuits.

See Github Repo