From 2d0149b703ef33cdb497f7aa2d2e102c418b9854 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Wed, 19 Feb 2025 17:00:29 -0500 Subject: [PATCH] Commentary: Changes update --- Changes | 4 ++++ docs/guide/exe_verilator.rst | 2 +- docs/guide/simulating.rst | 9 +++++---- 3 files changed, 10 insertions(+), 5 deletions(-) diff --git a/Changes b/Changes index ec5bfc0d8..9a9833d2f 100644 --- a/Changes +++ b/Changes @@ -11,6 +11,10 @@ contributors that suggested a given feature are shown in []. Thanks! Verilator 5.033 devel ========================== +**Major:** + +* Add expression coverage (#5719). [Todd Strader] + **Minor:** * Add `COVERIGN` warning, as a more specific UNSUPPORTED error. diff --git a/docs/guide/exe_verilator.rst b/docs/guide/exe_verilator.rst index 7f031b4cc..155e93ce1 100644 --- a/docs/guide/exe_verilator.rst +++ b/docs/guide/exe_verilator.rst @@ -237,7 +237,7 @@ Summary: .. option:: --coverage Enables all forms of coverage, an alias for :vlopt:`--coverage-line` - :vlopt:`--coverage-toggle :vlopt:`--coverage-expr`` :vlopt:`--coverage-user`. + :vlopt:`--coverage-toggle` :vlopt:`--coverage-expr` :vlopt:`--coverage-user`. .. option:: --coverage-expr diff --git a/docs/guide/simulating.rst b/docs/guide/simulating.rst index bee16e38a..49ba5c720 100644 --- a/docs/guide/simulating.rst +++ b/docs/guide/simulating.rst @@ -273,11 +273,12 @@ signals that do not need toggle analysis, such as RAMs and register files. .. _Expression Coverage: Expression Coverage -------------- +------------------- With :vlopt:`--coverage` or :vlopt:`--coverage-expr`, Verilator will -automatically add coverage analysis at each expression, indicating with -a truth table how every Boolean truth-table possiblity in the expression occurred. +automatically add coverage analysis at each expression, indicating with a +truth table how every Boolean truth-table possibility in the expression +occurred. Multi-bit expressions are ignored, but sub-expressions with are entirely Boolean are analyzed. Expression coverage does not fully explore the truth @@ -285,7 +286,7 @@ table of an expression, rather is looks at each term's contribution. E.g. an AND operation will check coverage for TT, XF and FX. Some expressions may produce too many cover points. Verilator limits the -maximum number of cover poitns per expression to 32, but this may be +maximum number of cover points per expression to 32, but this may be controlled with :vlopt:`--coverage-expr-max`. Below is an example showing expression coverage produced from `verilator_coverage`