Login / Signup

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

Chun-Yu WeiYuan-Hung TsaiChiao-Shan JhangJie-Hong R. Jiang
Published in: DAC (2022)
Keyphrases
  • computationally efficient
  • highly accurate
  • high accuracy
  • asynchronous circuits
  • high speed
  • memory efficient
  • formal verification
  • logic circuits
  • real time
  • multiscale
  • circuit design
  • quantum computing
  • logic synthesis