EnVision Formal Verification Software Improves Designer Productivity When Using Assertions and Timing Constraints Or Verifying Clock Domain Crossing Signals
Who/What:
Real Intent, Inc., the leading supplier of formal verification software for electronic design, will demonstrate proven formal verification software at the DesignCon.
Real Intent’s EnVision™ Family demonstrations include:
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 3 strategies in industry, including Structural, Dynamic, and Formal. and
PureTime™, automatic software for verifying timing exception constraints such as Synopsys Design Constraints for set_false_path and set_multicycle_path commands.
When/Where:
Tuesday and Wednesday, February 5th and 6th
12:30pm-6:30pm, Booth #919
Santa Clara Convention Center, Santa Clara, California
Information
For more information about DesignCon, please visit http://www.designcon.com/2008/conference/.
For more information about Real Intent, please visit www.realintent.com.
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: www.realintent.com, e-mail: iinfo@realintent.com.
