Over the past decade, coverage-driven verification has emerged as a means to deal with increasing design complexity and ever more constrained schedules. Among the benefits of the new methodology — a dramatically expanded set of verification metrics and tools providing much improved visibility into the verification process. However, coverage-driven verification flows are still beset by challenges, includng how to efficiently achieve coverage closure. Matthew Ballance describes how inFact’s coverage-driven stimulus generator is helping to respond to these challenges with unique algorithms that help to simultaneously target multiple independent coverage goals.
Author: Matthew Ballance
Matthew is a functional verification Technical Marketing Engineer, specializing in inFact. He has worked at Mentor for over 10 years, working with Hardware/Software Co-Verification, Transaction-Level Modeling, and Functional Verification tools.