Randomization result with and without (solve x before y)

SystemVerilog
,
6

In reply to dave_59:

Hello Dave ,

For the following Snippet :



rand bit x;
rand bit [1:0] y;

constraint CONS { ( x == 0 ) -> ( y == 0 ) ; }

I have the following Solution Space


 x    y     Probability

  0   0      1/5
  0   1      0 
  0   2      0
  0   3      0
  1   0      1/5
  1   1      1/5 
  1   2      1/5
  1   3      1/5

What would be the solution space if :

( A ) I have solve x before y ;
( B ) I have solve y before x ;

Having both would be an error

Thanks ,
Himanshu Valecha