All Questions
Tagged with verification random
3
questions
0
votes
1
answer
251
views
Generating unique values for multiple cyclic random variables
In the following code, I have 2 cyclic random variables in a class. One (an enumerated type) takes 3 possible values, and the other takes 288 possible values (due to a constraint).
So, I expect to get ...
2
votes
2
answers
88
views
Transaction randomization succeeds, yet values do not meet constraints
In the following code, I attempt to randomize the transaction which contains a dynamic array 'PhyRB', with the constraint that each element in the array is less than 'ResBlks' value. Please note that ...
1
vote
1
answer
504
views
Failed to randomize dynamic array using foreach in constraint
In the following code, I force a random variable 'ResBlks' with a value (setting its rand_mode to 0), then attempt to randomize the transaction:
...