Averant Adds RTL and Gate Level Combinational Equivalency Checker.

 

Hayward, Calif. - August 1, 2011 – Averant Inc., the First In Formal leader in property verification of RTL designs for digital circuits, today announces the release of Solidify 5.4. Some of the highlights of this release are listed below.


Release 5.4 also provides better System Verilog Design support, speed-ups in formal engines, improved reset sequence guessing, improved SEC debugging, improved protocol checking including ARM AMBA protocols, and bug fixes.

"Our Japanese customers have always been enthusiastic about Averant's innovations in formal technologies" commented Seiichi Nishio, COO of GAIA System Solutions Inc. "I am confident Averant's leadership in being the first company to combine important and correlated formal technologies in one product will be well-received by our customers".

Availability
Release 5.4 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.

For inquiries: 

Ramin Hojati
Averant, Inc.
rhojati@averant.com


Aug 1, 2011

Back to News & Events page