High-Level Verification.
Sudipta KunduSorin LernerRajesh GuptaPublished in: IPSJ Trans. Syst. LSI Des. Methodol. (2009)
Keyphrases
- high level
- low level
- model checking
- higher level
- lower level
- face verification
- semantic information
- high security
- asynchronous circuits
- search engine
- conceptual model
- signature verification
- formal analysis
- mid level
- functional verification
- formal verification
- intermediate level
- person identification
- database
- formal methods
- learning environment
- multiscale
- image processing
- information retrieval
- neural network
- databases
- data sets
- real time