Hi,
i'm struggling with a tricky randomization issue.
With this example code
class rand_C
randc int rand_a;
rand int rand_b;
constraint a_c {rand_a inside {0,1,2,3,4,5,6,7,8,9,10};}
constraint b_c {rand_b inside {4, 8, 10};}
constraint a_b {rand_a < rand_b ; solve rand_b before rand_a]}
endclass : rand_C
This a wrong piece of code, I know, because randc variables are always solved before any other (LRM 18.5.10); but i was wondering if there's a way to avoid this LRM limitation.