Keyphrases
- model checking
- formal verification
- face verification
- asynchronous circuits
- database
- design space
- software engineering
- design principles
- formal methods
- functional verification
- verification method
- fingerprint verification
- formal analysis
- artificial neural networks
- search algorithm
- video sequences
- bayesian networks
- case study
- decision making
- databases