From c8b8c79ee94491af5c33fb2b761c92dd8bb20a1d Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Sat, 19 Sep 2026 21:33:08 -0400 Subject: [PATCH] Commentary: Changes update --- Changes | 18 ++++++++++++++++++ docs/spelling.txt | 3 +++ 2 files changed, 21 insertions(+) diff --git a/Changes b/Changes index d3b3c3b2f..2713443ad 100644 --- a/Changes +++ b/Changes @@ -27,6 +27,8 @@ Verilator 5.053 devel * Support multiplicity in SVA shapes that use NFA rings (#8267). [Artur Bieniek, Antmicro Ltd.] * Support non-overlapped property implications correctly (#8268). [Artur Bieniek, Antmicro Ltd.] * Support logic and set operations on binsof (#8306). [Marco Bartoli] +* Support `illegal_bins` and `ignore_bins` for cross bins (#8372). [Marco Bartoli] +* Support `iff` in covergroup bins (#8406) (#8407). [Marco Bartoli] * 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.] @@ -38,10 +40,13 @@ Verilator 5.053 devel * Optimize netlist teardown when about to exit (#8294). [Geza Lore, Testorrent USA, Inc.] * Optimize DFG algorithms with an open addressing hash table (#8307). [Geza Lore, Testorrent USA, Inc.] * Optimize data-type type chain recursion (#8310). [Geza Lore, Testorrent USA, Inc.] +* Optimize DFG vertex input edge storage (#8313). [Geza Lore, Testorrent USA, Inc.] * Optimize unnecessary per-vertex allocations in NFA lowering (#8319). [Artur Bieniek, Antmicro Ltd.] * Optimize duplicate lookup in NFA property recursion guard (#8321). [Artur Bieniek, Antmicro Ltd.] * Optimize NBA assertions by keeping all writers before readers (#8326). [Artur Bieniek, Antmicro Ltd.] * Optimize wide four-state constant operations in V3Number (#8333). [CatalpaEel] +* Optimize split pass (#8385). [Geza Lore, Testorrent USA, Inc.] +* Optimize covergroup bin metadata lookup (#8404). [Marco Bartoli] * 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] @@ -59,11 +64,24 @@ Verilator 5.053 devel * Fix parameterized class nested in a parameterized interface (#8328) (#8329). [Kristof Marien] * Fix printing signed enums and wide enum names (#8338). [Marco Bartoli] * Fix ignoring cross_auto_bin_max instead of hard error (#8340). [Marco Bartoli] +* Fix wide enum names (#8344) (#8362) (#8365) (#8366). [Marco Bartoli] * Fix class-qualified self reference to a typedef in a parameterized class (#8348) (#8349). [Dragon-Git] +* Fix crash when elaborating a covergroup option through a forward class (#8351) (#8352). [Kristof Marien] * Fix missing implicit net for bufif/notif/nmos/pmos data input (#8353) (#8354). [Mike Murunov] * Fix %p format on class members (#8360). [Marco Bartoli] * Fix V3InstrCount with recursive functions (#8361) (#8327). [Geza Lore, Testorrent USA, Inc.] * Fix Docker compilation with --trace-fst (#8370). [Giuseppe Manzoni] +* Fix NFA rings for bounded SVA delays (#8371). [Artur Bieniek, Antmicro Ltd.] +* Fix DFG driver tracing of partial assignments (#8377) (#8397). [Geza Lore, Testorrent USA, Inc.] +* Fix access types of refs and inouts (#8380). [Igor Zaworski, Antmicro Ltd.] +* Fix copy constructor of classes with constraints (#8381). [Ryszard Rozak, Antmicro Ltd.] +* Fix C++ clang 18 compiler with -fno-slp-vectorize (#8383). [Geza Lore, Testorrent USA, Inc.] +* Fix reevaluation of method calls in wait conditions (#8391). [Jesús Alberto López Soto] +* Fix weighted dist constraints in presence of other constraints (#8392). [Kornel Uriasz, Antmicro Ltd.] +* Fix error on non-existent interface ports (#8393). [Andrii Andrieiev, Antmicro Ltd.] +* Fix compile-time blowup forcing large unpacked arrays (#8395). [Jonathan Drolet] +* Fix covergroup constructor initialization (#8410). [Marco Bartoli] +* Fix issues with configuring flex during build on MacOS (#8412). [Kaleb Barrett] Verilator 5.052 2026-09-05 diff --git a/docs/spelling.txt b/docs/spelling.txt index 894e820f0..76e427ed1 100644 --- a/docs/spelling.txt +++ b/docs/spelling.txt @@ -305,6 +305,7 @@ Mahmoudy Makefile Makefiles Maksymenko +Manzoni Marche Markley Marquet @@ -1134,6 +1135,7 @@ shortint shortreal signame signedness +slp sp specparam splitme @@ -1258,6 +1260,7 @@ vcddiff vcoverage vdhotre vec +vectorize ventana venv ver