Standardized Functional Verification- P28 ppsx

... & LWM 265 Fig. A.38a. LWM=6 and HWM=8 262 Appendix – Functional Space of a Queue Fig. A.36a. LWM=4 and HWM=8 258 Appendix – Functional Space of a Queue Fig. A.37b. LWM=5 and HWM=8, ... & LWM 261 Fig. A.37a. LWM=5 and HWM=8 260 Appendix – Functional Space of a Queue Fig. A.35a. LWM=3 and HWM=8 256 Appendix – Functional Space of a Queue Fig. A.35b. LWM=3 an...

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

... complete functional space. Functional clo- sure means traversing every arc in the functional space and, thereby, visit- ing every point. Now that we have a technique to analyze a given functional ... corner cases. Ex- haustive functional coverage of a condensed space is much more feasible than coverage of the entire functional space. Nevertheless, even the con- densed functiona...

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

... are only the beginning of the evolution of widely-adopted standards with re- gard to measuring functional coverage for an IC or other digital system. The measures described in the remainder ... currently. Only one of these four quadrants (quadrant I) can be characterized by specific measures of functional coverage. Code coverage, for example, is only meaningful for a single instance...

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

... & LWM 253 Fig. A.32a. LWM=0 and HWM=8 250 Appendix – Functional Space of a Queue Fig. A.33a. LWM=1 and HWM=8 252 Appendix – Functional Space of a Queue Fig. A.32b. LWM=0 and HWM=8, ... 8-entry Queue with Programmable HWM & LWM 251 Fig. A.30b. LWM=0 and HWM=6 246 Appendix – Functional Space of a Queue Fig. A.31b. LWM=0 and HWM=7, with condensation A.7 VTGs for 8...

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

... 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

... determine the size of the functional space in terms of its points and arcs and, therefore, determine what is required to achieve functional closure, that is, exhaus- tive functional coverage. This ... functional closure. Value transition graphs provide a technique for visual- izing this space in a useful way. 3.1 Functional Closure Much recent discussion in the industry has focu...

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

... graphs to analyze the functional space. This will give us insights into how a functional space is structured and how it might be condensed to facilitate more efficient functional verification. ... condensed functional space of this 8-entry queue. It has only 3 function points and only 7 arcs connecting them. For this particular target, conden- sation greatly simplifies the funct...

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