How do I read cover-user information #1362
Labels
area: usability
Issue involves general usability
resolution: no fix needed
Closed; no fix required (not a bug)
Author Name: Flemming Andersen
Original Redmine Issue: 1362 from https://www.veripool.org
Original Assignee: Flemming Andersen
As part of measuring coverage and validation quality, I have now successfully added SVA cover points and an SVA bind file to the compilation of the Verilog design that I am currently working with.
I believe that I have also enabled the coverage by adding --assert and --coverage-user to the flags when I call verilator.
However, when I run the coverage enhanced design with test cases that should activate the cover points, I still do not see any generated coverage output.
Can somebody please tell me what I am missing:
Thanks,
Flemming
The text was updated successfully, but these errors were encountered: