will be under system maintenance from Tuesday June 28, 6pm PT to Sunday July 3, 11pm PT. Login and registration will be disabled.
Home > About Cadence > Events > Event Details

Club Formal: Formal Verification Lunch and Learn

Cadence Event  
08 Nov 2011 (11:30am - 4:30pm)  
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