chapter-16/16.2--assert-final-uvm.sv chapter-16/16.2--assert-uvm.sv chapter-16/16.2--assert0-uvm.sv chapter-16/16.2--assume-uvm-fail.sv chapter-16/16.2--assume-uvm.sv chapter-16/16.7--sequence-and-range-uvm.sv chapter-16/16.7--sequence-and-uvm.sv chapter-16/16.7--sequence-intersect-uvm-fail.sv chapter-16/16.7--sequence-intersect-uvm.sv chapter-16/16.7--sequence-or-uvm.sv chapter-16/16.7--sequence-throughout-uvm-fail.sv chapter-16/16.7--sequence-throughout-uvm.sv chapter-16/16.7--sequence-uvm-fail.sv chapter-16/16.7--sequence-uvm.sv chapter-16/16.9--sequence-changed-uvm.sv chapter-16/16.9--sequence-fell-uvm.sv chapter-16/16.9--sequence-past-uvm.sv chapter-16/16.9--sequence-rose-uvm.sv chapter-16/16.9--sequence-stable-uvm.sv chapter-16/16.10--property-local-var-uvm-fail.sv chapter-16/16.10--property-local-var-uvm.sv chapter-16/16.10--sequence-local-var-uvm.sv chapter-16/16.11--sequence-subroutine-uvm.sv chapter-16/16.12--property-interface-prec-uvm.sv chapter-16/16.12--property-interface-uvm-fail.sv chapter-16/16.12--property-interface-uvm.sv chapter-16/16.12--property-prec-uvm-fail.sv chapter-16/16.12--property-prec-uvm.sv chapter-16/16.12--property-uvm-fail.sv chapter-16/16.12--property-uvm.sv chapter-16/16.13--sequence-multiclock-uvm.sv chapter-16/16.14--assume-property-uvm-fail.sv chapter-16/16.14--assume-property-uvm.sv chapter-16/16.15--property-iff-uvm-fail.sv chapter-16/16.15--property-iff-uvm.sv chapter-16/16.17--expect-uvm-fail.sv chapter-16/16.17--expect-uvm.sv chapter-18/18.5--constraint-blocks_1.sv chapter-18/18.5.1--explicit-external-constraint_2.sv chapter-18/18.5.1--implicit-external-constraint_2.sv chapter-18/18.5.2--constraint-inheritance_1.sv chapter-18/18.5.2--pure-constraint_1.sv chapter-18/18.5.2--pure-constraint_2.sv chapter-18/18.5.3--set-membership_1.sv chapter-18/18.5.4--distribution_1.sv chapter-18/18.5.5--uniqueness-constraints_1.sv chapter-18/18.5.6--implication_1.sv chapter-18/18.5.7--if-else-constraints_4.sv chapter-18/18.5.8.1--foreach-iterative-constraints_1.sv chapter-18/18.5.8.2--array-reduction-iterative-constraints_1.sv chapter-18/18.5.9--global-constraints_1.sv chapter-18/18.5.11--static-constraint-blocks_1.sv chapter-18/18.5.12--functions-in-constraint_1.sv chapter-18/18.5.13--constraint-guards_1.sv chapter-18/18.5.14--soft-constraints_1.sv chapter-18/18.5.14.1--soft-constraint-priorities_1.sv chapter-18/18.5.14.1--soft-constraint-priorities_3.sv chapter-18/18.5.14.1--soft-constraint-priorities_4.sv chapter-18/18.5.14.2--discarding-soft-constraints_0.sv chapter-18/18.5.14.2--discarding-soft-constraints_1.sv chapter-18/18.5.14.2--discarding-soft-constraints_2.sv chapter-18/18.5.14.2--discarding-soft-constraints_3.sv chapter-18/18.5.14.2--discarding-soft-constraints_5.sv chapter-18/18.6.1--randomize-method_0.sv chapter-18/18.6.2--post-randomize_method_0.sv chapter-18/18.6.2--post-randomize_method_1.sv chapter-18/18.6.2--pre-randomize-method_0.sv chapter-18/18.6.2--pre-randomize-method_1.sv chapter-18/18.6.3--behavior-of-randomization-methods_0.sv chapter-18/18.6.3--behavior-of-randomization-methods_1.sv chapter-18/18.6.3--behavior-of-randomization-methods_2.sv chapter-18/18.6.3--behavior-of-randomization-methods_3.sv chapter-18/18.6.3--behavior-of-randomization-methods_4.sv chapter-18/18.6.3--behavior-of-randomization-methods_5.sv chapter-18/18.7--in-line-constraints--randomize_0.sv chapter-18/18.7--in-line-constraints--randomize_1.sv chapter-18/18.7--in-line-constraints--randomize_2.sv chapter-18/18.7--in-line-constraints--randomize_3.sv chapter-18/18.7--in-line-constraints--randomize_4.sv chapter-18/18.7--in-line-constraints--randomize_5.sv chapter-18/18.7--in-line-constraints--randomize_6.sv chapter-18/18.7.1--local-scope-resolution_0.sv chapter-18/18.7.1--local-scope-resolution_1.sv chapter-18/18.8--disabling-random-variables-with-rand_mode_0.sv chapter-18/18.8--disabling-random-variables-with-rand_mode_1.sv chapter-18/18.8--disabling-random-variables-with-rand_mode_2.sv chapter-18/18.8--disabling-random-variables-with-rand_mode_3.sv chapter-18/18.8--disabling-random-variables-with-rand_mode_4.sv chapter-18/18.8--disabling-random-variables-with-rand_mode_5.sv chapter-18/18.9--controlling-constraints-with-constraint_mode_0.sv chapter-18/18.9--controlling-constraints-with-constraint_mode_1.sv chapter-18/18.9--controlling-constraints-with-constraint_mode_2.sv chapter-18/18.10--dynamic-constraint-modification_0.sv chapter-18/18.11--in-line-random-variable-control_0.sv chapter-18/18.11--in-line-random-variable-control_1.sv chapter-18/18.11.1--in-line-constraint-checker_0.sv chapter-18/18.11.1--in-line-constraint-checker_1.sv chapter-18/18.12--randomization-of-scope-variables_0.sv chapter-18/18.12--randomization-of-scope-variables_1.sv chapter-18/18.12.1--adding-constraints-to-scope-variables_0.sv chapter-18/18.12.1--adding-constraints-to-scope-variables_1.sv chapter-18/18.13.1--urandom_0.sv chapter-18/18.13.1--urandom_1.sv chapter-18/18.13.1--urandom_2.sv chapter-18/18.13.1--urandom_3.sv chapter-18/18.13.2--urandom_range_0.sv chapter-18/18.13.2--urandom_range_1.sv chapter-18/18.13.2--urandom_range_2.sv chapter-18/18.13.2--urandom_range_3.sv chapter-18/18.13.3--srandom_0.sv chapter-18/18.13.4--get_randstate_0.sv chapter-18/18.13.5--set_randstate_0.sv chapter-18/18.14--random-stability_0.sv chapter-18/18.14--random-stability_1.sv chapter-18/18.14--random-stability_2.sv chapter-18/18.14--random-stability_3.sv chapter-18/18.14.2--thread-stability_0.sv chapter-18/18.14.2--thread-stability_1.sv chapter-18/18.14.3--object-stability_0.sv chapter-18/18.14.3--object-stability_1.sv chapter-18/18.15--manually-seeding-randomize_0.sv chapter-18/18.15--manually-seeding-randomize_1.sv chapter-18/18.16--random-weighted-case-randcase_0.sv chapter-18/18.16--random-weighted-case-randcase_2.sv chapter-18/18.17--random-sequence-generation-randsequence_0.sv chapter-18/18.17--random-sequence-generation-randsequence_2.sv chapter-18/18.17.1--random-production-weights_0.sv chapter-18/18.17.2--if-else-production-statements_0_fail.sv chapter-18/18.17.2--if-else-production-statements_0.sv chapter-18/18.17.2--if-else-production-statements_2_fail.sv chapter-18/18.17.2--if-else-production-statements_2.sv chapter-18/18.17.3--case-production-statements_0_fail.sv chapter-18/18.17.3--case-production-statements_0.sv chapter-18/18.17.4--repeat-production-statements_0.sv chapter-18/18.17.5--interleaving-productions-rand-join_0.sv chapter-18/18.17.5--interleaving-productions-rand-join_2.sv chapter-18/18.17.6--aborting-productions-break-and-return_0.sv chapter-18/18.17.6--aborting-productions-break-and-return_2_fail.sv chapter-18/18.17.6--aborting-productions-break-and-return_2.sv chapter-18/18.17.7--value-passing-between-productions_0.sv