Averant Announces the New Generation of Static Functional Verification

Introducing a library of customizable automatic static checks, advanced source code debugging, and hierarchical functional verification


Solidify™ 2.5 includes
- Customizable automatic static checks
- Advanced source code debugging
- Enhanced hierarchical verification
- Automated constraint generation
- Property reuse and sharing
- Properties and labels embedded in HDL code


SUNNYVALE, CA, October 2, 2001 - Averant, Inc., the leader in static functional verification software for RTL level Verilog and VHDL designs, today announced the release of Solidify 2.5 for general distribution.

Solidify 2.5 introduces a library of standard design checks that automatically generate thousands of Solidify properties to find the most common static errors in designs. These checks include stuck-at-faults, deadlocked states and values, floating bus and bus contention, set-reset problems, full-case parallel-case violations, dead-code detection, and many more. These checks are written in Tcl and exploit Solidify's new open interface to its database. Now design and verification engineers can customize these checks and program in Tcl their own automatic checks for netlist and connection problems, design rule violations, and design specific hazards. All checks are performed using production proven technology taking full advantage of Solidify exhaustive static verification engine. Solidify 2.5 has advanced interactive source code debugging that links the conditions that cause a property to fail to specific HDL statements. When verifying a design, Solidify produces a table of values for the significant variables and clock cycles spanned by the failing property. When a value in the debug trace is selected, Solidify finds the line of HDL code that assigns that value to the variable and displays it.

Solidify's property checking approach to verification enables incremental verification as the HDL is written. Bugs can be found and fixed within moments of their creation. Design and verification can be done in parallel, reducing time-to-market and schedule risk while improving design quality. Solidify release 2.5 introduces features that makes this approach even more powerful and productive, thus enhancing support for hierarchical static verification. While developing and verifying a lower-level module in the hierarchy, its primary inputs will usually be constrained by higher-level modules. These input constraints can be specified and automatically applied to all of the properties used to verify the lower-level module. Latter when this module is instantiated in a higher-level module, Solidify 2.5 can automatically verify that the higher-level module does in fact constrain the signals as required. Additionally, properties developed at the block level can be verified as the block is used in higher-level blocks, making hierarchical verification and regression tests more automated.

Many formal and static functional verification tools often require tedious manual initialization of state variables to prevent properties from producing false negatives. In Solidify 2.5, specifying a reset sequence enables Solidify to automatically generate appropriate constraints, thus avoiding false negatives caused by impossible conditions. A user manual mode is also provided to help generate constraints for more complex behaviors. These new features also make Solidify more effective for black-box static functional verification.

Solidify 2.5 includes many other enhancements that make it easier to use while significantly improving verification productivity:

  • Enhancements to Averant's hardware property language (HPL) facilitate the parameterization, packaging, reusing, and sharing of properties.

  • Now HPL properties may be directly inserted in the HDL code. This enables Solidify to use HDL code structure to infer constraints for the HPL property. Properties can be inserted anywhere within sequential or combinatorial processes. Facilitates for reusing control structures in multiple code blocks in the same property is also provided.

  • Performance improvements have been made to the debug and verification engine with most test cases running significantly faster, thus shortening the debug cycle.

Availability
Solidify 2.5 is available on CD-ROM or FTP beginning October 2, 2001 and may be requested by email at info@averant.com. Solidify 2.5 will be sent to all Solidify customers that subscribe to maintenance. Solidify is available for PC's running Windows 95/98/NT4.0/2000 or Linux Red Hat 6.2 or later, and for workstations running Sun Solaris 2.6/2.7/2.8.

About Averant
Averant, Inc., founded in 1997, is a privately held EDA company pioneering the new methodology and technologies for static functional verification. Averant provides Solidify™, a design tool that delivers unprecedented performance in block-level verification for RTL designs. It is a high-capacity, static RTL analysis tool that verifies the functional behavior of Verilog or VHDL blocks without using simulators or test vectors.

Solidify improves design quality, reduces risk and uncertainty, shortens design cycles, and reduces the need for simulation based verification. Averant's products are easily incorporated into synthesis, IP reuse, and FPGA design flows.

Averant is on the web at www.averant.com, or can reached by email at info@averant.com.





Review Article Be the first to review this article

Featured Video
Jobs
Mechanical Design Engineer 3 for KLA-Tencor at Milpitas, CA
Sr Mechanical Design Engineer for Medtronic at mounds view, MN
System Designer/Engineer for Bluewater at Southfield, MI
Director of Process Engineering. for Tekni-Plex at Toledo, OH
Senior Mechanical Engineer for BAE Systems Intelligence & Security at Arlington, VA
Geospatial Systems Administrator for BAE Systems Intelligence & Security at arnold, MO
Upcoming Events
Formlabs LA 3D Printing Roadshow at Munky King Lost Angeles CA - Feb 8 - 9, 2018
ESPRIT World 2018 at Indianapolis Marriott Downtown 350 West Maryland Street Indianapolis IN - Jun 11 - 15, 2018
HxGN LIVE 2018 at The Venetian Las Vegas NV - Jun 12 - 15, 2018
IMTS2018 International Manufacturing Tech Show at McCormick Place Chicago IL - Sep 10 - 15, 2018
Tebis
SolidCAM: SolidCAM SEE IT LIVE



Internet Business Systems © 2018 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 EDACafe - Electronic Design Automation GISCafe - Geographical Information Services TechJobsCafe - Technical Jobs and Resumes ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise