Processor Verification with hwBugHunt.
Sangeetha SudhakrishnanLiying SuJose RenauPublished in: ISQED (2008)
Keyphrases
- functional verification
- high speed
- parallel processing
- model checking
- formal methods
- face verification
- computer architecture
- person identification
- verification method
- neural network
- website
- image processing
- artificial intelligence
- data mining
- data sets
- signature verification
- multithreading
- asynchronous circuits
- industry standard
- false acceptance rate