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: *

Technology on Tour: Club Formal

 
Type:
Technology on Tour  
Date:
19 Feb 2013  
Location:
Bracknell, UK  

Date 19 February 2013
Venue Cadence Design Systems
Bagshot Road
Bracknell
Berkshire RG12 0PH
United Kingdom
Time 9:30am – 4:30pm
Registration Fee free of charge for Cadence customers and partners
Register


Register now - places are limited! Available on a first come first served basis.

Don't miss the chance to extend your formal verification expertise and learn more about general advances in the field, the Incisive Formal and Enterprise Verification roadmaps in particular and to network directly with senior Cadence R&D and other Formal and ABV power users. This is a deep dive, technical forum including live and interactive demos for intermediate and advanced users of Incisive Formal Verifier (IFV) and Incisive Enterprise Verifier (IEV), where the following topics will be included:

  • Formal Apps Portfolio
  • Understanding Formal Environment Coverage, Vacuity and effects of under and over constraining
  • Getting the most out of combining formal and dynamic simulation with new capabilities of IEV and Incisive Enterprise Manager (IEM)
  • Register Validation Techniques
  • Formal X-propagation Analysis
  • Advanced Debug Techniques
  • Performance & Abstractions
  • Coverage hole analysis with formal technologies
  • The latest Assertion-Based Verification Methodologies and Best Practices
  • Outlook: Preview of IFV&IEV and Assertion-based VIP product roadmaps

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