Keyphrases
- quantum computing
- logic circuits
- asynchronous circuits
- logic synthesis
- quantum inspired
- quantum evolutionary algorithm
- low power
- model checking
- symbolic representation
- quantum mechanics
- verification method
- tunnel diode
- quantum computation
- high level
- delay insensitive
- connectionist models
- mobile computing
- high speed
- neural learning
- power consumption
- data sets
- connectionist systems
- face verification
- real time
- false acceptance rate
- signature verification
- formal analysis
- genetic algorithm
- connectionist learning
- functional verification