In reply to ak_verifsj:
This is explained in the last example of the the paper.
rand bit valid;
randc int scale;
constraint c {
scale inside {[0:24]};
if (scale < 15) -> valid == 1; else valid == 0; }
In reply to ak_verifsj:
This is explained in the last example of the the paper.
rand bit valid;
randc int scale;
constraint c {
scale inside {[0:24]};
if (scale < 15) -> valid == 1; else valid == 0; }