SAN JOSE, California – August 24, 2009- Real Intent Inc., the innovator in automating the intelligence of formal techniques for design verification, announced today that it is shipping PureTime™ 3.2 with new product options-- PureTime Constraints and PureTime Exceptions.

The PureTime product family helps designers prevent faulty circuits and avoid expensive re-spins. It offers best in class, high-performance constraints validation and timing exceptions verification tools designed to provide users with ultimate confidence in the timing constraints employed across all phases of implementation flow. PureTime Constraints checks for correctness and completeness of design constraints. PureTime Exceptions uses state of the art formal technologies to verify false and multi-cycle path exceptions.

PureTime 3.2 includes many new capabilities, can be easily integrated with Real Intent’s other families of products, and plugs straight into standard EDA flows. Features include:

• Smart built-in checks to validate constraints (SDC/TCL) against RTL as well as gate-level design sources
• Formal verification and reporting at the exception-level as well as the exception’s path-level
• Glitch-aware, combinational and sequential high performance formal verification engines with high completion rates
• Fast and powerful debugging capabilities with cross probing to TCL/SDC, schematic and design sources
• Automatic incremental analysis for shorter run times

“Design constraints are important throughout the whole implementation flow,” commented Prakash Narain, President and CEO at Real Intent. “Ensuring the correctness of design constraints and timing exceptions is critical for design and verification teams. Real Intent is dedicated to customers’ success by offering automatic verification solutions employing innovative formal technology in an easy to use methodology. The new functionalities added in PureTime 3.2 represent a significant technological enhancement of the product.”

Pricing and Availability
PureTime 3.2 is available now. For pricing information, please email info@realintent.com.

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 in 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: info@realintent.com, Twitter: RealIntent.

-end-

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

Georgia Marszalek
ValleyPR 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.