The earner of the badge shall be able to: Execute the methodology for initial bring-up of RTL designs using Jasper. Develop an effective RTL design exercise plan. Use features of Jasper which help with RTL structural and behavioral exploration. Use static analysis, for example, clock and reset analysis. Explore design behaviors and write properties which can be used by simulation. Identify incorrect behaviors through the process of exploring expected behaviors.

• Type Validation
• Level Intermediate