In reply to DVJoe:
It is because of this constraint. Out of (2^8) combinations you are expecting b to be 10 when A is 1.
(a==1) → (b==int’(10));
A value = 1 , B value : 00001010
In reply to DVJoe:
It is because of this constraint. Out of (2^8) combinations you are expecting b to be 10 when A is 1.
(a==1) → (b==int’(10));
A value = 1 , B value : 00001010