Coverage-Based Microprocessor Verification
Formal Hardware Verification
- Practical Aspects of Formal hardware Verification
Verifying the correct behavior of a digital system is becoming an elusive task. Traditional techniques, such as simulation,
are often inadequate for covering the large state spaces found in present day processor designs. Formal methods are emerging as a
practical solution to specific aspects of the verification problem.
[Coverage-Based Ver]
[Formal Ver]
[Formal Hardware Ver]
[Knowledge-Based Ver]