Innovating the Intelligence of Formal Techniques for Automatic Design Verification

Real Intent Raises $6.5M in Financing, Funds Will Expand Formal Analysis Technology to New Electronic Design Markets

Santa Clara, Calif. – February 9th, 2005 – Real Intent, Inc., the leading supplier of formal Assertion-Based Verification (ABV) software for electronic design verification, today announced that the company closed a new round of financing in the amount of $6.5M. The funds will be used to accelerate and advance the application of Real Intent’s formal analysis software technology to new electronic design applications.

This financing round was led by existing investors including Andy Bechtolsheim, co-founder of Sun Microsystems. "With the increasing cost of tapeouts, there is a critical industry need to increase verification coverage of complex designs. Real Intent’s innovative use of advanced formal techniques is helping customers worldwide to find bugs that escape traditional simulation techniques and to make formal verification fit into their existing design flows”, says Andy Bechtolsheim.

“This new round of funding allows us to accelerate the application of our formal analysis technology to new design markets, by increased investment in R&D, Sales and Marketing and Customer Support,” said Prakash Narain, Founder and CEO of Real Intent. “Strong customer acceptance of our existing products, progress on standards for assertion based verification, plus breakthrough technology we have developed, position us for another year of accelerated growth.” he continued.

About Real Intent’s Products

Real Intent formal verification software is suitable for all phases of design verification, from the earliest hardware language description of a design to the final design description. Electronic design users can deploy powerful formal techniques in as little as 4 hours using Real Intent’s Verix™ software, finding design problems more quickly and easily than using simulation. In advanced flows design and verification engineers get maximal benefit from Verix by proving assertions using Accellera Property Specification Language (PSL) and SystemVerilog Assertion (SVA) standards. Users choose Real Intent Verix because it is the highest performance formal analysis technology, which contains more automatic assertions, can prove more user assertions and can generate very deep counter examples.

About Real Intent

Real Intent is the leading provider of assertion-based verification (ABV) solutions, and is extending breakthrough formal technology to critical problems encountered by design and verification teams worldwide. Real Intent’s Verix 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 30 major electronics design houses, including Sun Microsystems, ATI, Agilent Technologies, nVidia, and NEC Electronics, rely on the Verix software. Founded in 1999, Real Intent is a privately-held Electronic Design Automation (EDA) company headquartered in Santa Clara, CA. For further information, visit www.realintent.com.
Real Intent, Inc.
505 North Mathilda Avenue, Suite 210
Sunnyvale, CA 94085
tel: (408) 830-0700
fax: (408) 737-1962
email: info@realintent.com
web: www.realintent.com
Marketing Director
Rich Faris
(408) 830-0700 x212
rich@realintent.com
Georgia Marszalek
Valley PR
(650) 345-7477
Georgia@valleypr.com
Real Intent and Verix are trademarks of Real Intent, Inc. All other tradenames and trademarks are the property of their respective owners.