The earner of this badge can define reusable, functionally correct SVA properties which are efficient for formal tools. In addition, you will be able to set up, run and analyze results from Formal Analysis having identified designs upon which formal is likely to be successful, while understanding formal complexity issues and how to overcome them, and also how to set up and run Superlint and X-Propagation Apps.

• Type Validation
• Level Intermediate