Oakland, Calif. - March 25, 2020 - Averant Inc., the First In Formal^TM leader in property verification of RTL designs for digital circuits, today announces the immediate shipment of Solidify 7.0. This version includes a new verification engine meant to improve the exhaustive property pass rates. In addition, all of Solidify's customers will receive the sequential equivalency checker (SEC) and combinational equivalency checker (CEC) free of charge.

"Our new engine is available for early customer testing" said Ramin Hojati, president of Averant. "This engine does not just run parallel and independent of other engines. Rather, it builds where they leave off, collaborating with several engines. We have seen this engine solve problems which were previously partial passes. Additionally, this engine is improved by Solidify's state-of-the-art sequential equivalency checker which is integrated tightly into our property checking environment. We believe integration of SEC and property verification is a must for modern property verifier as they benefit from each other's results, setups, and improvements. Since SEC is in turned aided by CEC, Solidify 7.0 will include both SEC and CEC free of charge with every copy of Solidify."

Availability

Release 7.0 is available for immediate use.

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