Embedded Systems Conference
Breaking News
Comments
Newest First | Oldest First | Threaded View
JanineLove
User Rank
Author
When are we done?
JanineLove   9/4/2013 9:35:34 AM
NO RATINGS
This reminds me of the issues in software test. There's no clear time to "blow the whistle and we're done" anymore. It is a bit scary. Especially with mission critical apps.

Graham Bell
User Rank
Author
Application Specific Static Formal Verification is Making the Difference
Graham Bell   8/28/2013 5:50:36 PM
NO RATINGS
At the Design and Verification Conference last February, there was a panel ("Where Does Design End and Verification Begin?") that discussed the impact of new verification tools that focus on just one problem area and thereby enable more effective verifcation.  Engineers no longer have to create a solution out of their own dynamic simulator, static analyzer, or ABV tools.   

In the example of Meridian clock-domain-crossing (CDC) verification,  a mix of structural, formal and dynamic methods operating under-the-hood, ensure that an SoC will not fail with a metastability issue.   Other examples are state-of-the art Lint analysis, and X-propagation and reset verfication / optimization.

At Real Intent, we call this new category Static Verfication.   Gary Smith calls them Verification Apps. I see these as important addition to our tool chest so engineers don't design SoCs that we cannot verify.

 




Radio
NEXT UPCOMING BROADCAST
IoT Network Shoot Out
July 16, 1pm EDT Thursday

Replay available now: A handful of emerging network technologies are competing to be the preferred wide-area connection for the Internet of Things. All claim lower costs and power use than cellular but none have wide deployment yet. Listen in as proponents of leading contenders make their case to be the metro or national IoT network of the future. Rick Merritt, EE Times Silicon Valley Bureau Chief, moderators this discussion. Join in and ask his guests questions.

Brought to you by

Most Recent Comments
vasanth kumar d
 
scud
 
realjjj
 
DN@
 
AKH0
 
michigan0
 
MeasurementBlues
 
michigan0
 
Kevin Neilson
Flash Poll
Top Comments of the Week
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
Chwan-Jye Foo (C.J Foo), product marketing manager for ...
The LT®3752/LT3752-1 are current mode PWM controllers ...
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.