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