SOURCE: Real Intent

January 26, 2006 17:00 ET

Reminder - Real Intent, a Leader in Formal Verification, Invites EDS Fair Attendees to Learn More About Verix & Formal From Spec to Sign-off Thursday, January 26th & Friday, January 27th,

Pacifico, Yokohama, Japan

YOKOHAMA, JAPAN -- (MARKET WIRE) -- January 26, 2006 --


Real Intent, the leading supplier of formal verification software invites EDS Fair attendees to visit the CTC booth and learn more about Verix and Formal from Spec to Signoff.

What's New:

A new software release, Verix 5.0, introduced last month, includes a breakthrough Convergence Engine™ that improves capacity and performance of the entire Verix family by up to 10x for most designs, so that many designs which were impossible to formally verify, can now be formally verified. Verix includes Implied Intent Verification™, Expressed Intent Verification™ and Clock Intent Verification™ software.


Dates: Thursday, January 26 and Friday, January 27, 2006

Location: Booth #903; Pacifico Yokohama

Information and Registration:

Please visit for more information, and to register.

For more information about Real Intent, please visit

Appointment Information:

To arrange a meeting with Real Intent at EDS Fair, please visit booth #903.

About Real Intent Solutions

The Verix and PureTime families are state-of-the-art verification software, which utilize the power of formal analysis to verify design assertions and either prove them correct or detect bugs that are hard to find. Verix and PureTime can often detect defects entirely missed with other Register Transfer Level (RTL) verification techniques. The Convergence Engine™ with Adaptive Orchestration™ and 2-Dimensional Compression™ forms the keystone of the industry's largest formal capacity and proof capability. Verix Expressed Intent Verification (formal assertion-based verification), Verix Clock Intent Verification (hazard detection), Verix Implied Intent Verification (automatic formal design verification), and PureTime™ (timing exception verification) together constitute what we call "Formal from Spec to Sign-off."


Verix™ Clock Intent Verification 5.0 is available today to existing and new customers of Real Intent.

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 30 major electronics design houses, including Sun Microsystems, ATI, Avago Technologies, nVidia, and NEC Electronics, use Real Intent software.

Founded in 1999, Real Intent is a privately held Electronic Design Automation (EDA) company headquartered at 505 North Mathilda Avenue, Suite 210, Sunnyvale, CA 94085, phone: (408) 830-0700 fax: (408) 737-1962, web:, e-mail:

Verix is a trademark of Real Intent Inc. All other trademarks and tradenames are the property of their respective owners.

Contact Information