Keyphrases
- model checking
- high speed
- signal processing
- vlsi circuits
- test generation
- formal verification
- face verification
- database
- concurrent systems
- verification method
- formal analysis
- error correction
- fingerprint verification
- vlsi implementation
- vlsi design
- vlsi architecture
- neural network
- databases
- machine learning
- search engine
- multi agent systems
- multiscale
- bayesian networks
- e learning
- information systems
- computer vision