Unifying functional and parametric timing verification.
Luís Guerra e SilvaPublished in: ACM Great Lakes Symposium on VLSI (2012)
Keyphrases
- functional verification
- asynchronous circuits
- model checking
- functional analysis
- face verification
- verification method
- real world
- genetic algorithm
- web pages
- digital images
- multi agent systems
- high security
- formal verification
- relational databases
- database
- case study
- information systems
- artificial intelligence
- machine learning
- databases
- real time