The earner of the badge shall be able to: - State the reasons why verifying connectivity of an RTL design is essential. - State why connectivity checking can be performed more efficiently using Formal Verification rather than simulation based methods. - List the major features of the Jasper Connectivity App. - Define expected connectivity using a Microsoft Excel template or using IPXACT.

• Type Validation
• Level Intermediate