diff --git a/docs/guide/exe_verilator_coverage.rst b/docs/guide/exe_verilator_coverage.rst index 80bc8e7f9..23bbd6b8f 100644 --- a/docs/guide/exe_verilator_coverage.rst +++ b/docs/guide/exe_verilator_coverage.rst @@ -79,18 +79,18 @@ verilator_coverage Arguments .. code-block:: - 100000 input logic a; // Begins with whitespace, because - // number of hits (100000) is above the min. - +100000 point: comment=a // Begins with +, because - // number of hits (100000) is above the min. - %000000 input logic b; // Begins with %, because - // number of hits (0) is below the min. - -000000 point: comment=b // Begins with -, because - // number of hits (0) is below the min. - ~000010 if (cyc!=0) begin // Begins with ~, because - // branches are below and above the min. - +000010 point: comment=if // The if branch is above the min. - -000000 point: comment=else // The else branch is below the min. + 100000 input logic a; // Begins with whitespace, because + // number of hits (100000) is above the min. + +100000 point: type=line comment=a // Begins with +, because + // number of hits (100000) is above the min. + %000000 input logic b; // Begins with %, because + // number of hits (0) is below the min. + -000000 point: type=line comment=b // Begins with -, because + // number of hits (0) is below the min. + ~000010 if (cyc!=0) begin // Begins with ~, because + // branches are below and above the min. + +000010 point: type=branch comment=if // The if branch is above the min. + -000000 point: type=branch comment=else // The else branch is below the min. .. option:: --annotate-all @@ -119,9 +119,9 @@ verilator_coverage Arguments .. code-block:: 100000 input logic a, b, c; - +100000 point: comment=a // These lines are only shown - +200000 point: comment=b // with option --annotate-points - +300000 point: comment=c // enabled. + +100000 point: type=line comment=a // These lines are only shown + +200000 point: type=line comment=b // with option --annotate-points + +300000 point: type=line comment=c // enabled. This option should be used together with :option:`--annotate`. diff --git a/docs/guide/simulating.rst b/docs/guide/simulating.rst index c62f58f42..fd92bb1ba 100644 --- a/docs/guide/simulating.rst +++ b/docs/guide/simulating.rst @@ -295,12 +295,12 @@ combination was hit. Note that individual lines are not mutually exclusive. .. code-block:: %000004 if ((~t1 && t2) || (~t3 && t4)) $write(""); - -000002 point: comment=(t1==0 && t2==1) => 1 hier=top.t - -000002 point: comment=(t1==1 && t3==1) => 0 hier=top.t - -000004 point: comment=(t1==1 && t4==0) => 0 hier=top.t - -000002 point: comment=(t2==0 && t3==1) => 0 hier=top.t - -000003 point: comment=(t2==0 && t4==0) => 0 hier=top.t - -000002 point: comment=(t3==0 && t4==1) => 1 hier=top.t + -000002 point: type=expr comment=(t1==0 && t2==1) => 1 hier=top.t + -000002 point: type=expr comment=(t1==1 && t3==1) => 0 hier=top.t + -000004 point: type=expr comment=(t1==1 && t4==0) => 0 hier=top.t + -000002 point: type=expr comment=(t2==0 && t3==1) => 0 hier=top.t + -000003 point: type=expr comment=(t2==0 && t4==0) => 0 hier=top.t + -000002 point: type=expr comment=(t3==0 && t4==1) => 1 hier=top.t .. _suppressing coverage: