July 27-30, 2009, Moscone Convention Center, San Francisco, California

Who:
Real Intent, Inc., the innovator in automating the intelligence of formal technologies for electronic design verification, is showcasing and demonstrating new software products and capabilities of its Ascent™, Meridian™ and PureTime™ verification families at the Design Automation Conference (DAC09).

What:
Ascent now includes the first commercially available automated solution to ensure X-robust designs, available through its Path-Based Verification (PBV) product. Real Intent demonstrations include:

• Ascent Family: Lint, Implied Intent Verification (IIV), PBV (X-propagation and connectivity checks) and Assertion-Based Verification (ABV)
• Meridian Family: Clock Domain Crossing (CDC) verification with innovative free running clock support and hierarchical shell model verification
• PureTime Family: new design constraint validation

When:
Monday - Wednesday, July 27-29
9:00am to 6:00pm
Thursday, July 30
9:00am to 1:00pm

Where:
Booth #1728, South Hall
Moscone Convention Center, San Francisco, California

About Turning Verification Unknowns into Known with Ascent PBV
Ascent is the first automatic and comprehensive software to detect and debug design errors as well as RTL and netlist simulation mismatches resulting from Xs in the design.

Explicit and implicit X sources (X assignments in Register Transfer Level (RTL) and non-resettable flops, respectively) in the designs can lead to 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 this problem through structural and formal analysis, as well as by augmenting simulation with its SimPortal software. 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.

About Real Intent‘s Automatic Verification Software
Real Intent’s automatic verification solutions include Ascent, the complete solution for early functional verification; Meridian, the most precise, comprehensive and innovative CDC solution in the market; and PureTime, the best-in-class, comprehensive constraints validation solution with glitch-aware exception verification.

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: (408) 830-0700 fax: (408) 737-1962, web: www.realintent.com, e-mail: info@realintent.com

-end-

Real Intent Contact
Carol Hallett
VP of Worldwide Sales and Marketing
+1-408-830-9303
carol@realintent.com

Press contact:
Georgia Marszalek
Valley PR LLC for Real Intent
+1-650-345-7477
Georgia@ValleyPR.com

Ascent, Meridian, and PureTime are trademarks of Real Intent, Inc.
All other trademarks and trade names are the property of their respective owners.