Breaking News
Comments
Newest First | Oldest First | Threaded View
JanineLove
User Rank
Blogger
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
Freelancer
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.

 




Flash Poll
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)
EE Life
Frankenstein's Fix, Teardowns, Sideshows, Design Contests, Reader Content & More
Max Maxfield

Saddleback Sale – It's Happy Dance Time
Max Maxfield
Post a comment
It's no secret that I'm a huge fan of the products from Saddleback Leather. As I sit here at my desk, I'm wearing one of their 1¾" wide Tow Belts, upon which rests one of their Belt ...

Engineering Investigations

Air Conditioner Falls From Window, Still Works
Engineering Investigations
Post a comment
It's autumn in New England. The leaves are turning to red, orange, and gold, my roses are in their second bloom, and it's time to remove the air conditioner from the window. On September ...

David Blaza

The Other Tesla
David Blaza
5 comments
I find myself going to Kickstarter and Indiegogo on a regular basis these days because they have become real innovation marketplaces. As far as I'm concerned, this is where a lot of cool ...

Larry Desjardin

Engineers Should Study Finance: 5 Reasons Why
Larry Desjardin
47 comments
I'm a big proponent of engineers learning financial basics. Why? Because engineers are making decisions all the time, in multiple ways. Having a good financial understanding guides these ...