Accurate BDD-based unitary operator manipulation for scalable and robust quantum circuit verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chun-Yu Wei, Yuan-Hung Tsai, Chiao-Shan Jhang, Jie-Hong R. Jiang. Accurate BDD-based unitary operator manipulation for scalable and robust quantum circuit verification. In Rob Oshana, editor, DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10 - 14, 2022. pages 523-528, ACM, 2022. [doi]

This author has not been identified. Look up 'Chun-Yu Wei' in GoogleThis author has not been identified. Look up 'Yuan-Hung Tsai' in GoogleThis author has not been identified. Look up 'Chiao-Shan Jhang' in GoogleThis author has not been identified. Look up 'Jie-Hong R. Jiang' in Google

runs on WebDSL