Averant Announces Release of SolidAC(TM) 3.0

HAYWARD, Calif.—(BUSINESS WIRE)—May 22, 2008— Averant Inc., a leading provider of advanced verification technology for RTL designs, today announces the release of SolidAC 3.0, continuing its First In Formal leadership in formal property verification. SolidAC is a subset of Solidify, containing a module browser, RTL compilers, source code debugger and waveform display, and a set of automatic checks such as dead code, deadlock, livelock, clock crossing, constant signals, FSM checks, X propagation issues, array over-bound, reset, tri-state buses, and pragma. In addition to including a set of bug fixes, the key new features of this release are:

  • New GUI. SolidAC 3.0 features a new graphical user interface, incorporating some of the latest technologies for improving users 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, Averants 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. Averants 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




Review Article Be the first to review this article
Aldec

Featured Video
Jobs
DDR 3-4-5 Developer with VIP for EDA Careers at San Jose, CA
Senior Front-End RTL Design AE for EDA Careers at San Jose, CA
Senior Methodology Automation Engineer for EDA Careers at San Jose, CA
Senior R&D Engineer...Timing Closure Specialist for EDA Careers at San Jose or Anywhere, CA
Proposal Support Coordinator for Keystone Aerial Surveys at Philadelphia, PA
Upcoming Events
The Rise of Mechatronics at Dassault Systèmes San Diego 5005 Wateridge Vista Drive San Diego CA - Sep 12, 2017
The Rise of Mechatronics at Buca di Beppo - Pasadena 80 West Green Street Pasadena CA - Sep 13, 2017
DVCon India 2017, Sept 14 - 15, 2017 at The Leela Palace Bengalore India - Sep 14 - 15, 2017
S2C: FPGA Base prototyping- Download white paper



Internet Business Systems © 2017 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy