European research project named best proposal for embedded systems by the EU’s Seventh Framework Programme VERONA, Italy -- April 9, 2008-- In January 2008, work commenced on a European research ...

After 20 years of researching formal-verification algorithms, developing formal-verification tools, and applying formal-verification technology to solve real-world verification challenges, I could say ...

Deciding when verification is done is becoming a much more difficult decision, prompting verification teams to increasingly rely on metrics rather than just the tests listed in the verification plan.

This article formalizes the concept of best possible verification quality — completeness — and describes a methodology, field-proven on many complex module and intellectual property (IP) designs, that ...