The earner of the badge shall be able to: - State why connectivity checking can be performed more efficiently using Formal Verification rather than simulation based methods. - Define expected connectivity using a Microsoft Excel template or using IPXACT. - Verify RTL models connectivity matches the specification of expected connectivity. - Debug and rectify failures in connectivity checks. - Confidently complete signoff-quality Connectivity with the Jasper Connectivity App.

• Type Validation
• Level Intermediate