SOURCE: Real Intent

March 11, 2008 05:11 ET

Real Intent's Bug Hunting Software Takes Center Stage at DATE in Munich

EnVision Supports Verification With SystemVerilog, PSL and Synopsys Design Constraints

MUNICH, GERMANY--(Marketwire - March 11, 2008) - Design, Automation and Test in Europe (DATE) at Stand A4 -


Real Intent, Inc., the leading supplier of formal verification software for electronic design, will demonstrate its formal verification Bug Hunting software at the Design, Automation and Test in Europe (DATE) conference.

Real Intent's EnVision™ Family includes:

Ascent™, an automatic bug hunting tool that can run even before simulation on Register Transfer Level (RTL) designs, requires no testbench, and supports both the Property Specification Language (PSL) and SystemVerilog Assertions (SVA) constraints;

Conquest™, an Assertion-Based Verification (ABV) tool with engines that excels in capacity and performance when compared to competing products;

Meridian CDC, a checker for the integrity of signals crossing clock domains; which includes the most comprehensive strategies in industry, including structural, dynamic, and formal;

PureTime™, automatic software for verifying timing exception constraints such as Synopsys Design Constraints for set_false_path and set_multicycle_path commands.


Exhibit and Demonstrations:
Tuesday, 11th March: 10.00 - 19.00
Wednesday, 12th March: 10.00 - 18.00
Thursday, 13th March: 10.00 - 17.00
Stand A4, ICM, Munich, Germany


For more information about DATE, please visit

For more information about Real Intent, please visit

About Real Intent

Real Intent extends 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 40 major electronics design houses, including AMD, nVidia and NEC Electronics, use Real Intent software.

Real Intent is headquartered at 505 North Mathilda Avenue, Suite 210, Sunnyvale, CA 94085, phone: (408) 830-0700 fax: (408) 737-1962, web:, e-mail:

EnVision, Conquest, Ascent, and PureTime are trademarks of Real Intent, Inc. All other trademarks or registered trademarks are property of their respective owners.

Contact Information

  • Press contacts:
    Rich Faris
    Vice President Marketing and Business Development
    (408) 830-0700 x212
    Email Contact

    Georgia Marszalek
    Valley PR for Real Intent
    (650) 345-7477
    Email Contact