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.