From 66b3790444cf5102055bd1eb413280ef6c5502c6 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Tue, 16 Dec 2025 08:14:37 -0500 Subject: [PATCH] Commentary: Changes update --- Changes | 7 +++++++ docs/guide/extensions.rst | 10 +++++----- docs/guide/verilating.rst | 14 +++++++------- docs/spelling.txt | 1 + 4 files changed, 20 insertions(+), 12 deletions(-) diff --git a/Changes b/Changes index f27cc338e..ba0641fee 100644 --- a/Changes +++ b/Changes @@ -23,8 +23,11 @@ Verilator 5.043 devel * Add `-param`/`-port` options to `public_flat*` control directives (#6685). [Geza Lore, Fractile Ltd.] * Add `--top` specifying `config` name (#6710). [Dan Ruelas-Petrisko] * Add `sc_biguint` pragma (#6712). [Jakub Wasilewski, Antmicro Ltd.] +* Add 'make venv' target (#6775). [Geza Lore] * Add SUPERNFIRST error on super.new on non-first statement (#6784). [Artur Bieniek] +* Add fargs for reusability of --dump-inputs output (#6812). [Geza Lore] * Support `std::randomize(){...}` (#4706) (#6573). [Yilou Wang] +* Support force assignments to unpacked array elements (partial #4735) (#6787). [Ryszard Rozak, Antmicro Ltd.] * Support `config` instance clauses (#5891 partial) (#6745). [Dan Ruelas-Petrisko] * Support unpacked struct in localparam (#6053 partial) (#6708). [Jonathan Drolet] * Support randsequence (#6131). @@ -71,6 +74,7 @@ Verilator 5.043 devel * Fix non-deterministic output when splitting Syms file. [Geza Lore, Fractile Ltd.] * Fix crash on DFG driver lookup (#6649). [Geza Lore] * Fix ccache-report with PCH files. [Geza Lore, Fractile Ltd.] +* Fix parameterized class function (#6659) (#6802). [em2machine] * Fix local interface parameter hierarchical access (#6661) (#6666). [Paul Swirhun] * Fix splitting of Syms constructor/destructor bodies (#6662). [Geza Lore, Fractile Ltd.] * Fix long C++ compilation due to VerilatedScope constructors (#6664). [Geza Lore, Fractile Ltd.] @@ -88,11 +92,13 @@ Verilator 5.043 devel * Fix fork scheduling semantics (#6730). [Artur Bieniek, Antmicro Ltd.] * Fix internal fault when cross-class calling with DPI (#6735) (#6742). [Matthew Ballance] * Fix write variable placement for global constraints (#6740) (#6750) (#6797). [Yilou Wang] +* Fix resolution of specialized typedefs (#6754) (#6808). [em2machine] * Fix UNSUPPORTED on force / release with complex selects (#6755). [Ryszard Rozak, Antmicro Ltd.] * Fix select assignment expansion (#6757). [Geza Lore] * Fix `--lib-create` with multi-bit clocks (#6759). [Geza Lore] * Fix DFG reusing volatile variables. [Geza Lore] * Fix DFG assertion on out-of-bounds selects. [Geza Lore] +* Fix process reference giving no return statement error (#6767) (#6823). [Krzysztof Bieganski, Antmicro Ltd.] * Fix class param static not found again error (#6768). * Fix crash when super.new() called without a base class (#6772). [Matthew Ballance] * Fix class-in-class extends with parameters (#6773). @@ -102,6 +108,7 @@ Verilator 5.043 devel * Fix `disable iff` in simple properties (#6783). [Ryszard Rozak, Antmicro Ltd.] * Fix input sampling of clocking block signals (#6788). [Pawel Kojma, Antmicro Ltd.] * Fix O(n*2) analysis in const-bit-op-tree (#6791). [Geza Lore] +* Fix resized lvalues with warning suppressed (#6497) (#6816). [Alex Solomatnikov] Verilator 5.042 2025-11-02 diff --git a/docs/guide/extensions.rst b/docs/guide/extensions.rst index 9a9da3be4..79d4d50fa 100644 --- a/docs/guide/extensions.rst +++ b/docs/guide/extensions.rst @@ -287,12 +287,12 @@ or "`ifdef`"'s may break other tools. .. option:: /*verilator&32;fargs */ - For Verilator developers only. When a source file containing :option:`fargs` - metacomments is passed to Verilator on the command line via the :option:`-f` - or :option:`-F` option, the provided arguments will be added as if specified + For Verilator developers only. When a source file containing these `fargs` + metacomments is passed to Verilator on the command line via the :vlopt:`-f` + or :vlopt:`-F` option, the provided arguments will be added as if specified on the command line. The source file is not preprocessed before parsing for - arguments, and all :option:`fargs` comment will take effect, even if placed - undef an inactive :option:`\`ifdef`. + arguments, and all `fargs` comments will take effect, even if placed + undef an inactive `\`ifdef`. .. option:: /*verilator&32;forceable*/ diff --git a/docs/guide/verilating.rst b/docs/guide/verilating.rst index 65497649b..99a9a9a3c 100644 --- a/docs/guide/verilating.rst +++ b/docs/guide/verilating.rst @@ -74,7 +74,7 @@ Verilator provides several mechanisms to find the source code containing a module, primitive, interface, or program ("module" in this section) and bind them to an instantiation. These capabilities are similar to the "Precompiling in a single-pass" use model described in IEEE 1800-2023 -33.5.1, although `config` is not yet supported. +33.5.1. Verilator first reads all files provided on the command line and :vlopt:`-f` files, and parses all modules within. Each module is assigned @@ -91,12 +91,12 @@ Verilator attempts to figure out the top module itself, and if multiple tops result a :option:`MULTITOP` warning is issued which may be suppressed (see details in :option:`MULTITOP`). -Verilator will attempt to bind lower unresolved instances first in the same -library name as the parent's instantiation library, and if not found search -globally across all libraries in the order modules were declared. This -allows otherwise conflicting duplicate module names between libraries to -coexist uniquely within each library name. When IEEE `config use` is -supported, more complicated selections will be able to be specified. +Verilator will attempt to bind lower unresolved instances based first on +IEEE `config` specifications, second based on using the same library name +as the parent's instantiation library, and finally search globally across +all libraries in the order modules were declared. This allows otherwise +conflicting duplicate module names between libraries to coexist uniquely +within each library name. .. _hierarchical verilation: diff --git a/docs/spelling.txt b/docs/spelling.txt index 29d6ed1c0..a2c00de64 100644 --- a/docs/spelling.txt +++ b/docs/spelling.txt @@ -720,6 +720,7 @@ expr extern ezchi fanin +fargs fasttrace fauto fbranch