Claiming several technology advancements in formal verification, Averant announced Thursday (May 31) the release of Solidify 5.0, the latest version of its formal property verification tool. New features include verification management, hierarchical verification, and coverage expansion.
Solidify is a static functional property verification tool that includes multi-language support, source code debugging, and interfaces to simulation. It takes in RTL source code and verification properties, and offers property analysis, debug tracing, simulation testbenches, simulation monitors, and coverage reporting. In the Solidify 4.0 update, announced July 2006, Averant added a new Guided Proof System (GPS) said to enable rapid "bug hunting."
The new Solidify 5.0 release updates the GPS with verification management, which keeps track of previous runs so that when a property passes it doesn't need to be re-verified unless the RTL has changed. Further, automated hierarchical verification lets users prove properties at one level of hierarchy, then go to the next level of hierarchy, and prove that both the properties already proven and the assumptions made at the lower level still hold. This new technique adds rigor to the verification methodology, Averant claims.
Solidify 5.0 adds a new Coverage Expansion engine that allows bug hunting with formal engines. It reports the additional coverage achieved by Solidify. It also allows VCD files to be used as inputs to set the starting point for Solidify's bug hunting.
Solidify 5.0 claims to be the first property checker to support the "isunknown" construct in SystemVerilog assertions (SVA) and Property Specification Language (PSL). The new release also introduces new techniques to reduce the number of partially passed properties, and increase the number of fully proven properties.
Further, the new release can take advantage of multiple-CPU workstations. According to Larry Lapides, vice president of worldwide sales, Averant was able to achieve a 3.9X speedup on a 4 CPU Linux workstation.
Solidify 5.0 will be available in July. The product will be demonstrated at next week's Design Automation Conference.