Home > Community > Blogs > Functional Verification > photo essay video playlist and comments on dvcon 2012 in san jose
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: *

Photo Essay, Video Playlist, and Comments on DVCon 2012

Comments(0)Filed under: Functional Verification, Low Power, Formal Analysis, DVcon, ABV, uvm, NextOp, assertion synthesis, ABVIP, formal verification, Chris Komar, Oski Technology, assertion-based verification, videos, robot, Joe Hupcey III, Assertion-Driven Simulation, Yunshan Zhu, UCIS, video, formal apps, Vigyan Singhal

In addition to the annotated image gallery (click here or on the image), or the playlist of videos on some of the papers, panels, partner activities, and tutorials ((click here or on the composite image), below are some long form comments on particular aspects of this year's Design & Verification Conference (DVCon) in San Jose this past February 27 through March 1, 2012.

If the gallery doesn't open, click here.

If the video playlist doesn't open, click here.

UVM & Low Power verification come of age: In prior DVCons, the big news was the launch of new methodologies like UVM and low power verification.  Both things are still a big deal, but for a different reason: the heavy attendance at the UVM tutorialLow Power lunch, and related papers made it clear that these methodologies are being widely adopted.  Hence, the attendees' questions were inspired by issues that come up in daily usage vs. past years when the Q&A was more basic and introductory in nature.  Plus, as shown in this video on the paper "Creating a Complete Low Power Verification Strategy Using the Common Power Format and UVM", engineers can now create flows than span low power firmware down to assertion-based verification.

UCIS - the new standard on the block: Given that coverage and metric driven verification is now a mainstream best-practice for functional verification, the high interest in the launch of the Unified Coverage Interoperability Standard, a/k/a "UCIS" (pronounced, "ewe sys") 1.0 draft was no surprise.  For more background on UCIS, please refer to this video I recorded with Cadence's representative to the Accellera UCIS committees, John Brennan.

Formal Apps:
  While formal analysis tools have made great strides in improving ease-of-use over the years, many engineers are still put off by formal's lingering reputation for needing a Phd in the technology to get value from it.  Even worse: it's often difficult for formal users to translate their progress into terms their simulation-centric colleagues and managers can understand.  Consequently, Cadence's "Team Verify" has created an "apps" approach, where we can structure a solution in a way that's familiar and/or easy for non-experts to use, and that are relatively easy for formal and formal+simulation to solve.  In this video interview Product Engineer Chris Komar recaps the tutorial on this technique we gave on Thursday March 1, 2012 at DVCon.  Also note that in this tutorial our partners Oski Technology and NextOp Software shared their real world case studies of the many apps they've created for their customers -- i.e. this new "apps" approach is something that's widely applicable.

Our Rubik's Cube solving robot:
 Speaking of formal verification "apps", we couldn't resist the opportunity to introduce our own formal verification-driven Rubik's Cube robot app.  Leveraging a mechanical design by Lego Mindstorms wizard Hans Andersson, my colleagues Apurva Kalia, Suman Ray, and Manu Chopra set up the brain of the robot to be a single SVA assertion that is solved in a few seconds by Incisive Formal Verifier (IFV).  (The core program is a single SVA assertion (in a nutshell, "never (solved cube)"), which IFV solves and then produces a counter example which turns out to be the optimal solution to the cube.  A script translates the counter-example signals into a set of actuator commands for the robot to execute.)  As you can see in this video, the demo itself was a hit, especially with human "speed cubers" who relished the competition with the machine.  Of course, the demo itself enabled us to introduce the apps approach, and in general demystify formal and ABV for many attendees in a fun way.

DVCon itself:
in contrast to DAC, which seems to shrink in raw attendance numbers with each passing year, DVCon showed that focused forums can still deliver.  In fact, the DVCon people are claiming record attendance, which agrees with my first-hand observations.  Plus: every attendee there was focused on digital design and verification, as opposed to DAC, where you just never know what domain a given attendee is coming from when they approach the booth.

Until next DVCon, may your throughput be high and your power consumption be low!

Joe Hupcey III
On Twitter: @jhupcey --  http://twitter.com/jhupcey


Reference Links
DVCon 2012 proceedings

DVCon 2012: Man vs Machine ... and the better Rubik's Cube solver is ...

Video Easter Egg: Incisive Formal Verifier and SVA driving a Rubik's Cube robot

Accellera Unified Coverage Interoperability Standard (UCIS) Technical Committee

DVCon 2012 Video: John Brennan on the new UCIS 1.0 announcement

DVCon 2012 Video: Interview with Rob Meyer on Low Power Verification Strategy

DVCon 2012 Video: Product Engineer Chris Komar Reviews the Tutorial on Formal Apps



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.