Circuit-Oriented Symmetry Verification: From Quantum Switches to Spatio-Temporal Stabilizers.
Yifeng XiongDaryus ChandraSoon Xin NgLajos HanzoPublished in: CoRR (2021)
Keyphrases
- spatio temporal
- logic circuits
- high speed
- spatial and temporal
- quantum computation
- logic synthesis
- spatio temporal data
- low power
- model checking
- spatio temporal databases
- asynchronous circuits
- space time
- moving objects
- signature verification
- image sequences
- digital circuits
- verification method
- fingerprint verification
- bilateral symmetry
- spatio temporal patterns
- quantum inspired
- formal verification
- quantum computing
- delay insensitive
- analog circuits
- cryptographic protocols
- database
- face verification
- spatial temporal
- power consumption
- three dimensional
- data sets