In reply to dave_59:
Hi Dave,
Thanks for the reply . Also I have one more question ,
Difference between solve before and Variable ordering implied by Function arguments .
LRM says :: " In SystemVerilog, the behavior for variable ordering
implied by function arguments differs from the behavior for ordering specified using the
“solve…before…” constraint; function argument variable ordering subdivides the solution space thereby changing it. "
[Q] Is the subdivision in solution space due to the logic inside the Function ?
Simple solve before construct would simply pick a value for a rand variable first , thus changing only the probability of occurrence but not the solution space .
[Q] Is my understanding correct ?