Home > About Cadence > Events > Event Details

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Company Location *

Comments: *

Club Formal: Formal Verification Lunch and Learn

 
Type:
Cadence Event  
Date:
08 Nov 2011 (11:30am - 4:30pm)  
Location:
Cadence Design Campus, 2655 Seely Ave. Bldg. 10, San Jose, CA  

Join us for a new edition of the "Club Formal" — a free, half day event—including lunch—to learn more about general advances in the field of formal and assertion-based verification, and network with other formal and Assertion-based Verification power users.

Based on feedback from the May event, we will deep-dive on the following topics:
  • Introduction to abstraction techniques to get more solutions and less explores. We’ll cover both easy to apply "cook book" tips as well as more detailed methodologies
  • Customer reports on how they are applying abstraction methodologies on their projects
  • Introduction to the production-ready code-coverage unreachability flow
  • Updated on the Incisive Formal Verifier (IFV), Incisive Enterprise Verifier (IEV), and Assertion-based Verification IP product roadmaps
Registration and lunch start promptly at 11:30am. Space is limited. Register early!

Questions About this Event?
Send email to events@cadence.com