From 63478f29469e53df15059b893c9c4b94547a4c77 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Thu, 13 Aug 2026 18:49:52 -0400 Subject: [PATCH] Commentary: Changes update --- Changes | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/Changes b/Changes index ecbef7fff..8ce90518e 100644 --- a/Changes +++ b/Changes @@ -23,6 +23,7 @@ Verilator 5.051 devel * Add MULTIDRIVENPROC warning for signals driven by multiple plain always blocks (#7968). [Aisha] * Add FSM arc and state coverage to verilator_coverage .info output (#7972) (#7973). [Igor Zaworski, Antmicro Ltd.] * Add SIMILARNAME warning when variables have names that only differ in lexical case (#7992) (#8020). [Paul Campbell] +* Add `+verilator+assert+lock` to ignore RTL assert control statements (#8086). [Sumanth Kadiyala] * Support embedded covergroup member references (#7749) (#8015). [Marco Bartoli] * Support a sequence used as an event control (#7797) (#7846). [Yilou Wang] * Support `[\*N:$]` consecutive repetition (#7940). [Artur Bieniek, Antmicro Ltd.] @@ -35,7 +36,8 @@ Verilator 5.051 devel * Optimize more always blocks in DFG (#7775). [Geza Lore, Testorrent USA, Inc.] * Optimize assertion NFAs using bit-vector ring buffers (#7885). [Artur Bieniek, Antmicro Ltd.] * Optimize VPI symbol registration and scope construction (#7936). [Nick Brereton] -* Optimize bounded always properties using ring buffers (#8061). [Artur Bieniek, Antmicro Ltd.] +* Optimize bounded always properties using ring buffers (#8061) (#8092). [Artur Bieniek, Antmicro Ltd.] +* Optimize VL_WORDS_I/VL_BYTES_I (#8095). [Geza Lore, Testorrent USA, Inc.] * Fix $finish continuing event loop (#7267) (#7950). [Artur Bieniek, Antmicro Ltd.] * Fix $display accepting streaming concat arguments (#7663) (#7890). [Jaeuk Lee] * Fix DFG misoptimizing bound checks (#7755). [Jakub Michalski] @@ -107,10 +109,12 @@ Verilator 5.051 devel * Fix force helpers in multiply instantiated modules (#8047). [Artur Bieniek, Antmicro Ltd.] * Fix pin to non-existent port with PINNOTFOUND suppressed (#8051) (#8052). [Nikolai Kumar] * Fix wildcard equality against a 4-state constant in an assertion (#8056) (#8057). [Nikolai Kumar] +* Fix untyped datatype error on sampling functions with property arguments (#8060). [Artur Bieniek, Antmicro Ltd.] * Fix VPI cbValueChange for 1-bit select (#8063). [Bartłomiej Chmiel, Antmicro Ltd.] * Fix skipping non-constrained enum constraining when inside object of other class (#8075). [Kornel Uriasz, Antmicro Ltd.] * Fix undefined symbol solver error (#8080). [Igor Zaworski, Antmicro Ltd.] * Fix unpacked array element force with procedural assign (#8084) (#8085). [Nikolai Kumar] +* Fix hierarchical class scope resolution (#8094). [Artur Bieniek, Antmicro Ltd.] Verilator 5.050 2026-07-01