Video: Oski 72-Hour Live Verification Challenge DAC 2012
Oski hosted a live 72-hour formal verification challenge at DAC 2012, from June 3-6, 2012. It was about taking a new customer design, sight unseen, and formally verifying it in a limited time. The live challenge was streamed to the DAC floor, with real-time results on Twitter.
View the DAC 2012 Oski Challenge Wrap-Up & Video Wrap-up blog with photos, here: http://goo.gl/8aonNV
Click here for more information about the Oski 72-hour Live Oski Verification Challenge, and a wrap-up blog.