Keyphrases
- asynchronous circuits
- model checking
- delay insensitive
- high speed
- formal analysis
- neural network
- bayesian networks
- formal methods
- data sets
- tunnel diode
- lateral inhibition
- chip design
- high security
- image processing
- person identification
- concurrent systems
- false acceptance rate
- logic synthesis
- analog vlsi
- artificial intelligence
- learning algorithm
- database