github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-01-01 04:07:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

Commentary.

Browse Source
This commit is contained in:
Wilson Snyder 2014-03-14 20:13:41 -04:00
parent b4eaaccc88
commit d146dbc9d7
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
bin/verilator
View File

@ -563,14 +563,13 @@ signals are not covered. See also --trace-underscore.
=item --coverage-user
Enables user inserted functional coverage. Currently, all functional
coverage points are specified using PSL which must be separately enabled
with --psl.
coverage points are specified using SVA which must be separately enabled
with --assert.
For example, the following PSL statement will add a coverage point, with
For example, the following statement will add a coverage point, with
the comment "DefaultClock":
// psl default clock = posedge clk;
// psl cover {cyc==9} report "DefaultClock,expect=1";
DefaultClock: cover property (@(posedge clk) cyc==3);
=item -DI<var>=I<value>