From d146dbc9d769e5f2fe82aa5c3f359ea051f49bfb Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Fri, 14 Mar 2014 20:13:41 -0400 Subject: [PATCH] Commentary. --- bin/verilator | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/bin/verilator b/bin/verilator index 381b3790f..6596822e7 100755 --- a/bin/verilator +++ b/bin/verilator @@ -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=I