User guide

24-120
SystemVerilog Testbench Constructs
The syntax for rs_production_list is:
rs_prod{rs_prod} | rand join [(expression)]
production_item production_item {production_item}
weight_specification
The syntax for weight_specification is:
integral_number | ps_identifier | (expression)
(see also “Weights for Randomization” on page 24-122)
rs_code_block
The syntax for rs_code_block is:
{{data_declaration}{statement_or_null}}
The following table provides the syntax for the non-terminals within
rs_production_list, weight_specification, and rs_code_block, and the
non-terminals therein.
non-terminal Syntax
rs_prod production_item |rs_code_block | rs_if_else |rs_repeat |
rs_case
rs_code_block {{data_declaration}}{statement_or_null}}
rs_if_else if(expression) product_item [else production_item]
see also “if-else Statements” on page 24-123
rs_repeat repeat(expression) production_item
see also “repeat Loops” on page 24-126
rs_case case(expression) rs_case_item {rs_case_item} endcase
see also “case Statements” on page 24-125
re_case_item expression{,expression} : production_item | default [:]
production_item;
see also “case Statements” on page 24-125
production_item production_identifier[(list_of_arguments)]