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 Formal™ leader in property verification of RTL designs for digital integrated circuits.




“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 flagship 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.

Feb 10, 2010

Back to News & Events page