User guide

24-119
SystemVerilog Testbench Constructs
Note:Nesting of randsequence blocks is not supported
When the randsequence block is executed, random production
definitions are selected and streamed together to generate a random
stream. How these definitions are generated is determined by the
base elements included in the block.
Any RSG code block is comprised of production definitions. Native
Testbench also provides weights, production controls, and
production system functions to enhance production usage. Each of
these RSG components is discussed in detail in subsequent
sections.
Production Declaration
A language is defined in BNF by a set of production definitions. The
syntax to define a production is:
[function_datatype] production_identifier
[(tf_port_list)]:rs_rule{|rs_rule};
production_identifier
Is the reference name of the production definition.
tf_port_list
task/function port list.
rs_rule
The syntax for rs_rule is:
rs_production_list [:= weight_specification
[rs_code_block]]
rs_production_list