DAC Decoding Formal Training Day
Achieving Formal Sign-off
Sponsored by Synopsys
San Francisco, CA | Moscone Center | Room 270
Thursday, June 11, 10:30 AM – 5:30 PM 

Join us for the DAC training session “Achieving Formal Sign-off” on Thursday June 11.

Formal sign-off is possible today, and takes knowledge of formal methods and techniques, and immersion in ongoing practice. This Decoding Formal training day is hosted by Oski Technology, takes place at the Moscone Center at DAC and will discuss key components of formal sign-off methodology, with the goal of Formal Sign-off.  Fee $199.


Agenda: “Achieving Formal Sign-off” Decoding Formal DAC Training
10:30 AM    Welcome & Introductions
                   Session 1: Creating a Formal Testplan
                   Lunch & Networking
                   Session 2: Writing End-to-End Formal Checkers
                   Session 3: Calculating Required Proof Bound
                   Break & Networking
                   Session 4: Dealing with Formal Complexity
                   Session 5: Using Abstraction Models
                   Break & Networking
                   Session 6: Managing Constraints
5:30 PM     Wrap Up

Event:  “Achieving Formal Sign-off” Decoding Formal DAC Training day
Date: Thursday June 11
Time: 10:30 am to 5:30 pm
Venue: Moscone Center, Room 270
Fee: $199. Lunch included.

Thanks to Synopsys for sponsoring the Decoding Formal DAC Training Day.