Real Intent Demonstrates Formal Verification Software for Bug Hunting, Verifying Clock Domain Crossing Signals, Assertions and Timing Constraints at EDSFair2008
EnVision Family Improves Designer Productivity for SoC Design Verification
(PressMethod) - Real Intent, Inc., the leading supplier of formal verification software for electronic design, will demonstrate its proven formal verification software at the Electronic Design and Solution Fair 2008 (EDSFair2008).
The demonstrations feature Real Intent's EnVision(TM) Family of software. These include:
Ascent(TM), 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(TM), 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(TM), automatic software for verifying timing exception
constraints such as Synopsys Design Constraints for set_false_path and
set_multicycle_path commands.
When/Where:
Thursday, January 24 & Friday, January 25, 2008, 10:00 a.m. to 6:00 p.m
Booth #807 (ITOCHU Techno-Solutions Corporation, Real Intent, Inc.)
Pacifico , Yokohama, Japan
Information
For more information about EDSFair2008, please visit http://www.edsfair.com/e/.
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: info@realintent.com.
EnVision, Conquest, Ascent, and PureTime are trademarks of Real Intent, Inc. All other trademarks or registered trademarks are property of their respective owners.
Contact:
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
CONTACT INFORMATION Email Us http:// ### Disclaimer: If you have any questions regarding information in these press releases please contact the company listed in the press release. Please do not contact PressMethod. We will be unable to assist you with your inquiry. PressMethod disclaims any content contained in these release. |