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

Technology on Tour: Club Formal

Technology on Tour  
21 Feb 2013  
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

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