Inheritance diagram for class svt_mem_transaction_scenario_election:
Public Attributes | |
| int unsigned | last_selected [$] |
| int unsigned | n_scenarios |
| int unsigned | next_in_set |
| int | scenario_id |
| svt_mem_transaction_scenario | scenario_set [$] |
| rand int | select |
| int | stream_id |
Constraints | |
| constraint | round_robin ( ) |
| constraint | svt_mem_transaction_scenario_election_valid ( ) |
|
|
|
|
|
|
|
|
|
constraint round_robin {
select == next_in_set; } |
|
|
constraint svt_mem_transaction_scenario_election_valid {
select >= 0; select < n_scenarios; } |