The earner of this badge can: Define reusable, functionally correct SVA properties which are efficient for formal tools. Set up, run and analyze results from Formal Analysis having identified designs upon which formal is likely to be successful Understanding formal complexity issues and how to overcome them Create a complete formal environment from scratch given only a DUT functional specification How to set up and run Superlint and X-Propagation Apps.

• Type Validation
• Level Intermediate