Breaking News
Comments
Newest First | Oldest First | Threaded View
SrivRagh
User Rank
Blogger
Re: Application Specific Static Verification is Making the Difference
SrivRagh   11/11/2013 11:13:08 AM
NO RATINGS
Indeed, static based techniques have taken-off in the recent past with simulation based flows becoming a bottleneck. With SoC having processing core and IP becoming more programmable, it becomes necessary after RTL sign-off to verify HW/SW interaction issues, application-level and performance scenarios. Guess, we cannot do away with simulation based techniques completely.

 

Graham Bell
User Rank
Freelancer
Application Specific Static Verification is Making the Difference
Graham Bell   11/8/2013 1:28:03 PM
NO RATINGS
1 saves
The software side of verification is also gearing up for renewed competition among the big vendors and verification-only companies like Real Intent.  They are delivering their next-generation SoC verification suites with a focus on specific areas of concern.  Clock-domain crossing,  X-verification and reset optimization, SDC correctness and consistency, are some of the areas that are receiving dedicated RTL analysis using static analysis. Static analysis is a mix of structural and formal techniques that let designers focus on verification and not on customizing the tool to attack a problem area. 

Besides raw speed, and capacity, the newest tools are addressing the data management for sign-off of these SoCs.   Smart reporting and assisted debug is a key requirement otherwise designers and verification teams will drown in a flood of analysis results.  All of this innovation and targeted investment will be making SoC sign-off manageable, if not easier.

+Graham

 




Most Recent Comments
Flash Poll
EE Life
Frankenstein's Fix, Teardowns, Sideshows, Design Contests, Reader Content & More
Engineer's Bookshelf
Caleb Kraft

The Martian: A Delightful Exploration of Math, Mars & Feces
Caleb Kraft
6 comments
To say that Andy Weir's The Martian is an exploration of math, Mars, and feces is a slight simplification. I doubt that the author would have any complaints, though.

The Engineering Life - Around the Web
Caleb Kraft

Surprise TOQ Teardown at EELive!
Caleb Kraft
Post a comment
This year, for EELive! I had a little surprise that I was quite eager to share. Qualcomm had given us a TOQ smart watch in order to award someone a prize. We were given complete freedom to ...

Design Contests & Competitions
Caleb Kraft

Join The Balancing Act With April's Caption Contest
Caleb Kraft
57 comments
Sometimes it can feel like you're really performing in the big tent when presenting your hardware. This month's caption contest exemplifies this wonderfully.

Engineering Investigations
Caleb Kraft

Frankenstein's Fix: The Winners Announced!
Caleb Kraft
8 comments
The Frankenstein's Fix contest for the Tektronix Scope has finally officially come to an end. We had an incredibly amusing live chat earlier today to announce the winners. However, we ...

Top Comments of the Week
Like Us on Facebook
EE Times on Twitter
EE Times Twitter Feed

Datasheets.com Parts Search

185 million searchable parts
(please enter a part number or hit search to begin)