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:
21 Feb 2013  
Location:
Munich, Germany  

Date Thursday, 21 February 2013
Venue Cadence Design Systems
Mozartstr. 2
85622 Feldkirchen, Germany
Time 10:15am to 6:00pm
Registration Fee free of charge for Cadence customers and partners
Register


We invite you to the 3rd Technology on Tour: ClubFormal Usergroup meeting in Munich. Join us for a one day event where we will share our Formal technologies and methodologies with you.

Don't miss the chance to extend your formal verification expertise and learn more about general advances in the field. This event also gives you the opportunity to meet members of the R&D team in order to discuss the technology, roadmap and use cases around Incisive Enterprise Verifier, and network with other Formal power users in the region.
This is a deep dive, technical forum for intermediate and advanced users of Incisive Enterprise Verifier, where the following topics will be included:

  • Customer presentation regarding register map validation app
  • Introduction and update on the latest formal apps
  • Getting the most out of combining formal and dynamic simulation with extended capabilities of IEV
  • Constraint designs with multiple asynchronous clocks
  • Outlook: Preview of IFV&IEV roadmap
Agenda :
10:15 - 10:30 Welcome & Introduction
10:30 - 11:15 Academic Keynote "Moving Formal Verification towards Analog Circuits and Systems"
11:15 - 12:15 Open forum discussion
12:15 - 13:00 Lunch
13:00 - 13:45 Incisive Enterprise Verifier product roadmap
13:45 - 14:30 Incisive Enterprise Verifier apps overview and update
14:30 - 14:45 Break
14:45 - 15:00 Introduction register map validation app
15:00 - 15:45 Customer presentation : register map validation
15:45 - 16:45 Metric Driven Verification demo
16:45 - 17:00 Break
17:00 - 17:45 Clock constraining in asynchronous designs
17:45 - 18:00 Wrap-up and summary
18:15 Dinner

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