A scalable hybrid verification system based on HDL slicing.
Somnath BanerjeeTushar GuptaSaurabh JainPublished in: HLDVT (2011)
Keyphrases
- model checking
- highly scalable
- database
- decision trees
- lightweight
- face verification
- hybrid approaches
- design methodology
- signature verification
- web scale
- concurrent systems
- high security
- asynchronous circuits
- fingerprint verification
- memory efficient
- formal methods
- hybrid learning
- open source
- multimedia
- genetic algorithm
- machine learning