Embedded Systems Conference
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

 




Most Recent Comments
Susan Rambo
 
Joe164
 
TonyTib
 
rick merritt
 
m00nshine
 
Brian Fuller2
 
chip_maker
 
zeeglen
 
realjjj
Radio
NEXT UPCOMING BROADCAST

Drones are, in essence, flying autonomous vehicles. Pros and cons surrounding drones today might well foreshadow the debate over the development of self-driving cars. In the context of a strongly regulated aviation industry, "self-flying" drones pose a fresh challenge. How safe is it to fly drones in different environments? Should drones be required for visual line of sight – as are piloted airplanes? Join EE Times' Junko Yoshida as she moderates a panel of drone experts.

Brought to you by

July 16, 1pm EDT Thursday
IoT Network Shoot Out
Top Comments of the Week
Flash Poll
Like Us on Facebook

Datasheets.com Parts Search

185 million searchable parts
(please enter a part number or hit search to begin)
Special Video Section
LED lighting is an important feature in today’s and future ...
Active balancing of series connected battery stacks exists ...
After a four-year absence, Infineon returns to Mobile World ...
A laptop’s 65-watt adapter can be made 6 times smaller and ...
An industry network should have device and data security at ...
The LTC2975 is a four-channel PMBus Power System Manager ...
In this video, a new high speed CMOS output comparator ...
The LT8640 is a 42V, 5A synchronous step-down regulator ...
The LTC2000 high-speed DAC has low noise and excellent ...
How do you protect the load and ensure output continues to ...
General-purpose DACs have applications in instrumentation, ...
Linear Technology demonstrates its latest measurement ...
10:29
Demos from Maxim Integrated at Electronica 2014 show ...
Bosch CEO Stefan Finkbeiner shows off latest combo and ...
STMicroelectronics demoed this simple gesture control ...
Keysight shows you what signals lurk in real-time at 510MHz ...
TE Connectivity's clear-plastic, full-size model car shows ...
Why culture makes Linear Tech a winner.
Recently formed Architects of Modern Power consortium ...
Specially modified Corvette C7 Stingray responds to ex Indy ...