Averant Announces Release of Solidify, Version 3.1.

ALAMEDA, Calif. -- Averant Inc., a leading provider of advanced verification technology for RTL designs, today announces the release of Solidify 3.1, providing extensive enhancements to performance and usability.

Averant raises the ante once again with its latest version of Solidify, the most complete, battle-hardened and field-proven tool in its class. Highlights of the new release include:

--Improved PSL flow

--Initial support for the SVA language

--Improvements to the engine and HPL, Averant's property specification language

--Complete rewrite of the command shell and graphical user interface in C

--Streamlined project manager for organizing and managing design projects

--Enhancements to the automatic checking capability, including extended FSM error detection

--Improved hierarchical verification

--Improved source code debugging

"Solidify is the industry's premier property verification tool including very fast and comprehensive engines, patented coverage technology, patent-pending memory modeling, support for full block-level property verification, support for formal assertion-based verification, best-in-class automatic checks, best-in-class protocol verification, support for many assertion languages, industry leading property linting, and built-in source code debugging," offered Dr. Ramin Hojati, president of Averant. "Release 3.1 is the culmination of numerous improvements, extending Averant's lead in this market."

Pricing and Availability

Solidify 3.1 is available immediately and may be downloaded or purchased on CD-ROM. Platform support includes Windows NT4.0/2000/XP or Linux Red Hat 7.2 or later, and workstations running Sun Solaris 2.6/2.7/2.8.

Solidify, which includes Verilog or VHDL input, property verification in HPL and OVL, and auto checks, is priced at $40,000. The coverage option is priced at $20,000. Mixed Verilog-VHDL support, PSL and SVA are options each priced at $10,000. All pricing is for one floating perpetual license with maintenance being 20% of the list price in the US market.

About Averant

Averant Inc., founded in 1997, is a privately held EDA firm pioneering new methodology and technologies for static formal verification. Averant provides Solidify(TM) 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.