verilog-coverage

verilog-coverage is a variable defined in `verilog-mode.el'.
Its value is

"echo 'No verilog-coverage set, see \"M-x describe-variable verilog-coverage\"'"

Documentation:
Program and arguments to use to annotate for coverage Verilog source.
Depending on the `verilog-set-compile-command', this may be invoked when
you type M-x compile. When the compile completes, C-x ` will take
you to the next lint error.

You can customize this variable.