HAYWARD, Calif. — (BUSINESS WIRE) — 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. 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 improvements 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.”
Availability
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.
Contact:
Averant, Inc.
Ramin Hojati, 510-922-8081
Email Contact
