JasperGold Coverage RAK
The earner of the badge shall be able to:
- State why coverage is an essential part of Formal Verification.
- Describe the major types of coverage and coverage models provided by the JasperGold Coverage App.
- State when in the verification flow each type of coverage is most useful.
- Effectively set up a JasperGold environment to check coverage.
- Interpret the results of coverage checking.
- Debug and rectify formal coverage issues.
- Confidently complete signoff-quality coverage checking using JasperGold.
Note: Students must score 90% or greater to pass the exam and receive a digital badge.
Course ID: 86290_RAKS
