Skip Main Navigation
Page Content
This event has ended

Save This Event

Event Saved

Decoding Formal Training Day: "Achieving Formal Sign-Off", Sponsored by Synopsys

Oski Technology

Thursday, June 11, 2015 from 10:30 AM to 5:30 PM (PDT)

Decoding Formal Training Day: "Achieving Formal...

Ticket Information

Ticket Type Remaining Sales End Price Fee Quantity
General Sold Out Ended $199.00 $0.00

Share Decoding Formal Training Day: "Achieving Formal Sign-Off", Sponsored by Synopsys

Event Details

Formal sign-off is possible with today's technology and methodology, but to get to formal sign-off takes knowledge of formal verification and immersion in ongoing practice with formal methods and techniques.

The Decoding Formal "Achieving Formal Sign-Off" training day at DAC will discuss key components of Formal Sign-Off Methodology, with the goal of achieving formal sign-off.  Space is limited. Lunch will be provided. 

Topics include: 
  • Creating Formal Test Plan
  • Writing End-to-End Formal Checkers
  • Calculating Required Proof Depth 
  • Dealing with Formal Complexity
  • Using Abstraction Models
  • Managing constraints


Where can I contact the organizer with any questions?

marketing at 

Is my registration/ticket transferrable?

Tickets are transferrable. Conditions may apply.  

Have questions about Decoding Formal Training Day: "Achieving Formal Sign-Off", Sponsored by Synopsys? Contact Oski Technology

When & Where

Moscone Center | Room 270
747 Howard Street
San Francisco, CA 94103

Thursday, June 11, 2015 from 10:30 AM to 5:30 PM (PDT)

  Add to my calendar


Oski Technology

Oski Technology has established itself as the unsurpassed global leader in the domain of formal verification methodology and services. Founded in 2005, Oski serves six out of the top seven semiconductor design companies, helping them to accelerate their verification process and produce higher quality designs than than what is possible through simulation alone allows. As the semiconductor industry’s only fully dedicated formal services provider, Oski has assembled the world’s most focused team of specialists that draw on hundreds of man-years of collective experience. Oski has reset the benchmark for formal verification with innovations such as its Formal Sign-offTM methodology, End-To-End FormalTM checkers and Oski Abstraction ModelsTM.  Oski's publications, training sessions and events, such as the Decoding Formal Club, are recognized industry-wide as a valuable resource of formal applications knowledge. Contact Oski today and discover how we can help you overcome your most critical verification challenges with formal verification.

More information about Oski Technology can be found at:

  Contact the Organizer

Please log in or sign up

In order to purchase these tickets in installments, you'll need an Eventbrite account. Log in or sign up for a free account to continue.