Project

General

Profile

[logo] 
 
Home
News
Activity
About/Contact
Major Tools
  Dinotrace
  Verilator
  Verilog-mode
  Verilog-Perl
Other Tools
  BugVise
  CovVise
  Force-Gate-Sim
  Gspice
  IPC::Locker
  Rsvn
  SVN::S4
  Voneline
  WFH
General Info
  Papers

Issue #1362

How do I read cover-user information

Added by Flemming Andersen 10 months ago. Updated 10 months ago.

Status:
NoFixNeeded
Priority:
Normal
Category:
Usage
% Done:

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 10 months 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 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?

#3 Updated by Wilson Snyder 10 months 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