Instrumenting AMS assertion verification on commercial platforms.
Rajdeep MukhopadhyaySubrat Kumar PandaPallab DasguptaJohn GoughPublished in: ACM Trans. Design Autom. Electr. Syst. (2009)
Keyphrases
- model checking
- commercial systems
- verification method
- formal verification
- database
- asynchronous circuits
- face verification
- formal methods
- concurrent systems
- fingerprint verification
- signature verification
- formal analysis
- multiresolution
- image processing
- decision making
- information systems
- computer vision
- machine learning
- neural network