From 7e3cab8e5d9b534c64d705930f6f1af7b67f9759 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Fri, 21 Nov 2025 19:39:51 -0500 Subject: [PATCH] Commentary: Changes update --- Changes | 11 ++++++++--- docs/guide/exe_verilator.rst | 2 +- docs/spelling.txt | 3 +++ 3 files changed, 12 insertions(+), 4 deletions(-) diff --git a/Changes b/Changes index 86301316f..e41a7bf29 100644 --- a/Changes +++ b/Changes @@ -16,13 +16,17 @@ Verilator 5.043 devel * Add `--unroll-limit` option (#6654) (#6668). [Geza Lore] * Add `-fno-inline-funcs-eager` option to disable excessive inlining (#6682). [Geza Lore] * Add `-param`/`-port` options to `public_flat*` control directives (#6685). [Geza Lore] +* Add `--top` specifying `config` name (#6710). [Dan Ruelas-Petrisko] +* Add `sc_biguint` pragma (#6712). [Jakub Wasilewski, Antmicro Ltd.] * Support `std::randomize(){...}` (#4706) (#6573). [Yilou Wang] * Support basic global constraints (#6551) (#6552). [Yilou Wang] * Support this.randomize() with constraints (#6634). [Artur Bieniek, Antmicro Ltd.] * Support multi-expression sequences (#6639). [Bartłomiej Chmiel, Antmicro Ltd.] -* Support `#1step` delay as statement (#6671). [Pawel Kojma] -* Support parsing of dotted bins_expression (#6683). [Pawel Kojma] +* Support `#1step` delay as statement (#6671). [Pawel Kojma, Antmicro Ltd.] +* Support parsing of dotted bins_expression (#6683). [Pawel Kojma, Antmicro Ltd.] * Support constant expression cycle delays in sequences (#6691). [Ryszard Rozak, Antmicro Ltd.] +* Support general global constraints (#6709) (#6711). [Yilou Wang] +* Support `config` default liblist (#6714). [Dan Ruelas-Petrisko] * Optimize away calls to empty functions (#6626). [Geza Lore] * Optimize redundant headers in Syms implementation files. [Geza Lore] * Optimize constructor/destructor VerilatedModules (#6660). [Geza Lore] @@ -35,7 +39,7 @@ Verilator 5.043 devel * Fix merging of impure assignments in gate optimization (#6629) (#6630). [Geza Lore] * Fix determining Verilator revision when within git submodules without tags. * Fix initial random values for verilator-created variables (#6611). [Todd Strader] -* Fix parsing of `with` clause inside covergroups (#6618). [Pawel Kojma] +* Fix parsing of `with` clause inside covergroups (#6618). [Pawel Kojma, Antmicro Ltd.] * Fix slice memory overflow on large output arrays (#6636) (#6638). [Jens Yuechao Liu] * Fix memory usage statistics on MacOS (#6644). [Geza Lore] * Fix command line statistics with --stats (#6645) (#6646). [Geza Lore] @@ -51,6 +55,7 @@ Verilator 5.043 devel * Fix `free` name collision (#6675). [Todd Strader] * Fix bounds checking in non-inlined function (#6677). [Geza Lore] * Fix stream operator widening (#6693) (#6697). [Jean-Nicolas Strauss] +* Fix deleting linked node error in V3Randomize (#6718). [Igor Zaworski, Antmicro Ltd.] Verilator 5.042 2025-11-02 diff --git a/docs/guide/exe_verilator.rst b/docs/guide/exe_verilator.rst index 69b3dae79..6ec700b0e 100644 --- a/docs/guide/exe_verilator.rst +++ b/docs/guide/exe_verilator.rst @@ -2446,7 +2446,7 @@ The grammar of control commands is as follows: Sets the input/output signal to be of :code:`sc_biguint<{width}>` type. This metacomment works for signals of any width. - Same as :option:`/*verilator&32;sc_biguint*/`metacomment. + Same as :option:`/*verilator&32;sc_biguint*/` metacomment. .. option:: sc_bv -module "" -var "" diff --git a/docs/spelling.txt b/docs/spelling.txt index 0dfa2e444..5f955259a 100644 --- a/docs/spelling.txt +++ b/docs/spelling.txt @@ -324,6 +324,7 @@ PLI Palaniappan Patricio Petr +Petrisko Piard Piechotka Piersall @@ -362,6 +363,7 @@ Rolfe Rontionov Roodselaar Roshit +Ruelas Rufer Runtime Ruud @@ -822,6 +824,7 @@ len libc libext libgoogle +liblist libsystemc libtcmalloc libverilated