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: www.realintent.com, e-mail: info@realintent.com.

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.

Rating:


Review Article Be the first to review this article
Harris


Featured Video
Jobs
Business Partner Manager for Cityworks - Azteca Systems, LLC at Sandy, UT
GIS Analyst II for Air Worldwide at Boston, MA
Senior Structural Engineer for Design Everest at San Francisco, CA
Mechanical Engineer for IDEX Corporation at West Jordan,, UT
Upcoming Events
RoboUniverse San Diego at San Diego CA - Dec 14 - 15, 2016
DGI 2017 at QEII Centre London United Kingdom - Jan 23 - 25, 2017
Geospatial World Forum 2017 Hyderabad at Hyderabad International Convention Center P.O Bag 1101, Cyberabad Post Office Hyderabad Telangana India - Jan 23 - 25, 2017
Trimble
Teledyne Optech
University of Denver GIS Masters Degree Online
CADalog.com - 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