- New GUI. SolidAC 3.0 features a new graphical user interface, incorporating some of the latest technologies for improving user’s productivity. These include fully configurable windows and views, HTML command windows resulting in much better visibility for messages, message filtering, better RTL browsing, improved editor, combined message and command windows, design statistics, and a centralized settings manager.
- Expanded checks and Better Simulation Integration. A simulate to line feature has been added which allows the user to get a simulation trace to almost any line of RTL code. The VHDL automatic checks have been expanded to better match what was available for Verilog.
- New licensing. The US list price of SolidAC is $6,500 for a node-locked 32 bit single language Windows version.
“SolidAC 3.0, with its ease-of-use, modern GUI, and attractive pricing, enables formal verification to reach a much wider audience,” commented Carey Sayer, president of Saros, Averant’s distributor in the UK. “With virtually no training, designers can use SolidAC to find a variety of issues early on so that verification can proceed more smoothly. I believe no design house can afford not to have a version of SolidAC in-house.”
Availability
Solidify 3.0 is available on Windows, Linux and Solaris platform.
About Averant
Averant Inc., founded in 1997, is a privately held EDA firm pioneering new methodology and technologies for static formal verification. Averant’s flagship product is Solidify, a robust formal verification engine that provides the basis for property-based design verification, protocol verification, timing constraint verification, and automatic design checks – all without the need for simulators or test vectors. These tools are easily adopted into the design flow, and help improve quality, reduce risk, and speed the design process. For more information, see our web site at http://www.averant.com.
Contact:
Averant Inc.
Ramin Hojati, +1-510-581-8881 x320
Email Contact
