- Type Validation
- Level Intermediate
Reset in Jasper Formal Verification v2023.09 RAKS Exam
Issued by
Cadence Design Systems
The earner of the badge can: -Describe how reset is specified in Jasper. -Use the Jasper ‘reset’ command with its most common options. -Define a reset sequence file for use in Jasper. -Use shm, fsdb, or vcd files from the simulation to define reset sequences in Jasper. -Understand the relationship between reset sequences, abstractions, and stopats. -Define reset sequences containing various wait conditions. -Debug reset sequences in Jasper Visualize windows.
- Type Validation
- Level Intermediate
Skills
- Cadence
- Formal Verification
- Jaspergold
Earning Criteria
-
Must score 80% or greater to pass exam