Home    Bloggers    Messages    Resources    Webinars    DesignCon 2013   
Tw  |  Fb  |  In  |  Rss
Brian Bailey

Verification Costs

Brian Bailey
Sunil Kakkar
Sunil Kakkar
12/6/2012 4:02:49 PM
User Rank
Blogger
Re: The verification crisis was predicted in 2004
Brian,

 

You are absolutely right.  What we need today is a shift in the fundamental verification paradigms. For example, functional verification by simulation is just not adequate no matter how much we evolve in that direction. The need of the hour is a gradually increasing focus on Formal Verification. Formal verification does not even comprise 10% of the total verification effort today.

 

Thanks

Sunil

50%
50%
Brian Bailey
Brian Bailey
12/6/2012 2:44:40 PM
User Rank
Blogger
Re: The verification crisis was predicted in 2004
@Sunil - you are right. There are many of us who have been warning about this problem for a long time, and slowly people are becoming concerned about it and looking for solutions. One problem is that we may have gone in the wrong directions based on incremental change rather than fixing the fundamental problems so that we have now compounded the issues.

50%
50%
Sunil Kakkar
Sunil Kakkar
12/6/2012 2:24:30 PM
User Rank
Blogger
The verification crisis was predicted in 2004
I wrote this blog in 2004, calling for a proactive approach to avert the looming verification crisis:

http://www.eetimes.com/electronics-news/4154891/Proactive-approach-needed-for-verification-crisis

 

50%
50%
Sunil Kakkar
Sunil Kakkar
11/15/2012 4:39:30 PM
User Rank
Blogger
Re: AMS verification
One very interesting piece of information to come out of the Jasper User Conference is "Going forward they (Intel) want to replace 50% of unit level simulation with formal approaches by 2015". This means that assertions and formal verification will begin to play a major role during the RTL development phase for all designs, including the AMS designs.

50%
50%
Brian Bailey
Brian Bailey
11/15/2012 1:11:12 PM
User Rank
Blogger
Re: AMS verification
Barry - you are right that there is very little formal verification in the AMS field although they are just beginning to get the notion of assertions and other formal ways to specify aberant behaviors. That is a long way from being able to prove that they will never happen. AMS is very ad hoc and most simulations are statistical in nature - looking at multiple points across temperature, voltage and other process variations.

50%
50%
Barry J. Sullivan
Barry J. Sullivan
11/14/2012 3:55:51 PM
User Rank
Blogger
AMS verification
Here's one from left field:

What about verification of analog and mixed-signal designs?  From what I know of formal verification, which is admittedly not much, it is primarily directed toward digital design.

Is verification for AMS designers an ad hoc affair, or are do formal techniques apply here as well?  In either case, it seems this should be an area of great challenges and opportunities.

50%
50%
Brian Bailey
Brian Bailey
11/14/2012 3:23:24 PM
User Rank
Blogger
Re: Vailidation and characterization
I would rephrase it a little. Validation is determining if the spec is correct and useful whereas verification is finding out if a design matches the spec. Of course, life is never black and white and because verification is incomplete, validation is sometimes used to augment verification. In an ideal world we would validate before design begins, but that is not realistic. Design works from incomplete and ambiguous specification often written using the English langauge. There is problem number 1!!

50%
50%
Martin Rowe
Martin Rowe
11/14/2012 3:16:21 PM
User Rank
Blogger
Re: Vailidation and characterization
In simplistic terms, I see validation as "Does it work?" and characterization as "How well does it work?"

50%
50%
Brian Bailey
Brian Bailey
11/14/2012 3:07:44 PM
User Rank
Blogger
Re: Vailidation and characterization
Martin - I think a full answer to your questions would take many blogs, but they are all vallid questions. But first a correction. I said that verification costs are 50-70% of design costs, not test costs.

So why does verification take so long and the times and percent increasing? Bascially it is because the verification process is not scalable. Design is relying more and more on reuse and reuse is not really working for verification.

Yes, I believe that validation and characterization are very different processes. Perhaps I will talk about the distinctions in my next blog...

50%
50%
Martin Rowe
Martin Rowe
11/14/2012 2:51:39 PM
User Rank
Blogger
Vailidation and characterization
Brian,

Why do you think verification costs have risen? You mentioned that verification costs are 50% to 70% of test costs. Is that because verification costs are rising or other test costs have fallen or a combination?

Also, do you make a distinction between "validation" and "characterization?" At some companies, these are difference functions, buta that's not consistently true from what I've seen.

50%
50%
More Blogs from Brian Bailey
The interface between the processor and the memory is perhaps the biggest problem that most systems face these days.
We still need serial interfaces for going off chip, but it would appear that parallel interfaces are about to make a revival.
So I intend to totally put my foot in it, with the intention of learning something even if the starting point is making me look stupid.
As I was watching an episode of The Big Bang Theory the other day, I thought about the kind of argument that Howard and Sheldon might get into if the subject of probes came up.
Having accomplished real-time capabilities, we are now in the realm of faster-than-real-time, and downloading from a camera may appear to be one of those cases where you want that kind of speed.
flash poll
follow us on twitter
like us on facebook
webinars
archived
4/9/2013 1:00:00 PM

High speed digital chip-to-chip link performance is often limited by jitter in the multigigabit per second regime. It is a surprising fact that jitter can actually be amplified by a lossy channel even when the channel is linear, passive, and noiseless. In this webcast we will cover the basics of jitter amplification and show you how to accurately analysis the effect in your system using ADS Channel Simulator.
DesignCon Community
About Us     Contact Us     Help     Register     Twitter     Facebook     RSS