32 lines
2.4 KiB
Plaintext
32 lines
2.4 KiB
Plaintext
%Warning-WIDTHTRUNC: t/t_covergroup_unsup.v:76:5: Logical operator COVERPOINT 'a' expects 1 bit on the iff condition, but iff condition's VARREF 'b' generates 32 bits.
|
|
: ... note: In instance 't'
|
|
76 | coverpoint a iff (b);
|
|
| ^~~~~~~~~~
|
|
... For warning description see https://verilator.org/warn/WIDTHTRUNC?v=latest
|
|
... Use "/* verilator lint_off WIDTHTRUNC */" and lint_on around source to disable this message.
|
|
%Warning-WIDTHTRUNC: t/t_covergroup_unsup.v:79:9: Logical operator COVERPOINT 'id' expects 1 bit on the iff condition, but iff condition's VARREF 'b' generates 32 bits.
|
|
: ... note: In instance 't'
|
|
79 | id: coverpoint a iff (b);
|
|
| ^~~~~~~~~~
|
|
%Warning-WIDTHTRUNC: t/t_covergroup_unsup.v:82:13: Logical operator COVERPOINT 'id' expects 1 bit on the iff condition, but iff condition's VARREF 'b' generates 32 bits.
|
|
: ... note: In instance 't'
|
|
82 | int id: coverpoint a iff (b);
|
|
| ^~~~~~~~~~
|
|
%Warning-WIDTHTRUNC: t/t_covergroup_unsup.v:85:17: Logical operator COVERPOINT 'id' expects 1 bit on the iff condition, but iff condition's VARREF 'b' generates 32 bits.
|
|
: ... note: In instance 't'
|
|
85 | var int id: coverpoint a iff (b);
|
|
| ^~~~~~~~~~
|
|
%Warning-WIDTHTRUNC: t/t_covergroup_unsup.v:88:19: Logical operator COVERPOINT 'id' expects 1 bit on the iff condition, but iff condition's VARREF 'b' generates 32 bits.
|
|
: ... note: In instance 't'
|
|
88 | var [3:0] id: coverpoint a iff (b);
|
|
| ^~~~~~~~~~
|
|
%Warning-WIDTHTRUNC: t/t_covergroup_unsup.v:91:15: Logical operator COVERPOINT 'id' expects 1 bit on the iff condition, but iff condition's VARREF 'b' generates 32 bits.
|
|
: ... note: In instance 't'
|
|
91 | [3:0] id: coverpoint a iff (b);
|
|
| ^~~~~~~~~~
|
|
%Warning-WIDTHTRUNC: t/t_covergroup_unsup.v:94:16: Logical operator COVERPOINT 'id' expects 1 bit on the iff condition, but iff condition's VARREF 'b' generates 32 bits.
|
|
: ... note: In instance 't'
|
|
94 | signed id: coverpoint a iff (b);
|
|
| ^~~~~~~~~~
|
|
%Error: Exiting due to
|