Photo Essay, Video Playlist, and Comments on DVCon 2012

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.

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!