CIMdata PLM Industry Summary Online Archive
13 February 2007
Events News
Real Intent Extends the Reach of Formal Verification, Showcases Formal Software for Timing Exception Verification and Assertion-Based Verification at DVCon
Who :
Real Intent is showcasing its verification software at the Design and Verification Conference & Exhibition (DVCon).
What :
Real Intent is demonstrating its EnVisionT family of software for formal verification. The demonstrations highlight timing exception verification with PureTimeT, Assertion-Based Verification (ABV) with ConquestT and AscentT and clock domain crossing checking with Clock Intent VerificationT.
In addition, Real Intent is demonstrating how its software integrates with Novas' automatic debug system, VerdiT, to offer electronic designers better verification technology by combining property management and debugging capabilities with static formal analysis.
When :
Wednesday, February 21, 4:00 pm - 7:00 pm
Thursday, February 22, 4:00 pm - 7:00 pm
Where :
Doubletree Hotel
2050 Gateway Pl.
San Jose, CA 95110
Booth # 806
Information, Appointments and Registration Contacts :
For more information about Real Intent, please visit http://www.realintent.com .
To set an appointment with Real Intent, please contact:
For more information about DVCon, please visit http://www.dvcon.org .
Become a member of the CIMdata PLM Community to receive your daily PLM news and much more.
Tell us what you think of the CIMdata Newsletter. Send your feedback.
CIMdata is committed to your privacy. Your personal information will never be sold or shared outside of CIMdata without your express permission.