Standardized Functional Verification- P1 docx
Standardized Functional Verification- P1 docx
... 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.
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...
Standardized Functional Verification- P13 docx
... 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...
Standardized Functional Verification- P15 docx
... 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”...
Standardized Functional Verification- P21 docx
... 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...
Standardized Functional Verification- P25 docx
... 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...
Standardized Functional Verification- P29 docx
...
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...
Standardized Functional Verification- P3 pptx
...
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...
Standardized Functional Verification- P4 pps
... 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...
Standardized Functional Verification- P5 pps
... 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...