Employment of Property Checking for Functional Hardware Verification in an Industrial Setting.
Claudia BlankPublished in: MBMV (2007)
Keyphrases
- functional verification
- hardware designs
- verification method
- low cost
- hardware and software
- real time
- industrial applications
- computing systems
- model checking
- face verification
- hardware software
- vlsi implementation
- information technology
- desirable properties
- industrial environment
- database
- general purpose
- learning algorithm
- image processing
- functional analysis
- control program
- industrial processes
- technology transfer
- software implementation
- quality improvement
- high end
- formal methods
- image segmentation
- computer systems