The earner of the badge shall be able to: State the differences between Sequential Equivalence Checking (SEC) and LEC. State why SEC can be performed more efficiently using Formal rather than simulation. State the main inputs, outputs, and core functionality of the Jasper SEC App. Set up, run then interpret and debug the results of a Jasper SEC run. Apply the Clock Gating SEC and ECO verification use cases. Confidently complete signoffquality using the Jasper SEC App.

• Type Validation
• Level Intermediate