when we don’t use any random variables at this time. if we want to write a constraint. for some pattern like 0 → 1 → 2 → 0.
if 0 comes in the 1st randomization then in next randomization 1 will come and next 2 and next 0 like this the pattern is.
i write this constraint.
std::randomize(a) with {(a==0) -> (a==1) -> (a==2) -> (a==0) ;};
please check the above one whether it is correct or not and explain the above constraint and share your knowledge
Thanks in Advance