[...]... nuances of similar terms Chapter 2, Functional Verification, ” defines functional verification, distinguishes it from test and elaborates the functional verification process Chapter 3, “Measuring Verification Coverage, ” introduces the basics of coverage measurement and analysis: coverage metrics and coverage spaces 1 Logic design bugs undetected in pre-silicon verification Writing Testbenches, Second... coverage A measure of verification completeness coverage analysis The process of reviewing and analyzing coverage measurements Coverage analysis is discussed in section 7.5 coverage closure Reaching a defined coverage goal coverage database A repository of recorded coverage observations For code coverage counts of observed metrics such as statements and expressions may be recorded For functional coverage ... advanced design verification course The practicing design verification and design engineer will find this book useful for becoming familiar with coverage measurement and analysis xiv Functional Verification Coverage Measurement and Analysis It will also serve as a reference for those developing and deploying coverage models Prerequisites The reader is expected to have a basic understanding of digital... recorded For functional coverage counts of observed coverage points are recorded 6 Functional Verification Coverage Measurement and Analysis coverage density The number of coverage metrics observed per simulation cycle See also functional coverage density‚ code coverage density and assertion coverage density coverage goal That fraction of the aggregate coverage which must be achieved for a specified design... the verification job done Andrew Piziali has created a wonderfully comprehensive textbook on the language, principles, and methods pertaining to the important area of Functional Verification Coverage Measurement and Analysis This book should be a key reference in every engineer’s library Harry Foster Chief Methodologist Jasper Design Automation, Inc x Functional Verification Coverage Measurement and Analysis. .. of Coverage 9 functional coverage Coverage whose metrics are derived from a functional or design specification Functional coverage is the subject of chapter 4 functional coverage density The number of functional coverage points traversed per simulation cycle Coverage density is discussed in section 7.4.4‚ “Maximizing Verification Efficiency.” grade For a single coverage model‚ the fraction of the coverage. .. fractional coverage times weight‚ divided by the sum of their weights where is a particular coverage measurement is the weight of the measurement and N is the number of coverage models Chapter 1, “The Language of Coverage 13 This page intentionally left blank 2 Functional Verification In this chapter‚ I define functional verification distinguish verification from testing and outline the functional verification. .. for minimizing verification risk and maximizing the rate at which design bugs are exposed In this chapter, I explain stimulus generation, response checking and coverage measurement using an autonomous verification environment The interpretation and analysis of coverage measurements and strategies for reaching functional closure — i.e 100% coverage — are explained Chapter 8, “Improving Coverage Fidelity... attribute or semantic implicit coverage Coverage whose attributes are implied by characteristics of the measurement interface rather than explicitly chosen by the engineer input coverage Coverage measured at the primary inputs of a device internal coverage Coverage measured on an internal interface of a device 10 Functional Verification Coverage Measurement and Analysis line coverage The fraction of RTL... “Design verification and functional verification are used interchangeably throughout this book 2 Chapter 4, Functional Coverage, ” delves into coverage derived from specifications and the steps required to model the design intent derived from the specifications Two specific kinds of functional coverage are also investigated: temporal coverage and finite state machine (FSM) coverage Chapter 5, “Code Coverage, ” . y0 w0 h1" alt="" FUNCTIONAL VERIFICATION COVERAGE MEASUREMENT AND ANALYSIS This page intentionally left blank FUNCTIONAL VERIFICATION COVERAGE MEASUREMENT AND ANALYSIS by Andrew Piziali Verisity. Module Coverage Code Coverage Metrics Line Coverage Statement Coverage Branch Coverage Condition Coverage Event Coverage Toggle Coverage Finite State Machine Coverage Controlled and Observed Coverage Use. checking and coverage measurement using an autonomous verification environment. The interpretation and analy- sis of coverage measurements and strategies for reaching functional closure — i.e. 100% coverage