Averant's Solidify 6.3 Improves Property
Hierarchical Verification and Coverage
· Assumption Consistency Checker. Assumptions are an integral part of block level verification. Solidify 6.3 adds a tool which flags internal inconsistencies in the assumption set.
· Improved Hierarchical Verification. Hierarchical verification improves performance of property verification by proving properties at the lowest possible level. Solidify 6.3 further improves the efficiency of this process for properties which need to be automatically promoted to higher levels for verification.
· Improved Property Coverage. Averant's patented property coverage guides the user in areas where additional properties are needed. In release 6.3, Solidify's autoverify and coverage have been integrated allowing for coverage to use results of autoverify.
6.3 also contains improved property debugging, improved
System Verilog support, and more control over property
selection as well as bug fixes.
has been pushing the frontiers of property verification for
many years now" commented Ramin Hojati, president of
Averant. "Release 6.3 brings additional features which
improve usability and performance of Solidify".
Release 6.3 is available for use immediately.
Averant Inc. is a privately held EDA firm specializing in formal verification of digital designs. Averant’s signature product is Solidify, a robust platform for property, protocol, and automatic design checks – all without the need for simulators or test vectors. Averant's tools are easily adopted into the design flow, and help improve quality, reduce risk, and speed the design process. For more information, visit http://www.averant.com.
Aug 31, 2016Back to News & Events page