Home > Community > Blogs > Functional Verification > photo essay and comments on dac 2011 in san diego ca
Login with a Cadence account.
Not a member yet?
Create a permanent login account to make interactions with Cadence more convenient.

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 and Comments on DAC 2011 in San Diego, CA

Comments(0)Filed under: Formal Analysis, DAC, EDA, ABV, formal, EDA360, formal verification, Oski Technology, Joe Hupcey III, asssertion-based verification, ADS, Assertion-Driven Simulation, cloud computing

In addition to the annotated image gallery (click here or on the image), below are some long form comments on particular aspects of this year's Design Automation Conference (DAC).

Cloud computing - the title of Richard Goering's report on this panel captured the discussion perfectly, "DAC Panel Says ‘Yes' to EDA in the Cloud -- But Differs on When".  Of course there are a variety of private and public cloud-based EDA solutions today, so the debate hinged on when public cloud solutions would see broad-based, mainstream adoption by EDA customers.  At one extreme, Greg Gottesman of the Madrona Venture Group (and an investor in Nimbic, which sells a cloud offering for RF design) boldly predicted EDA would move wholesale to the cloud in 3 years.  Personally, I'm closer to the 10 year timeframe asserted by John Bruggeman. 

Caveat: if the claims of 20x-30x performance gains for specific tools are true, such applications could surely earn wider adoption in the shorter 2-3 year time frame.  Indeed, the EDA cloud situation today is reminiscent of the market segmentation shift that's been occurring between dynamic simulation and formal analysis.  Starting from nothing, we've evolved from a ratio of 99.5% simulation to 0.5% formal in the late 90's, to 95% vs 5% in the early 2000's, and today the ratio is rebalancing faster as per the following observation ...

Formal and ABV momentum
- in the past year, with each passing industry event and blog post, I've fielded progressively more queries about formal, assertion-based verification (ABV), and multi-engine solutions like our assertion-driven simulation offeringTom Anderson's DAC report perfectly described the ongoing momentum we both felt in and outside the booth, "One aspect of the Cadence booth that surprised me was the level of interest in formal analysis ... and a number of people stopped by the booth specifically to ask about what we're doing in formal. I interpret this as a good sign of formal's continuing advancement into mainstream usage."   Furthermore, if the scuttlebutt in the Southwest Airlines boarding area and other post-DAC rumors are any guide, our formal technology competitors and service providers like Oski Technology had similar anecdotal and measurable year-over-year lead growth as well. 

DAC itself
- despite all the happy talk about double-digit increases in attendance vs. last year, IMHO there were visibly less attendees down on the show floor -- the disparate mental comparisons from the last time DAC was in San Diego were too numerous to block out.  That said, the conference going on upstairs had the same lively, techie vibe as DVCon and CDNLive(s).  In general, my slice of Silicon Realization met a fair amount of qualified attendees; and we made the most of the whole experience.  But was it worth it, in terms of marcom dollars ROI, or from the more abstract "branding" POV?  Time will tell as we complete our follow-ups with all the prospects and customers. 

Until next DAC, may your throughput be high and your power consumption be low.

Joe Hupcey III


P.S. I've also posted a gallery of images dedicated to the Cadence Denali party -- click here and judge for yourself whether Cadence has upheld this classic event's traditions.


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.