Asymptotic or Divergent: Three Verification Managers Look to the Future at DAC

What would the Design Automation Conference (DAC) be without a verification panel or two? This year, one in particular takes a look at a variety of verification technologies. Titled, “The Asymptote of Verification,” it will be moderated by Bryon Moyer of EE Journal and held Monday, June 2, from 5:15 p.m. until 6 p.m. in the Pavilion (Booth #313) on the exhibit floor.

Proposed and organized by Graham Bell of Real Intent, users make up the panel and include Brian Hunter of Cavium, Holger Busch at Infineon Technologies and Bill Steinmetz from NVIDIA. Special thanks go to Breker, OneSpin and Real Intent for securing these three experts who will share their real-world experiences with formal verification, static RTL analysis, and graph-based verification. Oh yes, they are users of Breker, OneSpin and Real Intent tools.

When Graham began developing the panel proposal, he wondered whether verification engineers would continue to work with a mix of tools or whether verification technologies would consolidate over the next three to five years. He decided it was worth exploring at DAC. The abstract in the DAC program went a bit further and questions whether the industry can bring a higher level of automation, predictability and return on investment to SoC functional verification.

The panel is guaranteed to rouse interest in verification tools and attendees are bound to want to scour the exhibit floor looking for Breker, OneSpin and Real Intent. No need for that. Breker (www.brekersystems.com) will be in Booth #2602, OneSpin (www.onespin-solutions.com) will be located at Booth #1219, while Real Intent (www.realintent.com) will be found at Booth #1825.

DAC will be held Monday, June 2, through Wednesday, June 4, from 9 a.m. until 6 p.m. at the Moscone Center in San Francisco. Sixteen pavilion panels are in the program this year and are scheduled throughout Monday, Tuesday and Wednesday. The DAC program is located at: www.dac.com.

Now, for those readers pulling out their dictionaries for a definition of asymptote, let’s turn to Wikipedia for help. It notes: In analytic geometry, an asymptote of a curve is a line such that the distance between the curve and the line approaches zero as they tend to infinity. Panelists, no doubt, will be able to explain the relevance.

Tags: OneSpin, Real Intent

Categories: OneSpin, Real Intent

This entry was posted on Monday, May 5th, 2014 at 9:35 am. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.