Login / Signup
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits.
Yu-Fang Chen
Kai-Min Chung
Ondrej Lengál
Jyun-Ao Lin
Wei-Lun Tsai
Di-De Yen
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
high speed
main contribution
model checking
theoretical framework
databases
real world
high level
face recognition
artificial neural networks
lightweight
bayesian framework
signature verification
asynchronous circuits
logic circuits
quantum inspired