Jasper Scoreboard v1.0 RAKS Exam
Issued by
Cadence Design Systems
The earner of the badge shall be able to: • Understand Jasper Scoreboard 3 and data integrity verification in Formal • Describe how Jasper Scoreboard 3 is instantiated with the DU. • Fix Jasper Scoreboard 3 configurations using information provided by the tool • Run Jasper Scoreboard 3 using default and optional configurations • Enable optional Jasper Scoreboard 3 checks when needed for better proof performance
- Type Validation
- Level Intermediate
Skills
- Cadence
- Formal Verification
- Jaspergold
Earning Criteria
-
Complete the associated exam.
-
Score 90% or greater on the exam.