JasperGold Advanced Proof Management with Proof Structure App v21.12 RAKS Exam
Issued by
Cadence Design Systems
The earner of the badge should be able to: Describe the benefits of managing proof decomposition using Proof Structure. Describe the major strategies enabled by Proof Structure: Assume-Guarantee, Case Split, Partitioning, Stopat, and Edit Node. Use each of the above strategies to decompose a complex proof in the Jasper tool. Run, debug and understand the results of proofs developed with Proof Structure. Leverage Proof Structure to set up signoff-quality verification in Jasper.
- Type Validation
- Level Intermediate
Skills
Earning Criteria
-
Must score 90% or greater to pass exam