Standardized Functional Verification- P24 potx

... total 0,0 [1 2],0 3,0 6,1 7,1 8,1 4,1 5,1 4,0 5,0 220 Appendix – Functional Space of a Queue Fig. A.17a. LWM=3 and HWM=6 224 Appendix – Functional Space of a Queue Fig. A.19a. LWM=4 and HWM=5 ... Appendix – Functional Space of a Queue Fig. A.16a. LWM=3 and HWM=5 A.7 VTGs for 8-entry Queue with Programmable HWM & LWM 221 Fig. A.17b. LWM=3 and HWM=6, incondensable 222 Ap...

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

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

... throughout the functional space, adding departure arcs to perhaps every function point. Reset is one such culprit. 56 Chapter 3 – Exploring Functional Space Fig. 3.2. Condensed functional space ... verification plan (see chapter 4). 62 Chapter 3 – Exploring Functional Space 58 Chapter 3 – Exploring Functional Space Fig. 3.4. Condensed functional space of queue with hi...

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

... and the device design team. The degree of instrumentation needed will depend, of course, on the functionality of the target and, when the time comes to verify the hard prototype, how readily ... re- lated operating system or compiler or optimizer. By providing a means to disable this new functionality, downstream development work might be able to continue while the IC team debugs it.

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