Home > Community > Blogs > Functional Verification > video formal verification service provider oski technology at dac 2011
 
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).
 

Email

* 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: Formal Verification Service Provider Oski Technology at DAC 2011

Comments(0)Filed under: Functional Verification, Formal Analysis, Verification methodology , DAC, verification strategy, verification, ABV, formal, assertions, formal verification, Oski Technology, assertion-based verification

At DAC 2011, both myself and fellow Team Verify member Tom Anderson felt a distinct increase in the level of interest in Formal and assertion-based verification (ref. my DAC report, and Tom's).  We weren't the only ones: at the Oski Technology booth (the same formal verification service provider I spoke to back at DVCon) their representatives always seemed to be busy with prospects. This snapshot taken on the traditionally slow Wednesday morning after the Cadence-Denali party was characteristic:

 

Fortunately for me their CEO Vigyan Singhal was able to peel away for a few minutes to discuss his take on the momentum of Formal and ABV at DAC, as well as share examples of how you can use abstraction methodologies to scale Formal to verify the critical state spaces of very large systems, and/or systems that can take many seconds to initialize. Vigyan's most surprising, counterintuitive observation: "one sign you are not using Formal as much as it can be used is that much of your verification code is SVA".  Click here or on the video screen grab below to start the video and hear his reasoning.

 

Happy Verifying!

Joe Hupcey III
for Team Verify

On Twitter: http://twitter.com/teamverify, @teamverify

Reference link: Oski Technology home page http://oskitech.com/

 

Comments(0)

Leave a Comment


Name
E-mail (will not be published)
Comment
 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.