Oakland, Calif. - February 11, 2020 - Averant Inc., the First In Formal^TM leader in property verification of RTL designs for digital circuits, today announces the release of Solidify 7.0. This version showcases a new verification engine meant to improve the exhaustive property pass rates.

"Partial passes are properties which cannot be proven exhaustively yet no counter-examples to them have been found" said Ramin Hojati, president of Averant. "Our new engine, the result of a long research and development effort, is designed to collaborate with our other engines to reduce the number of such cases. In our early development testing, this engine has shown great promise, and we expect it will become an important member of Solidify's suite of tools, helping to improve results for property verification, sequential equivalency checking, and automatic checks."

Availability

Release 7.0 is planned for release in the second half of March of 2020.

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.
rhojati@averant.com

Aug 17, 2021


Back to News & Events page