Accurate BDD-based unitary operator manipulation for scalable and robust quantum circuit verification.

Chun-Yu Wei, Yuan-Hung Tsai, Chiao-Shan Jhang, Jie-Hong R. Jiang

Browse the full DAC paper archive.