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 Jasper Coverage App. State when in the verification flow each type of coverage is most useful. Effectively set up a Jasper environment to check coverage. Interpret the results of coverage checking. Debug and rectify formal coverage issues. Confidently complete signoff-quality coverage checking using Jasper.

• Type Validation
• Level Intermediate