Sign In
Forgot Password?
Sign In | | Create Account

Verification Horizons Blog

Posts tagged with 'automatic formal check'

26 Jul, 2010

Ping Yeung For years one of the objectives in EDA has been to make formal property checking easy to use and its results easy to understand. With the Automatic formal check feature in the June release of the 0-In Formal tool version 3.0, I think we have made significant progress in this area. The feature, which predefines a set of assertion rules to look for design issues automatically, makes formal technology … Read More

automatic formal check, formal property checking, Assertion-Based Verification, SVA, Formal Verification, functional coverage


Online Chat