TAILIEUCHUNG - Standardized Functional Verification- P8

Standardized Functional Verification- P8:Every manager who brings a design to tape-out or who purchases IP must eventually face these questions. The ability to answer these questions based on quantitative analysis is both vital and yet elusive. In spite of the enormous technical advances made in IC development and verification software, the answers to these questions are still based largely on guesswork and hand waving. | Analyzing an 8-entry Queue 55 Three function points with DRAIN_PRIORITY 0 are condensable and three function points with DRAIN_PRIORITY 1 are condensable. Condensation removes 4 hold arcs 4 add arcs and 4 remove arcs. Fig. illustrates the condensed functional space of the queue after this addition of the high-water mark and the indirect condition that establishes drain priority. value decremented when item removed from queue value held constant when nothing added or removed 25 arcs total function points condensable function points 9 hold arcs 8 add arcs 8 remove arcs value incremented when item added to queue Fig. . Functional space of an 8-entry queue 9 function points 56 Chapter 3 - Exploring Functional Space Fig. . Condensed functional space of an 8-entry queue Analyzing an 8-entry Queue 57 indirect condition shifts operation back to normal 16 function points 14 hold arcs 13 add arcs 13 remove arcs 5 shift arcs 46 arcs total Fig. . Reaching HWM at 6 sets the indirect condition for drain priority We can also add a low-water mark at 2 for the purposes of our example such that when the number of items in the queue reaches this value the priority reverts back to normal at the next clock cycle. This is .

11    6    0
6    7    0
11    4    0
22    6    0