A Verification Guide for the Perplexed Designer: Matching Verification Techniques and Design Tasks.
P. A. SubrahmanyamPublished in: VLSI Design (1992)
Keyphrases
- functional verification
- model checking
- formal verification
- design process
- user interface
- conceptual design
- design decisions
- knowledge based systems
- formal methods
- design tools
- fingerprint verification
- building blocks
- case study
- test generation
- matching algorithm
- neural network
- design principles
- face verification
- feature points
- image sequences
- database systems
- asynchronous circuits
- verification method