WEB SEMINAR
Combining Formal Model Checking and Simulation for
Verification Closure
Tuesday, July 14
12:00pm - 1:30pm US/Central
Don't miss the "Combining Formal Model Checking and
Simulation for Verification Closure" live web seminar on
Tuesday, July 14th!
Attend and learn:
* How to use simulation results to drive formal
verification
* How to cover "hard-to-find" cover points
* How to find bugs deep in the design
REGISTER:
http://lyris.mentor-info.com/t/13592...52/12390/3265/
Watch the 1st part of the series:
Finding the toughest bugs with 0-In Formal Verification
Web Seminar
http://lyris.mentor-info.com/t/13592...52/12391/3488/
Best regards,
Mark Eslinger
Application Engineer
Mentor Graphics
-------------------------------------------------------------
If you do not wish to receive future Mentor Graphics
updates, update your subscription at:
http://www.mentor.com/updates/global...l.com&action=r
Mentor Graphics 8005 SW Boeckman Road Wilsonville, OR,
97070, USA
800-547-3000 or 503-685-8000