The earner of the badge shall be able to: • List the verification engines supported by vManager • State how the results of the engines are combined in verification metrics • Differentiate Jasper apps supported for formal property export vs. apps supported only for pass/fail results • Setup a formal run in vManager • State the semantics of coverage and assertion results for simulation and formal • Setup a verification plan with different requirements in terms of formal or simulation verification

• Type Validation
• Level Intermediate