Alert icon
We're changing our privacy policy. This stuff matters.  Learn more  Dismiss

2011 DVCon - Formal Verification Service Provider Oski Technology

Loading...

Sign in or sign up now!
Alert icon
Upgrade to the latest Flash Player for improved playback performance. Upgrade now or more info.
201 views
Loading...
Alert icon
Sign in or sign up now!
Alert icon

Uploaded by on Mar 7, 2011

While there was a lot (justifiable) buzz around the UVM 1.0 release, formal and assertion-based verification (ABV) technologies and methodologies also had a great showing at DVCon 2011. Evidence of this trend was Oski Technology -- "the world's first and only IC verification services company to be fully focused on formal verification" -- investing in a DVCon booth. In this video I interview their CEO Vigyan Singhal, who offers advice to simulation-oriented people new to formal, the importance of advanced planning and quantifiable metrics for project management, plus how formal and simulation can be mutually reinforcing.

  • likes, 0 dislikes

Link to this comment:

Share to:
see all

All Comments (0)

Sign In or Sign Up now to post a comment!
Loading...

Alert icon
0 / 00Unsaved Playlist Return to active list
    1. Your queue is empty. Add videos to your queue using this button:
      or sign in to load a different list.
    Loading...Loading...Saving...
    • Clear all videos from this list
    • Learn more