luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Commentary: Changes update

This commit is contained in:
Wilson Snyder 2025-02-19 17:00:29 -05:00
parent 34ced254c0
commit 2d0149b703
3 changed files with 10 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Changes
View File

@ -11,6 +11,10 @@ contributors that suggested a given feature are shown in []. Thanks!
Verilator 5.033 devel Verilator 5.033 devel
========================== ==========================
**Major:**
* Add expression coverage (#5719). [Todd Strader]
**Minor:** **Minor:**
* Add `COVERIGN` warning, as a more specific UNSUPPORTED error. * Add `COVERIGN` warning, as a more specific UNSUPPORTED error.

2
docs/guide/exe_verilator.rst
View File

@ -237,7 +237,7 @@ Summary:
.. option:: --coverage .. option:: --coverage
Enables all forms of coverage, an alias for :vlopt:`--coverage-line` 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 .. option:: --coverage-expr

9
docs/guide/simulating.rst
View File

@ -273,11 +273,12 @@ signals that do not need toggle analysis, such as RAMs and register files.
.. _Expression Coverage: .. _Expression Coverage:
Expression Coverage Expression Coverage
------------- -------------------
With :vlopt:`--coverage` or :vlopt:`--coverage-expr`, Verilator will With :vlopt:`--coverage` or :vlopt:`--coverage-expr`, Verilator will
automatically add coverage analysis at each expression, indicating with automatically add coverage analysis at each expression, indicating with a
a truth table how every Boolean truth-table possiblity in the expression occurred. truth table how every Boolean truth-table possibility in the expression
occurred.
Multi-bit expressions are ignored, but sub-expressions with are entirely Multi-bit expressions are ignored, but sub-expressions with are entirely
Boolean are analyzed. Expression coverage does not fully explore the truth 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. an AND operation will check coverage for TT, XF and FX.
Some expressions may produce too many cover points. Verilator limits the 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`. controlled with :vlopt:`--coverage-expr-max`.
Below is an example showing expression coverage produced from `verilator_coverage` Below is an example showing expression coverage produced from `verilator_coverage`