Constraint to get a specific combination of values

Hi ,

I have to write constraint to find a specific combination of two variables a,b.

lets say values a[1:0] and b[1:0] ,the possible combinations are 4*4 = 16 values but i want only this values (1,2) (0,3) (1,3) (2,2) , whenever we randomise.

Thanks

In reply to syed taahir ahmed:


std::randomize (a, b) with {{a, b} inside {{2'h1, 2'h2}, {2'h0, 2'h3}, {2'h1, 2'h3}, {2'h2, 2'h2}};};