Real Intent Announces New Functional Verification Solution to Ensure X-Robust Designs

SAN JOSE, CA -- (MARKET WIRE) -- Jul 16, 2009 -- Real Intent Inc., the innovator in automating the intelligence of formal techniques for design verification, announced today that its early functional verification product family Ascent™ now includes the first commercially available automated solution to ensure X-robust designs, available through the Ascent Path-Based Verification (PBV) product.

Explicit and implicit X sources (X assignments in RTL and non-resettable flops, respectively) in the designs can lead to many challenging issues for design verification, such as masking real design errors and causing RTL-to-netlist simulation mismatches. Depending on coding styles, simulation results can be X-pessimistic which lead to unnecessary unknown values; or X-optimistic which results in known values when they should have been unknown. Design and verification teams write properties to trap Xs or instrument 2-value simulation with random initialization to avoid X ambiguity in order to detect design errors. However, these approaches take considerable amount of manual and computational resources without offering the complete confidence of X robustness.

Ascent PBV offers a multi-faceted solution that addresses the problem through structural and formal analysis, as well as by augmenting simulation using Ascent SimPortal. Explicit and implicit X sources are automatically detected. Innovative formal techniques are used to prove X-optimism safe designs. Ascent SimPortal can augment simulation to detect X-excitation, control X-pessimism, as well as eliminate X-optimism without loss of efficiency. It is the first automatic and comprehensive solution to detect and debug design errors and RTL/netlist simulation mismatches.

"Real Intent, as the leader in providing automatic functional verification solution for ASIC and FPGA designs, has been approached by many customers with issues related to X-handling in their designs," commented Prakash Narain, President and CEO at Real Intent. "Ascent PBV meets the needs and rises to the challenges by using multiple innovative technologies to ensure X-robust designs. We deliver verification confidence to our customers by turning their verification unknowns into the known."

Pricing and Availability

Ascent PBV is available worldwide in August. For complete product and pricing information, please email Email Contact.

Visit Real Intent at Booth 1728, at the 2009 Design Automation Conference (DAC), in San Francisco, CA, from July26th to July 30th, to learn more about Ascent PBV and see a demonstration.

About Real Intent

Real Intent is the innovator of automating the intelligence of formal techniques for design verification. This technology is being used to solve critical problems encountered by design and verification teams worldwide. Real Intent's family of products dramatically improves the functional verification efficiency of leading edge ASICs and FPGAs devices.

Real Intent is headquartered at 505 North Mathilda Avenue, Suite 210, Sunnyvale, CA 94085, phone: +1 (408) 830-0700 fax: +1 (408) 737-1962, Web: www.realintent.com, e-mail: Email Contact, Twitter: RealIntent.

Ascent, Meridian and PureTime are trademarks of Real Intent, Inc.

All other trademarks and trade names are the property of their respective owners.

Add to Digg Bookmark with del.icio.us Add to Newsvine

Real Intent Press Contacts
Carol Hallett
VP of Worldwide Sales and Marketing
+1-408-830-9303

Email Contact

Georgia Marszalek
ValleyPR LLC for Real Intent
+1-650-345-7477

Email Contact





Review Article Be the first to review this article
 True Circuits: Ultra PLL


Featured Video
Jobs
ASIC Hardware Engineer for BAE Systems Intelligence & Security at Arlington, VA
Design Verification Engineer for intersil at Morrisville, NC
Senior Formal FAE Location OPEN for EDA Careers at San Jose or Anywhere, CA
Applications Engineer for intersil at Palm Bay, FL
Principle Electronic Design Engr for Cypress Semiconductor at San Jose, CA
Upcoming Events
DVCon US 2018 at Double Tree Hotel San Jose CA - Feb 26 - 1, 2018
5th EAI International Conference on Big data and Cloud Computing Challenges at Vandalur, Kelambakkam high road chennai Tamil Nadu India - Mar 8 - 9, 2018
DATE '18: Design, Automation and Test in Europe at International Congress Center Dresden Ostra-Ufer 2 Dresden Germany - Mar 19 - 23, 2018
DownStream: Solutions for Post Processing PCB Designs
TrueCircuits: IoTPLL



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 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 PolicyAdvertise