Last year, the folks at Oski effectively locked one of their engineers in a room for the duration of DAC to see if they could formally verify a design module they had not previously seen. This year, they're focusing less on the drama and more on providing DAC visitors tip and tricks on how to use formal verification techniques on your next project by presenting episodes of their new video series "Decoding Formal" throughout the day.
Stop by and visit Oski at booth #718. Each hour, starting at 9:30am, they will show a new video from the series. Come back at 5:15pm on Monday, June 3 and again on Tuesday, June 4 to compete for prizes in the live "Decoding Formal" trivia challenge.
You can also play the challenge online at http://www.surveymonkey.com/s/DecodingFormal