Home > Community > Blogs > Functional Verification > video oski dares you to challenge their formal amp assertion based verification skills at dac 2012
Login with a Cadence account.
Not a member yet?
Create a permanent login account to make interactions with Cadence more conveniennt.

Register | Membership benefits
Get email delivery of the Functional Verification blog (individual posts).


* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

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

Comments(0)Filed under: Formal Analysis, DAC, ABV, IEV, formal, Oski Technology, Joe Hupcey III, Vigyan Singhal

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:



Leave a Comment

E-mail (will not be published)
 I have read and agree to the Terms of use and Community Guidelines.
Community Guidelines
The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.