Decoding Formal Training Day: "Achieving Formal Sign-Off", Sponsored by Synopsys
Date and time
Location
Moscone Center | Room 270
747 Howard Street San Francisco, CA 94103Description
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.
- Creating Formal Test Plan
- Writing End-to-End Formal Checkers
- Calculating Required Proof Depth
- Dealing with Formal Complexity
- Using Abstraction Models
- Managing constraints
FAQs
Where can I contact the organizer with any questions?
marketing at oskitech.com
Is my registration/ticket transferrable?
Tickets are transferrable. Conditions may apply.
Organized by
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.