From 2284cf595da5a5b3beba08ce21eee12d4f7d7924 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Sun, 14 Jul 2024 07:34:36 -0400 Subject: [PATCH] Commentary: Changes update --- Changes | 7 +++++++ docs/spelling.txt | 2 ++ 2 files changed, 9 insertions(+) diff --git a/Changes b/Changes index 788b82c30..0195cf8e8 100644 --- a/Changes +++ b/Changes @@ -15,7 +15,12 @@ Verilator 5.027 devel * Support state-dependent constraints (#5217). [Arkadiusz Kozdra, Antmicro Ltd.] * Support cross-module clocking variable access (#5184). [Arkadiusz Kozdra, Antmicro Ltd.] +* Support inline constraints for class randomization methods (#5234). [Krzysztof Boroński] +* Support clocking blocks in virtual interfaces (#5235). [Arkadiusz Kozdra, Antmicro Ltd.] +* Support `$assertcontrol` assertion_type (#5236). [Bartłomiej Chmiel, Antmicro Ltd.] +* Support conditional constraints (#5245). [Arkadiusz Kozdra, Antmicro Ltd.] * Add `--compiler-include` for additional C++ includes (#5139) (#5202). [Bartłomiej Chmiel, Antmicro Ltd.] +* Add `--emit-accessors` (#5182) (#5227). [Ryan Ziegler] * Fix fusing macro arguments to not ignore whitespace (#5061). [Tudor Timi] * Fix mis-removing $value$plusargs calls (#5127) (#5137). [Seth Pellegrino] * Fix splitting if statements with impure conditions (#5219). [Bartłomiej Chmiel, Antmicro Ltd.] @@ -23,6 +28,8 @@ Verilator 5.027 devel * Fix top-level unpacked structure resets (#5221). * Fix concurrency for mailbox and semaphores (#5222). [Liam Braun] * Fix error on empty generate with -O0 (#5250). +* Fix unconstrained randomization of unpacked structs (#5252). [Krzysztof Bieganski, Antmicro Ltd.] +* Fix inlining of variables driven from forced vars (#5259). [Geza Lore] Verilator 5.026 2024-06-15 diff --git a/docs/spelling.txt b/docs/spelling.txt index bbe6e2261..5fb71184c 100644 --- a/docs/spelling.txt +++ b/docs/spelling.txt @@ -497,6 +497,7 @@ architected args arrarys assertOn +assertcontrol astgen async atClone @@ -701,6 +702,7 @@ genvar genvars getenv getline +getter ggdb glibc gmake