Innovative new approach, Formal Validation, combines the ease-of-use methodology of traditional rule-based RTL analysis with the power of formal
verification. June 17, 2001, Las Vegas. Veritable
Inc., an Electronic Design Automation company, announced that it is making its debut at the Design Automation Conference in Las Vegas with an innovative new functional verification approach, termed Formal Validation,
that combines the ease-of-use methodology of traditional rule-based RTL analysis and simulation tools with the power of formal verification search technology. Design verification is a very complex problem that is increasing in difficulty as the industry moves to systems on a chip (SOC). The cost of a hardware design bug escaping
detection and resulting in a faulty product reaching customers can run into hundreds of millions of dollars. Veritable announced that it will be introducing its Design Verity, multi-million gate capacity, formal
validation product line at DAC. Design Verity consists of three innovative software tools that significantly reduce bug escapes:
- Design Verity-Check - a static functional property checker
- Design Verity-Validation - a dynamic functional property checker
- Design Verity-CPU - a targeted and biased random instruction stream generator
The Design Verity products have detected dozens of hard-to-detect bugs in production-use on complex designs and Veritable's customers have taped-out three designs using the tools. According to Yukio
Sakaguchi, Senior Vice President at Arcadia Design Systems Inc, a leading high performance CPU design house: "Veritable's formal validation tools offer a promising way of increasing confidence that
complex high performance CPU designs function according to their specification. Veritable's Design Verity software is an important part of our verification flow and has detected many issues. Just a few weeks from
planned tape-out on a 500 MHz pipeline CPU, the Design Verity software detected a late stage architectural bug that had been present in the design for many months but had escaped detection by other methods." About Veritable Veritable Inc. is a privately held Electronic Design Automation company that provides innovative formal validation solutions and services. Veritable Inc. was founded in 1998. Veritable's breakthrough Design Verity product line is a
multi-million gate capacity formal validation system that combines the usability and practicality of traditional verification techniques with the power of formal verification. Veritable has head-quarters
in Mountain View, California. For further information, visit the Veritable web-site at www.veritable.com.Contact: Louise Thorpe
louise@veritable.com Tel: 650 943 2398 |
