Real Intent Ships Next Generation of Ascent Automatic Verification Software, Finds Design Bugs Early

Sunnyvale, California -- December 5, 2007 -- Real Intent, Inc., the leading supplier of formal verification software for electronic design, announced today that it is shipping a new version of its Ascent™ software for automatic formal verification of electronic designs. Ascent finds bugs in Register-Transfer-Level (RTL) designs and improves design quality, with significantly higher performance when compared to Real Intent's previous generation of automatic verification software, Implied Intent Verification.

Ascent leads design and verification engineers to important bugs, while reducing their time investment in debugging.

"Ascent delivers higher throughput and more complete checking compared to alternative solutions," said Rich Faris, Vice President of Marketing, Real Intent. "Its analysis is more precise than syntactic checkers or lint tools, since formal analysis takes actual circuit functionality into account. In addition, Ascent's support for constraints and its fine grain control of reporting surpass the capabilities of competitive solutions."

Faris added, "Our customers tell us that automatic verification is of high value because it finds problems early in the design cycle, and that shortening the debugging loop has high return on investment."

About Ascent
Ascent automatic verification is applied early in the electronic design cycle, even before the blocks are assembled into subunits and before simulation testbenches are developed, catching many problems earlier than ever before. It is important to catch bugs as early as possible, since the cost of an electronic design defect increases the closer you are to tape-out. Therefore finding and fixing bugs early saves both money and time.

Ascent is a major step forward in automatic formal verification. Its redesigned architecture is focused on automatic checks that are derived directly from the RTL design. Ascent is the only automatic tool which supports the Property Specification Language (PSL) and SystemVerilog Assertion (SVA) constraints.

Its use of the Convergence formal engine allows the highest completion rates for checks, which translates to more bugs detected than ever before. In addition, its reporting controls allow designers to fine tune verification reports to meet their needs. In addition to Ascent's role in early logic verification, major design houses use it as a signoff step before RTL is checked in, thus Ascent delivers value across the entire design flow.

Ascent identifies many critical design problems: including dead code, uninitialized memory, bus contention, floating buses, and x value propagation. Additionally, Ascent automates Finite State Machine (FSM) checks, such as unreachable FSM states, single FSM deadlock and pairwise FSM deadlock. It can verify good design practices, when using case statements by analyzing and reporting full and parallel case pragma violations.

Price & Availability
Ascent is shipping now, was first introduced in 2006, and replaces Real Intent's Implied Intent Verification software. The price starts at $35,000 for a one year term license. Existing customers on active maintenance receive Ascent at no charge.

About Real Intent
Real Intent is extending breakthrough formal technology to critical problems encountered by design and verification teams worldwide. Real Intent's products dramatically improve the functional verification efficiency of leading edge Application Specific Integrated Circuit (ASIC), System-On-Chip (SOC), and Field Programmable Gate Array (FPGA) devices. Over 40 major electronics design houses, including AMD, nVidia and NEC Electronics use Real Intent software. Real Intent is headquartered at 505 North Mathilda Avenue, Suite 210, Sunnyvale, CA 94085, phone: (408) 830-0700 fax: (408) 737-1962, web:, e-mail:

Press contacts:
Rich Faris
Vice President Marketing and Business Development
(408) 830-0700 x212
Email Contact

Georgia Marszalek
Valley PR for Real Intent
(650) 345-7477
Email Contact

Ascent is a trademark of Real Intent, Inc. All other trademarks or registered trademarks are property of their respective owners.


Review Article Be the first to review this article

Featured Video
Currently No Featured Jobs
Upcoming Events
Commercial UAV Expo 2016 at MGM Grand Hotel Conference Center Las Vegas NV - Oct 31 - 2, 2016
GIS-Pro 2016: URISA's 54th Annual Conference at Toronto Canada - Oct 31 - 3, 2016
24th ACM SIGSPATIAL International Conference at San Francisco Bay Area, California, USA San Francisco - Oct 31 - 3, 2016
Teledyne Optech
University of Denver GIS Masters Degree Online
Textron - Countless CAD add-ons, plug-ins and more.

Internet Business Systems © 2016 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering EDACafe - Electronic Design Automation TechJobsCafe - Technical Jobs and Resumes  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy