User guide

xxxi
Controlling Constraints. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-102
Disabling Random Variables . . . . . . . . . . . . . . . . . . . . . . . . . 24-105
In-line Constraints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-108
In-line Constraint Checker . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-109
Random Number Generation. . . . . . . . . . . . . . . . . . . . . . . . . 24-111
Seeding for Randomization . . . . . . . . . . . . . . . . . . . . . . . . . . 24-115
randcase Statements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-116
Random Sequence Generation. . . . . . . . . . . . . . . . . . . . . . . . . . 24-117
RSG Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-118
Production Declaration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-119
Production Controls . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-122
Weights for Randomization . . . . . . . . . . . . . . . . . . . . . . . 24-122
if-else Statements. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-123
case Statements. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-125
repeat Loops . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-126
break Statement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-126
return Statement. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-127
Aspect Oriented Extensions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-128
Aspect-Oriented Extensions in SV. . . . . . . . . . . . . . . . . . . . . 24-130
Processing of AOE as a Precompilation Expansion . . . . . . . 24-132
Weaving advice into the target method . . . . . . . . . . . . . . 24-137
Pre-compilation Expansion details. . . . . . . . . . . . . . . . . . . . . 24-142
Precedence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-143
Array manipulation methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-165
Array ordering methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-165
reverse(). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-165