![[logo]](/img/veripool_small.png)
Issue #192
SV unrecognized covergroup
| Status: | Closed | Start date: | 11/24/2009 | |
|---|---|---|---|---|
| Priority: | Normal | Due date: | ||
| Assignee: | Wilson Snyder | % Done: | 0% |
|
| Category: | - | |||
| Target version: | - |
Description
233 integer countones_tag_busy;
234
235 always @* begin: sysv_cover_blk
236 countones_tag_busy = $countones(tag_busy);
237 end
238
239 //
240 // Covergroup
241 //
242 covergroup cover_tag_select @(posedge cclk);
243 count_tag_busy: coverpoint countones_tag_busy {
244 bins count[] = {[0:DEPTH]};
245 }
246 endgroup: cover_tag_select
247
248 cover_tag_select cover_ts = new();
%Error: some_file.v:248: syntax error, unexpected '=', expecting '('
History
Updated by Wilson Snyder over 2 years ago
- Subject changed from SV unrecognized syntax to SV unrecognized covergroup
- Status changed from New to Resolved
Fixed in git for 3.223ish.
The patch is simple, as it's an off-by-one bug:
diff --git a/Parser/VParseBison.y b/Parser/VParseBison.y
index 812f800..c59c0bd 100644
--- a/Parser/VParseBison.y
+++ b/Parser/VParseBison.y
@@ -3368,7 +3368,7 @@ covergroup_declaration: // ==IEEE: covergroup_declaration
;
covergroup_declarationFront: // IEEE: part of covergroup_declaration
- yCOVERGROUP idAny { PARSEP->symPushNew(VAstType::COVERGROUP,$1); }
+ yCOVERGROUP idAny { PARSEP->symPushNew(VAstType::COVERGROUP,$2); }
;
coverage_spec_or_optionListE: // IEEE: [{coverage_spec_or_option}]
Updated by Wilson Snyder over 2 years ago
- Status changed from Resolved to Closed
- Assignee set to Wilson Snyder
In 3.223
Also available in: Atom