Coverage - Verification Horizons

Welcome to 2025. What happened?! “Coverage” in August in Yosemite backpacking has a different meaning. In August? Snow? Lots of…

What is a witness? is it the same as a counterexample? A witness is a sequence of inputs that demonstrates…

With eight papers in two separate sessions focused exclusively on formal verification, one could assert (pun intended) that this year’s…

Coverage is as Coverage does Writing coverage is an art. At least it is a skill which takes imagination, practice…

On the short list of positive things to come out of the past year are the formal verification-focused conference papers…

About every two years, Mentor, A Siemens Business, commissions Wilson Research Group to conduct a broad, vendor-independent study of design…

This year the Verification Academy is celebrating two big events at DAC 2018. First, this is the Verification Academy’s tenth…

[Preface: at the upcoming DVCon 2018 in San Jose, poster 4.12 addresses some of the issues raised below, as well…

Impact of Design Size on First Silicon Success This blog is a continuation of a series of blogs related to…