Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications.
Alexander KamkinPublished in: EWDTS (2008)
Keyphrases
- functional verification
- high accuracy
- automated verification
- formal verification
- model checking
- bounded model checking
- concurrent systems
- high level
- high quality
- high speed
- floating point
- functional requirements
- face verification
- formal specification
- highly accurate
- real time
- model checker
- computationally efficient
- supply chain
- protocol specification