Brian Bailey , Consultant, Brian Bailey Consulting

Coverage provides an objective metric that can be used to indicate verification progress and identify aspects of a design that have not been adequately verified. Many metrics are in use today, both for simulation and for formal, leaving engineers somewhat confused about the value that each provides and how they can be effectively combined. This tutorial will provide a practical and theoretical foundation to understanding how each type of metric can be used, along with techniques such as functional qualification, that can enhance the quality of the information they provide.