Decoding Formal Events at DAC 2015

Oski Technology "Decoding Formal" Club Event October 2013

The Decoding Formal Club is coming to DAC! Join other design and verification engineers at Decoding Formal Club events at the Oski Technology Booth #1215.

 Oski 2015 DAC “Break our Formal Testbench” Challenge
Ever wondered about the completeness of End-to-End formal verification? See for yourself with the brand new 2015 Oski Challenge at Booth #1215: Try to break our End-to-End formal testbench by inserting bugs in an RTL (register transfer level) design. We will verify the design and catch your bugs in real time, proving that formal can be used for sign-off.  To help you prepare to take the challenge, join an Oski floor lecture and see a demo to learn the techniques of writing End-to-End checkers for building the complete formal test bench. Prizes to be won!

The 2015 Oski Challenge is sponsored by Synopsys.

Decoding Formal DAC Training Day: Achieving Formal Sign-Off 

Registration is now open for the Decoding Formal: “Formal Verification for Formal Sign-Off” DAC Training Day on Thursday June 11 at the Moscone Center, Room 270. This full day of training on formal verification has a packed agenda, with lunch included. Paid pre-registration is required. Check out the details below, and buy tickets here. The Decoding Formal DAC Training Day is co-sponsored by Synopsys.

Pre-Register for Decoding Formal Lectures and Training at DAC  

Monday June 8, Oski Technology Booth 1215
Decoding Formal Lunch Lecture: Planning For Formal Success
Time: 12:00 – 1:15 PM

Monday June 8, Oski Technology Booth 1215
Decoding Formal Customer Lecture: No Need for Perfection – When Bounded Formal Proof Is Good Enough
Time: 3:00 PM – 4:00 PM
Presenter: Kaowen Liu, MediaTek

Tuesday June 9, Oski Technology Booth 1215
Decoding Formal Lunch Lecture: Covering Complete Design Functionality with End-to-End Formal Checkers
Time: 12:00 PM – 1:15 PM

Tuesday June 9, Oski Technology Booth 1215
Decoding Formal Customer Lecture: Can Formal Go Mainstream? Broadcom DVT’s Formal Integration in the DV Flow
Time: 3:00 PM – 4:00 PM
Presenter: Normando Montecillo, Broadcom

Wednesday June 10, Oski Technology Booth 1215
Decoding Formal Lunch Lecture: Taking the Mystery out of Abstraction Models
Time: 12:00 PM – 1:15 PM

Wednesday June 10, Oski Technology Booth 1215
Decoding Formal Customer Lecture: One Metric to Rule Them All: Tracking Progress on Formal Testbenches
Time: 3:00 PM – 4:00 PM
Presenter: Vikram Khosa, ARM

Thursday June 11,  Moscone Center, Room 270
Decoding Formal DAC Training Day*: Achieving Formal Sign-Off
Time: 10:30 AM – 5:30 PM
Description: 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 Oski 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. Topics include: Creating formal test plan, writing end-to-end formal checkers, calculating required proof depth, dealing with formal complexity, using abstraction models and managing constraints. The Decoding Formal DAC Training Day is co-sponsored by Synopsys. Fee: $199. Pre-registration is required.

About the Decoding Formal Club

The Decoding Formal Club is an open forum hosted by Oski Technology and offering a variety of talks and conversations on formal verification methodology, from big picture theory to a deep dive analysis of formal verification for formal sign-off. These meetings and events bring together design and verification professionals for meaningful conversations that make formal verification accessible and understood. Join us to learn about core tools and methodologies your formal verification team can use to enhance your verification capabilities.

Visit the Decoding Formal Club page: www.oskitechnology.com/decodingformals
Oski Technology Mailing List: Subscribe

Management
Career
Media
Contact