A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification).
Yu-Fang ChenPhilipp RümmerWei-Lun TsaiPublished in: CADE (2023)
Keyphrases
- quantum computing
- logic circuits
- quantum mechanics
- formal methods
- logic synthesis
- asynchronous circuits
- probability ranking principle
- quantum computation
- model checking
- theoretical framework
- general theory
- circuit design
- verification method
- neural network
- petri net
- information systems
- computer vision
- artificial intelligence