The Devil Inside
Blog Post
Posted Jan 20, 2010
by Thomas Bollaert
Follow on Twitter
Go URL
What is a Go URL?In a recent blog post, Harry Foster looks at the growing the challenge of design debug. Numbers generally vary when it comes measuring the actual impact of debugging in the project cycle, but they also have one thing in common: they are significant. The post points to two surveys showing that amount of time spent debugging jumped from 42% of the verification cyle in 2003 to 52% in 2007. If verification is the bottleneck of ASIC design flow, then debug is the bottleneck in the bottleneck.
So what do we do to address the issue? Harry suggests that there is no silver bullet for this and advocates for a “multifaced solution“.
But what if instead of trying to simply the debugging the challenge, we aimed to eliminate it?
Preparing RecommendationsIf verification and debug has grown to be such a problem these days, it is because of our inability to design correctly to start with. While verification methodologies have greatly evolved with SystemVerilog and OVM, designs are still created with flows, languages and abstractions originally deployed in the early 90’s. RTL design flows are running out of steam, but preserving the status quo in hardware design puts the burden on the verification teams.
If we ambitioned to create bug-free designs, generating them in a correct-by-construction fashion from high-level specifications, the verification task would obviously be made a lot easier. Confirming this trend, 68% of respondents to a recent industry survey ranked “reducing the verification effort” their #1 motivation for adopting high-level synthesis (HLS).
For sure “error is human”, but is this a reason to accept bugs in our designs?
errare humanum est, sed perseverare diabolicum
And if this topic is of interest, you might be interested in this article: Boosting RTL Verification with High-Level Synthesis
More Blog Posts
Preparing RecommendationsRecent Posts
- Mentor ESL in TSMC Reference Flow 12
- 48th DAC - Gary’s Magic Formula
- DAC: 9th ESL Symposium
- HLS Fundamentals / Part 2
- HLS Fundamentals: Loop Unrolling and Loop Pipelining
- HLS Contest: And the winner is...
- A Designer’s Perspective on ESL Methodologies for an OFDM Modem Design
- Catapult C and the 7 Samuraïs
- The Why, What and How of HLS @ DATE 2011
- DVCon: Wally Rhine's Keynote
Comments (↓ Add Your Own)
3 Comments on this Post
Commented on 7:38 PM, Jan 23, 2010
By B.Bemer
Commented on 1:45 AM, Jan 25, 2010
By Thomas Bollaert
Commented on 5:08 AM, Mar 2, 2011
By DVCon: Wally Rhine’s Keynote « Thomas Bollaert’s Blog
Add Your Comment
Please complete the following information to comment or sign in.