Oakland, Calif. - December 9, 2024 - Averant Inc., the First In Formal^TM leader in property verification of RTL designs for digital circuits, today announces Solidify 8.0, which contains a complete rewrite of Solidify's graphical user interface (GUI). This rewrite has been in development for 2 years and contains major architectural improvements meant to provide a more secure and stable environment for the users

"Solidify's users require privacy, and, in some cases, are not even connected to the internet," said Ramin Hojati, president of Averant. "We decided WxWidgets cross-platform GUI library fits the requirements of our users better than Qt and provides a more stable environment for our internal development and users. The new GUI uses WxWidgets and carefully implements the model-view-controller (MVC) architecture, allowing for easier switching of GUI libraries should this become necessary again. Additionally, the release contains resolutions to tens of enhancements and bug fixes. The development process contained 17 milestones and resulted in a detailed specification of the GUI, facilitating better future maintenance. The existing GUI can still be used and will be gradually phased out. We expect our users will be pleased with release 8.0's functionality and expected improved protection and stability. This development nicely complements our world-class verification engines, resulting in a powerful and integrated formal verification environment spanning property verification, sequential and combinational equivalency checking, clock crossing checks, property coverage, and automatic checks."

Availability

Release 8.0 is expected to be available in beta form in early 2025.

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

December 9, 2024


Back to News & Events page