I've seen a lot of intriguing promotions over the years, but at DAC 2012 June 3-7 in San Francisco, our partners at Oski Technology are planning something truly unique. To show off their formal verification prowess they are challenging anyone to give them a design sight unseen, and over the course of the expo (specifically, starting Sunday, June 3 and ending 5pm Wednesday, June 6) they will deliver results using formal and assertion-based tools (such as Incisive Enterprise Verifier ("IEV")) and methodologies.
In this video Oski's CEO Vigyan Singhal introduces the challenge:
(Click here if the embedded video doesn't play)
The submission deadline is Friday April 6 -- here is their web page with all the details: http://oskitech.com/challenge/
Again, I can't recall any EDA vendor ever doing such a thing, so please take up Oski on their challenge in the interest of science; or at least join me in following the progress of this intriguing event.
Joe Hupcey III for Team Verify
On Twitter: http://twitter.com/teamverify, @teamverify
And now you can "Like" us on Facebook too: http://www.facebook.com/pages/Team-Verify/298008410248534