Hello I have a problem with constraint sum of vars;
Working simulation example at edaplayground.
class Base;
// Properties
rand bit [15:0] afh;
rand bit [15:0] tv_len;
rand bit [9:0] tv_bp;
rand bit [9:0] tv_sync;
constraint global_constraints {
afh > 3;
tv_len > 6;
tv_bp > 0;
tv_sync > 0;
}
constraint safety_dmt_spec_c {
tv_len > afh + tv_bp + tv_sync;
tv_len < 1200;
}
constraint order {
solve tv_len before afh, tv_bp, tv_sync ;
}
endclass
Did you know why it’s not work?
Thanks!