Issue #1362
How do I read cover-user information
0%
Description
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: 1) Do I need to call a special coverage-user function in my sim_main.cpp module? 2) Where do I read the generated coverage data? 3) Something else?
Thanks, Flemming
History
#1 Updated by Wilson Snyder about 1 year ago
- Status changed from New to AskedReporter
Perhaps you are missing the save of the coverage data? See the examples/tracing_c files it does coverage.
#2 Updated by Flemming Andersen about 1 year ago
Thank you so much for pointing me to this example - that solved the generation issue! I can now generate coverage both as inline SVA properties and properties bound through a bind file.
Running verilator_coverage I can also get the total statistic number, but no details.
Is there also a method/tool to create graphical visualization of the coverage points in the coverage.dat file?
#3 Updated by Wilson Snyder about 1 year ago
- Status changed from AskedReporter to NoFixNeeded
Perhaps you forgot to give the --annotate option? At present output is always ASCII. Patches for improving to add e.g. HTML output would be welcome.
Closing as think no problem here, but ask more if needed.
Also available in: Atom