Free tickets to DAC HOT Zone
What's holding back ESL?

Questions about Formal Verification? Stop by the Oski Booth

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

Good luck!