Standardized Functional Verification- P29: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. | Index Activation of architecture for verification software 95 104-107 examples 22-24 models 97 standard variables 23 of system 51 179 variables 21-24 35 in functional space 44 59-60 processor 22-24 Active target 24 Actual time variables 29-30 Aesthetic evaluations 36 Analysis standard results for 138 Arc convergence 124 Architecture for verification software 95-110 activation 104-107 activation models 97 context models 97 coverage models 98 CRV process 102-104 deterministic generator 97-98 expected results checkers 98 flow for soft prototype 99-100 functionality 98-99 gate-level simulation 109-110 halting individual tests 108 ingredients 97-98 initialization 104-107 monitors 98 production test vectors 110 protocol checkers 98 random value assignment 101 sanity checking and other tests 108-109 sockets for instances of verification target 97 static vs. dynamic test generation 108 test generator 97 transactors 98 Arc transversability in state machines 143 145 Assertions 87-88 Associated synchronization logic 21 Asynchronous digital systems 10 Automated test program generation ATPG 110 Autonomous responses 31 Basis variables orthogonal system of 38 Bugs 2 4-6 13 33-34 38 count as function of complexity 135-136 counts and severity 115 discovery rate 115-117 distribution in target 71 driven testing 77 fixing 77-78 locality 115 of omission 74 tracking 75 using Q to estimate risk of 169-174 workarounds 91 114 Built-in self-test unit BIST in processor 22 Cadence Encounter Conformal CDC capability 82 Clock domain 10 Clock-domain crossings CDCs 89 149-150 268 Index verification plan 81-83 Clocking variables 21 38 44 Code coverage 24 140-142 144 standard specific measures 148 Collision-detect multiple-access algorithm 37 Commercial IP evaluation of 174-176 Complexity bug count as function of 135-136 174 cycles counts with 133-134 estimate for 129 gate count and 128 size of functional space 136 standard specific measures 148 of targets 121 126-129 Compliance test 36 Composition
