Commentary: Changes update

Changes

@@ -18,8 +18,11 @@ Verilator 5.053 devel
 * Add covergroup runtime registry (#8134). [Matthew Ballance]
 * Add initial support for solo `binsof` (#8298). [Marco Bartoli]
 * Add `-fno-dead-members` and optimize dead class member functions (#8830).
+* Add `--coverage-max-bins` and `--coverage-max-real-bins` (#8499). [Marco Bartoli]
 * Remove deprecated `--structs-packed`.
+* Change internal module inlining to after V3Scope (#1539) (#8453). [Geza Lore, Testorrent USA, Inc.]
 * Change JSON dumps to suppress empty strings, etc.
+* Support multi-dimensional module instance arrays (#2675) (#8476). [Geza Lore, Testorrent USA, Inc.]
 * Support VPI interface references (#8081). [Todd Strader]
 * Support nested array and associative array element member access in constraint 1/4 - pre-cleanup (#8237). [Kamil Danecki, Antmicro Ltd.]
 * Support unique constraint inside std::randomize (#8241). [Kornel Uriasz, Antmicro Ltd.]
@@ -31,6 +34,8 @@ Verilator 5.053 devel
 * Support `iff` in covergroup bins (#8406) (#8407). [Marco Bartoli]
 * Support enclosing cross identifiers in bin selections (#8416). [Marco Bartoli]
 * Support dynamic cross layouts and fix covergroup bin exclusions priority (#8424). [Marco Bartoli]
+* Support automatic bins for enum coverpoints (#8462) (#8464). [David Harris]
+* Support empty queue literals as function and task arguments (#8501) (#8502). [Francesco Urbani]
 * Optimize NBA shadow copies for partial writes (#8266). [Artur Bieniek, Antmicro Ltd.]
 * Optimize recursion depth in DFG circular driver tracing (#8272). [Drew Risinger]
 * Optimize DFG synthesis symbol table ordering (#8282). [Geza Lore, Testorrent USA, Inc.]
@@ -52,9 +57,14 @@ Verilator 5.053 devel
 * Optimize covergroup bin metadata lookup (#8404). [Marco Bartoli]
 * Optimize dead ports (#8426). [Geza Lore, Testorrent USA, Inc.]
 * Optimize instance port connections by aliasing rather than by assignment (#8427). [Geza Lore, Testorrent USA, Inc.]
+* Optimize modport resolution with many interface instances (#8496) (#8497). [Deanyone Su]
+* Optimize covergroup bin generation (#8499). [Marco Bartoli]
+* Optimize through-package variables in DFG. [Geza Lore, Testorrent USA, Inc.]
+* Move module inlining after V3Scope (#8453) (#1539). [Geza Lore, Testorrent USA, Inc.]
 * Fix array slice crash when used as a bare value (#5132) (#8262). [Marco Frank]
 * Fix pattern type matching against nested aggregates (#7304).
 * Fix covergroup-internal references multi-threaded ordering (#7779) (#8255). [Matthew Ballance]
+* Fix typedef through a parameterized sub-interface (#7943 repair) (#8124) (#8128). [em2machine]
 * Fix detecting non-inlined awaits in V3Delayed.cpp (#7982). [Igor Zaworski, Antmicro Ltd.]
 * Fix phased `solve...before` diversity (#8189) (#8194). [Aditya Shevade]
 * Fix array-size constraint on arrays inside base class (#8219). [Kornel Uriasz, Antmicro Ltd.]
@@ -98,10 +108,23 @@ Verilator 5.053 devel
 * Fix streaming dynamic arrays with different element types failing to compile (#8434) (#8435). [Kristof Marien]
 * Fix internal error when task without C function is left in the tree (#8437). [Artur Bieniek, Antmicro Ltd.]
 * Fix nested random dynamic arrays internal error (#8438) (#8439). [Kristof Marien]
+* Fix elaboration of classes reached through deferred references (#8440) (#8510). [Ethan Sifferman]
+* Fix VPI discoverability of forceable unpacked struct members (#8445). [Bartłomiej Chmiel, Antmicro Ltd.]
 * Fix compound types in anonymous structs (#8449). [Artur Bieniek, Antmicro Ltd.]
 * Fix internal error on covergroup in a specialized parameterized class (#8450) (#8452). [David Harris]
 * Fix data race in type handling (#8451). [Tynan McAuley]
 * Fix $sscanf/$fscanf returning -1 after a partial match (#8457) (#8459). [David Harris]
+* Fix covergroup '0/'1 bin values not filling to coverpoint width (#8458) (#8460). [David Harris]
+* Fix embedded covergroup calling an enclosing class method (#8461) (#8463). [David Harris]
+* Fix unsized condition not reduced to one bit (#8465) (#8466). [David Harris]
+* Fix comma emission for nested JSON scopes (#8469) (#8474). [Noam Gallmann]
+* Fix model failing when host has fewer cores than --threads (#8475). [Artur Bieniek, Antmicro Ltd.]
+* Fix `##0` synchronous drive overriding later drives (#8482). [Marco Bartoli]
+* Fix disable fork and wait fork affecting pending NBA updates (#8483). [Marco Bartoli]
+* Fix setting status of finished process immediately (#8503). [Ryszard Rozak, Antmicro Ltd.]
+* Fix constant oversized shifts in V3Premit. [Geza Lore, Testorrent USA, Inc.]
+* Fix semaphore waiting on killed process (#8505). [Ryszard Rozak, Antmicro Ltd.]
+* Fix mis-setting of process state from FINISHED to KILLED (#8506). [Ryszard Rozak, Antmicro Ltd.]
 
 
 Verilator 5.052 2026-09-05

docs/spelling.txt

@@ -739,6 +739,7 @@ devel
 difftree
 dir
 disambiguates
+discoverability
 displayb
 distcc
 doxygen