How do I read cover-user information
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?
#2 Updated by Flemming Andersen 10 months 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?
Also available in: Atom