Video: Oski Dares You to Challenge Their Formal & Assertion-Based Verification Skills at DAC 2012

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