From 481adf8fe79f73b46859febece64434af90bdf22 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Mon, 6 Jan 2025 17:56:50 -0500 Subject: [PATCH] Commentary --- docs/guide/warnings.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/guide/warnings.rst b/docs/guide/warnings.rst index bd8fb5b40..6197f8420 100644 --- a/docs/guide/warnings.rst +++ b/docs/guide/warnings.rst @@ -44,7 +44,7 @@ Warnings may be disabled in multiple ways: .. code-block:: sv - lint_off -rule UNSIGNED -file "*/example.v" -line 1 + lint_off -rule UNSIGNED -file "*/example.v" -lines 1 Error And Warning Format @@ -2009,12 +2009,12 @@ List Of Warnings .. code-block:: sv - wire _unused_ok = &{1'b0, + wire _unused_ok = 1'b0 && &{1'b0, sig_not_used_a, sig_not_used_yet_b, // To be fixed 1'b0}; - The reduction AND and constant zeros mean the net will always be zero, + The AND with constant zero mean the net will always be zero, so won't use simulation runtime. The redundant leading and trailing zeros avoid syntax errors if there are no signals between them. The magic name "unused" (controlled by the :vlopt:`--unused-regexp` option)