Standardized Functional Verification- P12 docx

... defined by Lachish. These coverage models check coverage of specific functional trajectories through subgraphs of the functional space corresponding to the scenarios of interest. Collectively, ... variables on which the behav- ior is dependent, thereby causing tests to be generated that test functional- ity unaffected by the known bugs. If this has been done, then before “closing...

Ngày tải lên: 03/07/2014, 08:20

... the fervent quest for functional closure taking place in the industry and it becomes clear that a breakthrough in functional verification is greatly needed. Standardized functional verification ... thrive.

Ngày tải lên: 03/07/2014, 08:20

... task). One method that has proven useful for exploring the functional space in the proximity of some faulty behavior is sweep testing or functional shmoo testing. By varying values of one variable ... this is not necessarily easy but may be needed for critical functionality. We know that we can create VTGs for any subgraph in the functional space. This may be a useful technique in...

Ngày tải lên: 03/07/2014, 08:20

... the VTG is defined as this count of arcs. More specifically, the count of arcs in the condensed functional space is likely to correlate strongly with Z C as computed from the control logic. ... code coverage is a normalized quantity (expressed as a percent- age of the lines of code, etc.), functional coverage can be normalized, too. 5.5 Scaling Regression using Convergence How “big”...

Ngày tải lên: 03/07/2014, 08:20

... 194 Appendix – Functional Space of a Queue Fig. A.4a. LWM=1 and HWM=2 186 Appendix – Functional Space of a Queue A.2 Adding an Indirect Condition ... illustrates the con- densed functional space of the queue after this addition of the high-water mark and the indirect condition that establishes drain priority. 190 Appendix – Functional Space of a ... incompatible values are writt...

Ngày tải lên: 03/07/2014, 08:20

... A.22b. LWM=5 and HWM=6, with condensation 232 Appendix – Functional Space of a Queue Fig. A.23a. LWM=5 and HWM=7 226 Appendix – Functional Space of a Queue Fig. A.20a. LWM=4 and HWM=6 ... Programmable HWM & LWM 227 Fig. A.20b. LWM=4 and HWM=6, with condensation 228 Appendix – Functional Space of a Queue Fig. A.21a. LWM=4 and HWM=7 A.7 VTGs for 8-entry Queue with Progr...

Ngày tải lên: 03/07/2014, 08:20

... analysis condensed functional space, 54–56, 58, 185, 186–188 explicit representation of reset for, 59–60 functional closure, 68–69 of functional space, 53–59, 183 uncondensed functional space, ... 8-entry queue, 183–185 condensation in functional space, 191–192 functional space of, 183–193 programmable high-and low-water mark, 190 size of functional space for, 190–1...

Ngày tải lên: 03/07/2014, 08:20

... will function correctly. 1.7 Standardized Functional Verification Often the target of functional verification is a single integrated circuit device. However, the standardized approach to verification ... silicon device as well. Hence, this book. Fig. 1.1. Standardized Functional Verification 1.8 Summary The use of the CRV technique for functional verification has prov...

Ngày tải lên: 03/07/2014, 08:20

... industry- standard protocols provide for optional functionality that can be included in or excluded from an IC. The determination of whether a variable associ- ated with such functionality is internal or external ... Activation Consider the processor core of the previous examples (see Fig. 2.4 below). Let’s expand its functional specifications to incorporate power-saving cir- cuitry, var...

Ngày tải lên: 03/07/2014, 08:20

... destination register is used by an immediately- following (in time) ALU instruction will exercise functionality associated with ensuring that the ALU instruction uses the newly loaded value rather ... Imposition Many targets are designed to tolerate errors of various sorts, and exercising this functionality requires the imposition of errors onto the stimuli 4 . These classes of error vary...

Ngày tải lên: 03/07/2014, 08:20