Breaking News
Comments
Newest First | Oldest First | Threaded View
SrivRagh
User Rank
Author
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
Author
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

 




Datasheets.com Parts Search

185 million searchable parts
(please enter a part number or hit search to begin)
Like Us on Facebook
Special Video Section
5G LTE is on the way. These systems will require more ...
Protecting sensitive electronic circuitry from voltage ...
09:45
Watch as a web server authenticates or rejects a water ...
Protecting sensitive electronic circuitry from voltage ...
Watch as a web server authenticates or rejects a water ...
Protecting sensitive electronic circuitry from voltage ...
Power can be a gating factor in success or failure of ...
Get to market faster and connect your next product to the ...
00:44
See how microQSFP is setting a new standard for tomorrow’s ...
The LTC3649 step-down regulator combines key features of a ...
Once the base layer of a design has been taped out, making ...
In this short video we show an LED light demo to ...
The LTC2380-24 is a versatile 24-bit SAR ADC that combines ...
In this short video we show an LED light demo to ...
02:46
Wireless Power enables applications where it is difficult ...
07:41
LEDs are being used in current luxury model automotive ...
With design sizes expected to increase by 5X through 2020, ...
01:48
Linear Technology’s LT8330 and LT8331, two Low Quiescent ...
The quality and reliability of Mill-Max's two-piece ...