Averant Announces Release of Solidify 5.2.0

Averant's Solidify Accelerates Verification of Digital Designs with Enhanced Multi-Core Computing Support and Auto Checks.

Hayward, Calif. - February 10, 2010 - Averant Inc., a leading provider of advanced verification technologies for digital designs, today announced the release of Solidify 5.2, which delivers accelerated analysis with multi-core computers, new Auto Check technology, and enhanced sequential equivalency checking (SEC).  Averant is the First In FormalTM leader in property verification of RTL designs for digital integrated circuits.


  • Multi-Core Acceleration.  In Release 5.2  Solidify delivers an improved accelerated analysis using multi-core computers.  With an 8-core workstation designers can experience up to 7X faster verification performance


  • New Auto Check Technology.  Averant's industry leading auto checks are used by design teams to catch bugs, including dead code, deadlock, array boundary violation, signal contention, clock domain crossing, and reset propagation. Release 5.2 employs new native software technology for improved run-time, scalability and robustness. 


  • Enhanced Support for SEC.  SEC is a key step in reducing power consumption of digital circuits after a design's functional goals are achieved.  Introduced in the previous release and built on Averant's First In Formal property verification technology Release 5.2 delivers easier read-in of designs, improved setup of initial states and enhanced performance and robustness.

"Multi-core acceleration of verification is a necessary requirement for today's complex designs" commented Ramin Hojati, president of Averant.  "I am very pleased with the linear improvement in runtime performance Release 5.2 delivers to our customers.  We will continue to enhance our First In Formal technology to deliver faster performance and greater ease of use for designers".

Release 5.2 is available immediately. 

About Averant

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.

For inquiries:

Ramin Hojati
Averant, Inc.

Aug 17, 2021

Back to News & Events page