Oakland, Calif. - June 6, 2025 - Averant Inc., the First In Formal^TM leader in property verification of RTL designs for digital circuits, today announces the availability of the first commercial release of Solidify 8.0, which contains a complete rewrite of Solidify's graphical user interface (GUI) as well as significant improvements to debug environment and documentation. Since the new GUI is in early release mode, the old GUI remains functional.

"We are excited this important milestone in Solidify's roadmap was achieved," said Ramin Hojati, president of Averant. "Release 8.0 lays a foundation for improved user experience, privacy, security, maintainability, extendibility and stability. Solidify's GUI is a gateway to an integrated formal verification environment spanning property verification, sequential and combinational equivalency checking, clock crossing checks, property coverage, automatic checks and more. Improving the GUI's architecture, while also implementing a number of improvements, is a significant step in its evolution."

Availability

Release 8.0 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 averant.com.

For inquiries:

Ramin Hojati
Averant, Inc.
rhojati@averant.com

June 6, 2025


Back to News & Events page