Pippa Slayton is Marketing and Business Development Manager at Oski Technology. She has 8+ years experience in the high-tech industry and drives marketing campaigns, marketing strategy, product launches, social media, and community building and event program management for Oski’s formal … More »
Another Reason to Stay an Extra Day in Austin
June 3rd, 2016 by Pippa Slayton
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
We look forward to seeing you at DAC!
New to the Decoding Formal Club?
Oski DAC Montage: 2012 to 2016