If you are attending the Design Automation Conference (DAC) in Austin, Texas, June 5-9, and need a good reason to stay an extra day, look no further. Oski Technology is offering a one-day primer on advanced formal verification techniques at the DAC Decoding Formal one-day training, “Achieving Formal Sign-off”, on Thursday, June 9, from 10 a.m. until 5 p.m. at the Hilton Hotel, Austin.
This full day of training on formal verification techniques first offered in 2015, is based on Oski’s more comprehensive two-week advanced training program for formal verification engineers. The June 9 program agenda covers Oski’s End-to-End Formal verification process, with the goal of enabling formal sign-off. Topics include: How to write and implement a set of End-to-End Formal checkers which spans one end of the DUT to another; how to manage formal complexity, which is the problem that formal proofs often do not finish completely, and Required Proof Depth (RPD), a cycle of proof affirming that the design is completely covered; how to use Abstraction Models to reduce the complexity of the formal run; ways to manage constraints, which are assumptions and associated code in the reference model; finally, how to apply formal coverage to measure the quality of formal work.
The Decoding Formal Club hosts this event, and no DAC badge is required. Space is limited and you must register in advance. Fee: $199. This event is sponsored by Synopsys. Purchase tickets here.
See Formal in Action with a Live Demo at Oski Technology Booth #339
Get a preview of Thursday’s training at the Oski Technology DAC booth with a “live” demo and technical presentation at booth #339, and see a formal testbench in action, complete with a set of end-to-end checkers and associated reference models. You’ll see how Abstraction Models and other special techniques such as symbolic variables can be used to implement more efficient End-to-End Formal checkers. This formal testbench can reach greater proof depths, and enable formal sign-off. Exhibit hours are 10:00am – 6:00pm, Monday, Tuesday and Wednesday, and we are giving away three Amazon gift cards valued at $75 each, in a drawing for booth visitors.
To make an appointment for a private suite presentation before expo hours or during the show, please email us at DAC2016 @ oskitech.com. See below for more information.
Oski is also participating in invited and guest talks. Please join us for these and other exciting DAC events.
Other Oski Events at DAC 2016
- DAC Design Track “How to Verify the Gordian’s Knot of System Complexity” Ballroom E: June 8, 2016 1:30 pm – 3:00 pm. Vigyan Singhal, Oski’s CEO, will be part of this Design Track invited presentation session. The talk, entitled “Formal Verification: From Flops to Cones to Blocks to Systems” will discuss the history and evolution of formal adoption in the industry, from equivalence checking in the 1990s, to system level verification today.
- “Using a Chessboard Challenge to Discover Real-world Formal Techniques” Verification Academy technical session: June 8, 2016 3:00 pm – 4:00 pm. Prashant Aggarwal, Oski Principal Engineer will be at the Mentor Graphics DAC booth #839. This presentation will describe the challenge Oski gave formal users to solve a chessboard problem, an opportunity to show how formal techniques might be used to solve a puzzle, along with the winning solution from Intel’s Jesse Bingham.
We look forward to seeing you at DAC!
New to 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.
Oski DAC Montage: 2012 to 2016