REGISTER | LOGIN
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.

 




Like Us on Facebook
EE Life
Frankenstein's Fix, Teardowns, Sideshows, Design Contests, Reader Content & More
Martin Rowe

Test Tool Finds Ethernet Wiring Errors
Martin Rowe
Post a comment
When my house was renovated several years ago, I had the electrician install network outlets in numerous places, then run the LAN cables to a wiring closet. But he didn't document the ends ...

Martin Rowe

Local Electronics Store Supplies Engineers and Hobbyists
Martin Rowe
5 comments
Rochester, N.Y. — Tucked away in this western New York city known for its optics is Goldcrest Electronics, a local store that's supplied businesses and individuals with electronic ...

Martin Rowe

How to Transform a Technology University (Book Review)
Martin Rowe
1 Comment
The Presiding Genius of the Place by Alison Chisolm. WPI, Worcester, Mass., 234 pp., 2016. Engineers love to discuss, and often criticize, engineering education. They often claim ...

Max Maxfield

Aloha from EEWeb
Max Maxfield
Post a comment
Just a few minutes ago as I pen these words, I posted this blog about this month's Cartoon Punchline Competition over on EEWeb.com.