The earner of the badge shall be able to: • State why dead ends and conflicts are a cause for concern in Formal Verification • Recognize when a dead end or conflict affects proofs in Jasper and identify these on a Visualize debug waveform • Use Jasper commands to search for dead ends and conflicts • Use Jasper commands and Jasper Deep Bug Hunting features to help eliminate or minimize dead end and conflict issues

• Type Validation
• Level Intermediate