system verilog - Unbounded (infinite) repetitions in transitions for covergroup bins -
how can define coverage bin transition might have many repetitions in it? i'm trying this:
bins st = (2=> 3[* 1:$] => 2); of course, doesn't work. simulators give error messages when compiling line.
edit: simulators complain $ symbol, don't recognize "unbounded maximum". when writing sequences, legal use consecutive repetition operator [* 1:$]. hope next version of systemverilog makes legal covergroups too.
as crude workaround, substituted $ large number works fine case.
bins st = (2=> 3[* 1:1000] => 2);
systemverilog transition bins not designed handle simple transitions. more complex should modeled using cover directive, or combination of sequence.triggered() method , covergroup.
Comments
Post a Comment