Real Intent, Inc., the innovator in automating the intelligence of formal technologies for electronic design verification, is exhibiting at the Electronic Design and Solution Fair (EDSFair 2010) in Yokohama, Japan.

Real Intent Inc., the innovator in automating the intelligence of formal techniques for design verification, announced today its October Webinar on Advanced Clock Domain Crossing (CDC) Verification Using MeridianTM is archived and now available for free viewing at www.realintent.com.

Dr. Pranav Ashar, Real Intent’s CTO, will speak about Improving Verification Efficiency with Rule Based Automatic Formal Analysis at the 7th annual International System-on-Chip Conference in Newport Beach, California.

Real Intent is among the leading Electronic Design Automation (EDA) companies, who are supporting and exhibiting at Verify2009 in Japan.

Real Intent Inc 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 i...

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

Real Intent is showcasing and demonstrating new software products and capabilities of its Ascent, Meridian and PureTime verification families at the Design Automation Conference (DAC09). Ascent now includes the first commercially available automated solution to ensure X-robust designs, available through its Path-Based Verification (PBV) product.