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 believes that solving the hardest problem in semiconductor design is the best way to make our clients unstoppable. Functional verification is the hardest problem, and our clients trust us to verify their most challenging designs to ensure the highest quality possible.

Our comprehensive methodologies are changing the course of semiconductor verification. We deliver functional sign-off of mission critical blocks early in the development cycle, which helps our clients reduce costs and tape out with confidence.

The design world has pivoted from chip technology to parallelism to keep performance and power efficiency marching forward. It’s impossible for even the most advanced simulation methodologies to find the extreme corner-case bugs that have followed. Since it’s inception in 2005, Oski has been pioneering novel verification methodologies that are required to deliver high quality designs in this new world.

More information about Oski Technology can be found at:

  Contact the Organiser

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.