Addresses a means of quantitatively assessing functional verification progress. This book describes techniques that help design and verification engineers learn how to build a toolset which allows them to know how close they are to functional closure.