Verilator 5.048 2026-04-26 released

[wsnyder]

Verilator 5.048 2026-04-26

Important:

• Displaying Verilator generated FST files will require an updated version of Surfer (built from 'main', or the future numbered release 0.7.0). No GTKWave update is necessary (Emit array and struct info in FST verilator#7255).
• Support jemalloc as the default allocator on Linux (configure: Support jemalloc as the default allocator on Linux verilator#7250). [Yangyu Chen]. For better performance, apt install libjemalloc-dev or equivalent before running ./configure.

Other:

• Add VPI callback support to --main (Add VPI callback support to --main verilator#7145).
• Add --func-recursion-depth option (Add CLI option for recursive constant function depth limit (CONST_FUNC_RECURSION_MAX) verilator#7175) (Add --func-recursion-depth CLI option verilator#7179).
• Add +verilator+solver+file for debugging constraint solver (Internals: Support a solver logfile verilator#7242).
• Add --coverage-fsm for experimental FSM state and arc coverage (Support native FSM state and arc coverage verilator#7412). [Yogish Sekhar]
• Add printed summary to verilator_coverage (Add printed summary to verilator_coverage verilator#7438) (Fsm coverage - new print summary verilator#7462). [Yogish Sekhar]
• Deprecate --structs-packed (Fix --structs-packed causing not of expected type error verilator#7222).
• Remove DFG extract optimization pass (Remove Dfg extract pass verilator#7394). [Geza Lore, Testorrent USA, Inc.]
• Remove multi-threaded FST tracing (Remove multi-threaded FST tracing verilator#7443). [Geza Lore, Testorrent USA, Inc.]
• Improve assignment-compatibility type check (Compile error assigning to unpacked from packed array verilator#2843) (Add assignment type checking for arrays verilator#5666) (Improve assignment-compatibility type check (#2843) (#5666) verilator#7052). [Pawel Kojma, Antmicro Ltd.]
• Improve error message when variable used as data type (Improve error message when variable used as data type verilator#7318). [Ryszard Rozak, Antmicro Ltd.]
• Improve E_UNSUPPORTED warning messages (Improve vague E_UNSUPPORTED warning messages verilator#7329). [Eunseo Song]
• Improve NFA-based multi-cycle SVA evaluation engine (Use NFA in SVA pass (V3AssertNfa: NFA-based multi-cycle SVA evaluation engine) verilator#7430). [Yilou Wang]
• Change array tracing to dump left index to right index (Change array tracing to always dump left index to right index verilator#7205). [Geza Lore, Testorrent USA, Inc.]
• Change --converge-limit default to 10000 (Change --converge-limit default to 10000 verilator#7209).
• Support inout inside SV interface (Support inout inside SystemVerilog interface verilator#3466) (Fix inout inside SV interface (#3466) verilator#7134). [Nick Brereton]
• Support ##0 cycle delays (Support ##0 cycle delays verilator#4263) (Support ##0 cycle delays (#4263) verilator#7298). [Yilou Wang]
• Support multidimensional arrays of interfaces (Support multidimensional instances/interfaces verilator#6230) (Fix for supporting multidimensional arrays of interfaces (#6230) verilator#7451). [em2machine]
• Support array reduction methods with 'with' clause in constraints (Support array.sum() with (...) constraints verilator#6455) (Support array reduction methods with 'with' clause in constraints verilator#6999). [Rahul Behl]
• Support constraint imperfect distributions (Support constraint imperfect distributions verilator#6811) (Support constraint imperfect distributions (#6811) verilator#7168). [Yilou Wang]
• Support disable task by name (Support disabling task by name verilator#6853) (Fix support disable task by name (#6853) verilator#7136). [Nick Brereton]
• Support procedural concurrent assertion simple cases (Support procedural concurrent assertions verilator#6944).
• Support force assignments to array elements of real type (Support force assignments to array elements of real type verilator#7048). [Ryszard Rozak, Antmicro Ltd.]
• Support VPI array indexing in signal names (Support unpacked arrays with vpi_handle_by_name verilator#7097) (Add VPI array indexing support in signal names (#7097) verilator#7187) (Fix vpi_handle_by_name generated scope retrieval verilator#7214) (Fix memory leaks in vpi_handle_by_name and vpi_handle_by_multi_index (#7187 repair) verilator#7289). [Christian Hecken, Heidelberg University]
• Support soft constraint solving (Support soft constraints in randomize() verilator#7124) (Support soft constraint solving with last-wins priority (#7124) verilator#7166). [Yilou Wang]
• Support constraints on fixed-size array of class object members (Support constraints on fixed-size array of class object members verilator#7170) (Support constraints on fixed-size array of class object members (#7170) verilator#7183). [Yilou Wang]
• Support Z non-blocking assignment (Support Z non-blocking assignment verilator#7192) (Unsupported: tristate construct: ASSIGNDLY verilator#496) (V3Tristate: add visitor for AstAssignDly (#7192) (#496) verilator#7197). [Nick Brereton]
• Support constraint with item.index array reduction (Support item.index in array (all types) reduction constraint 'with' clauses verilator#7198). [Rahul Behl]
• Support constant expressions without parentheses in PATHPULSE$ (Allow constant expressions without parentheses in PATHPULSE$ declaration verilator#7199). [Pawel Kojma, Antmicro Ltd.]
• Support $sformat with runtime format string (Support $sformat with runtime format string verilator#7212).
• Support dist and solve...before inside foreach constraints (Fix dist and solve...before inside foreach constraints verilator#7245) (Support dist and solve...before inside foreach constraints (#7245) verilator#7253). [Yilou Wang]
• Support array and struct info metadata in FST traces (Emit array and struct info in FST verilator#7255). [Geza Lore, Testorrent USA, Inc.]
• Support dynamic array .size in inline randomize() with constraints (Support uvm_tlm_generic_payload randomization verilator#7258) (Support dynamic array .size in inline randomize() with constraints (#7258) verilator#7266). [Yilou Wang]
• Support defparam with more than one dot (Support more than one dot in defparam verilator#7262). [Artur Bieniek, Antmicro Ltd.]
• Support modport export/import task prototypes and out-of-block definitions (Support modport export/import task prototypes and out-of-block definitions verilator#7277). [Yilou Wang]
• Support very wide $display arguments (Allow ignoring too long $display-like argument errors verilator#7280). [Jakub Michalski]
• Support named sequence declarations and instances in assertions (Support named sequence declarations and instances in assertions  verilator#7283). [Yilou Wang]
• Support ##, ##[*], ##[+], ##[M:N] cycle delays in assertions (Support ## delay on implication RHS in SVA properties verilator#7284) (Support ##[M:N] range cycle delay in SVA sequences verilator#7312) (Support ##[*], ##[+], ##[M:$] unbounded cycle delays in SVA properties verilator#7377). [Yilou Wang]
• Support boolean and/or in sequence expressions (Support boolean and/or in sequence expressions verilator#7285). [Yilou Wang]
• Support property-local variables and sequence match items (Support property-local variables and sequence match items verilator#7286). [Yilou Wang]
• Support 'until' and until_with property (Add support for until property verilator#7290 partial) (Support until property (partial #7290) verilator#7399) (Support until_with property (partial #7290) verilator#7436). [Ryszard Rozak, Antmicro Ltd.]
• Support implication operator with constraint_set (Support implication with constraint_set verilator#7300) (Support implication operator with constraint_set (#7300) verilator#7448). [Yilou Wang]
• Support array map() method (Support array map() method verilator#7307) (Support array map() method (IEEE 1800-2023 7.12.5) (#7307) verilator#7316) (Implement array map() method for associative and wildcard arrays verilator#7344). [Wei-Lun Chiu]
• Support MacOS address sanitizer memory limit (Add macOS support for AddressSanitizer memory limit verilator#7308). [Marco Bartoli]
• Support SVA goto repetition [->N] in concurrent assertions (Support SVA goto repetition [->N] in concurrent assertions verilator#7310). [Yilou Wang]
• Support consecutive repetition [\*N] in SVA properties (Support consecutive repetition [*N] in SVA properties verilator#7311). [Yilou Wang]
• Support rise/fall delays (Support rise/fall delays and min/typ/max delay verilator#7368). [Artur Bieniek, Antmicro Ltd.]
• Support sequence intersect operator (Support sequence intersect operator verilator#7374). [Yilou Wang]
• Support sequence 'throughout' operator (Support sequence 'throughout' operator verilator#7378). [Yilou Wang]
• Support sequence consecutive repetition [*N:M], [+], and [*] (Support consecutive repetition [*N:M], [+], and [*] in sequence expressions verilator#7379). [Yilou Wang]
• Support sequence first_match operator (Support first_match sequence operator verilator#7392). [Yilou Wang]
• Support nonconsecutive repetition [=N] in sequence expressions (Support nonconsecutive repetition [=N] in sequence expressions verilator#7397). [Yilou Wang]
• Support per-process RNG for process::srandom() and object seeding (Support process-based random state verilator#7408) (Support per-process RNG for process::srandom() and object seeding (#7408) verilator#7415) (Support process-based random state verilator#7408). [Yilou Wang]
• Support 2**n expressions in constraint randomization (Support 2**n expressions in constraint randomization verilator#7422). [Yilou Wang]
• Support IEEE-compliant force/release handling (IEEE-compliant force/release handling verilator#7391). [Artur Bieniek, Antmicro Ltd.]
• Support sequence 'within' operator (Support sequence within operator verilator#7461). [Yilou Wang]
• Optimize trace code for faster compiles on repeated types (Reduce Trace code for repeated types verilator#6707) (Optimize trace code for faster compiles on repeated types (#6707) verilator#6832). [Todd Strader]
• Optimize impure expressions and calls with new V3LiftExpr pass (Add V3LiftExpr pass to lower impure expressions and calls verilator#7141) (Enable V3LiftExpr with code coverage verilator#7164). [Geza Lore, Testorrent USA, Inc.]
• Optimize size of trace declaration object code (Optimize size of trace decl object code verilator#7150). [Szymon Gizler, Antmicro Ltd.]
• Optimize function call return value temporaries (Optimize function call return value temporaries verilator#7152). [Geza Lore, Testorrent USA, Inc.]
• Optimize conditional merging across some impure statements (Optimize conditional merging across some impure statements verilator#7159). [Geza Lore, Testorrent USA, Inc.]
• Optimize reuse of existing associative terms in DfgPeephole. [Geza Lore, Testorrent USA, Inc.]
• Optimize duplicate vertices and multiplexers in DfgPeephole (Optimize duplicate vertices in DfgPeephole verilator#7305). [Geza Lore, Testorrent USA, Inc.]
• Optimize commutative vertex operands in DFG for better combining. [Geza Lore, Testorrent USA, Inc.]
• Optimize DFG peephole until a fixed point (Optimize DfgPeephole until fixed point verilator#7309). [Geza Lore, Testorrent USA, Inc.]
• Optimize comparisons with identical operands and $countones in DFG. [Geza Lore, Testorrent USA, Inc.]
• Optimize more patterns in DfgPeephole (Optimize more patterns in DfgPeephole verilator#7332). [Geza Lore, Testorrent USA, Inc.]
• Optimize read references in DFG (Optimize Ast read references in Dfg directly verilator#7354). [Geza Lore, Testorrent USA, Inc.]
• Optimize DFG only once, after scoping (Optimize Dfg only once, after V3Scope verilator#7362). [Geza Lore, Testorrent USA, Inc.]
• Optimize more DFG peephole patterns (Optimize more Dfg peephole patterns verilator#7423) (Optimize more Dfg patterns verilator#7452). [Geza Lore, Testorrent USA, Inc.]
• Optimize DfgBreakCycles IndependentBits analysis ordering (Optimize DfgBreakCycles IndependentBits analysis ordering verilator#7446). [Geza Lore, Testorrent USA, Inc.]
• Optimize select patterns in DfgPeephole. [Geza Lore, Testorrent USA, Inc.]
• Optimize temporary insertion in DfgPeephole. [Geza Lore, Testorrent USA, Inc.]
• Optimize arithmetic right shift (>>>) in DfgBreakCycles (Optimize arithmetic right shift (>>>) in DfgBreakCycles verilator#7447). [Geza Lore, Testorrent USA, Inc.]
• Optimize temporary insertion in DFG (Optimize temporary insertion in Dfg verilator#7459). [Geza Lore, Testorrent USA, Inc.]
• Optimize mix of Concat/Extend assignments (Optimize mix of Concat/Extend assignments verilator#7479). [Geza Lore, Testorrent USA, Inc.]
• Fix recursive default assignment for sub-arrays (default keyword does not apply recursively to subarrays in an array assignment expression verilator#4589) (Fix recursive default assignment for subarrays (#4589) verilator#7202). [Julian Carrier]
• Fix tracing virtual interface member written from classes (Wires driven through virtual interface traced improperly verilator#5044) (Fix tracing virtual interface member written from classes (#5044) verilator#7465). [Nikolay Puzanov]
• Fix virtual interface member trigger convergence (Fix virtual interface "combinational region did not converge" error verilator#5116) (Fix virtual interface member trigger convergence (#5116) verilator#7323). [Yilou Wang]
• Fix shift width mismatch in constraint solver SMT emission (Fix Internal: Solver error: Argument size at position 1 has sort (_ BitVec 4) it does not match declaration verilator#5420) (Fix shift width mismatch in constraint solver SMT emission (#5420) verilator#7265). [Yilou Wang]
• Fix returning wrong type from static function in parameterized class (Returning an object of the wrong type from a static function of a parameterized class verilator#5479) (Fix for Returning an object of the wrong type from a static function of a parameterized class (#5479) verilator#7387) (Fix zero-size parameter from #7387 verilator#7411) (Fix for: Fix zero-size parameter from #7387 (#7411) verilator#7418) (Fix ariane/CVA6 false member call on object error verilator#7445) (Fix for ariane/CVA6 false member call on object error (#7445) verilator#7450). [em2machine]
• Fix randomize size+element queue constraints (Support queue size randomization constraints verilator#5582) (Fix randomize size+element queue constraints (#5582) verilator#7225). [Rahul Behl, Testorrent USA, Inc.]
• Fix null assignment to virtual interfaces (Fix virtual interface null assignments and comparisons verilator#5974) (Fix virtual interface null assignments and comparisons (#5974) verilator#5990). [Maxim Fonarev]
• Fix typedef scope resolution for parameterized class aliases (Fix broken link in node on parameterized class typedef verilator#5977) (Fix typedef scope resolution for parameterized class aliases (#5977) verilator#7319). [Nick Brereton]
• Fix lambda coroutines (Fix coroutine calls inside lambdas verilator#6106) (Fix lambda coroutine (#6106) verilator#7135). [Nick Brereton]
• Fix super constructor calls with local variables (Super constructor calls with local variables don't work verilator#6214) (Init functions (#6214) verilator#6933). [Igor Zaworski, Antmicro Ltd.]
• Fix parameter default comparison when value contains type cast (Correct type deduction for parameterized classes fails when using variable as parameter verilator#6281) (Fix parameter default comparison when value contains type cast (#6281) verilator#7369) (Correct type deduction for parameterized classes fails when using variable as parameter verilator#6281). [Yilou Wang]
• Fix local:: false error in randomize() with on parameterized class (Fix randomize local:: giving false outside error verilator#6680) (Fix local:: false error in randomize() with on parameterized class (#6680) verilator#7293). [Yilou Wang]
• Fix false recursive definition error (Fix false recursive definition error verilator#6769) (Fix false recursive definition error (#6769) verilator#7118). [Alex Zhou]
• Fix port assignment to large arrays (Large array initialisation produces invalid C++ verilator#6904).
• Fix interface localparam dependencies and arbitrary nesting (Interface localparam dependencies and arbitrary nesting verilator#6936) (Fix interface localparam dependencies and arbitrary nesting (#6936) verilator#7128) (Missing scope when calling package function verilator#7188) (Fix for Missing scope when calling package function (#7188)  verilator#7190). [em2machine]
• Fix parameterized class typedef as interface type parameter (Fix finding typedef accessed via type parameter pointing to type parameter verilator#7000) (Fix parameterized class typedef as interface type parameter (#7000) verilator#7006). [Leela Pakanati]
• Fix errant integer promotion (Fix errant integer promotion verilator#7012). [Todd Strader]
• Fix randc solver hang with wide variables (Fix DIDNOTCONVERGE in event triggering change (#6932 effect) verilator#7068) ( Fix randc solver hang with wide variables (#7068) verilator#7248). [Yilou Wang]
• Fix coroutine trace setters (Internals: Make AstCAwait an AstNodeStmt (#6280) verilator#7078 repair) (Fix coroutine trace setters (#7078 repair) verilator#7296). [Igor Zaworski, Antmicro Ltd.]
• Fix vpi_put_value not updating forced read value (Forceable signals have incorrect value immediately after using vpi_put_value with vpiNoDelay verilator#7092) (Fix vpi_put_value not updating __VforceRd signal (#7092) verilator#7395) (Forceable signals have incorrect value immediately after using vpi_put_value with vpiNoDelay verilator#7092). [Christian Hecken, Heidelberg University]
• Fix scheduling non-determinism (Fix scheduler and other non-deterministic tests verilator#7120) (Fix scheduling SenTree list non-determinism (#7120) verilator#7162) (Internals: Fix non-determinism in V3Delayed, V3SplitVar, V3Task (#7120 partial) verilator#7165). [Geza Lore, Testorrent USA, Inc.]
• Fix parameters inside std::randomize with clause (Fix parameters inside std::randomize with clause  verilator#7140). [Kamil Danecki, Antmicro Ltd.]
• Fix forcing unpacked variables (Fix forcing unpacked variables verilator#7149). [Ryszard Rozak, Antmicro Ltd.]
• Fix wide conditional short circuiting (Fix wide conditional short circuiting verilator#7155).
• Fix eliminating assignments to DPI-read variables (Fix eliminating assignments to DPI-read variables verilator#7158). [Geza Lore, Testorrent USA, Inc.]
• Fix std::randomize() in static function with static class members (Fix std::randomize() in static function with static class members verilator#7167) (Fix std::randomize() in static function with static class members (#7167) verilator#7169). [Yilou Wang]
• Fix resolving default/non-default type parameters (Fix resolving default/nondefault type parameters verilator#7171) (Fix for Fix resolving default/nondefault type parameters (#7171) verilator#7346) (Fix resolving default/nondefault type-of-type parameters verilator#7380) (Fix for resolving default/nondefault type-of-type parameters (#7380) verilator#7385) (Fix elaboration hang (#7385 repair) verilator#7398) (Fix for elaboration hang (#7385 repair) #7398 verilator#7406) (Fix elaboration hang (#7385 repair) verilator#7398). [em2machine]
• Fix recursive constant function in $unit scope (Internal Error V3Scope.cpp:359 for recursive constant function in $unit scope verilator#7173) (Fix recursive functions in unit scope (#7173) verilator#7174).
• Fix class extend references between queues (Fix class extend references between queues verilator#7195).
• Fix library/hier_block tracing when top name is empty (Fix library/hier_block tracing when top name is empty verilator#7200). [Geza Lore, Testorrent USA, Inc.]
• Fix virtual interface select from sub-interface instance (Fix virtual interface select from virtual interface verilator#7203) (Fix virtual interface select from sub-interface instance (#7203) verilator#7370) (Fix virtual interface select from virtual interface verilator#7203). [Yilou Wang]
• Fix VPI force of bit-selected signals (Fix VPI force of bit-selected signals verilator#7211) (Fix VPI force of bit-selected signals (#7211) verilator#7301). [Christian Hecken]
• Fix $finish to immediately stop executing code from non-final blocks (Fix code executing after $finish verilator#7213 partial) (Fix $finish - immediately stop executing code from non-final blocks verilator#7390).
• Fix wrong $bits() for parameterized interface struct typedefs (Wrong $bits() for parameterized interface struct typedefs verilator#7218) (Fix for Wrong $bits() for parameterized interface struct typedefs (#7218) verilator#7219). [em2machine]
• Fix dist operator inside constraint if blocks (Internal error on constraint distribution verilator#7221) (V3Randomize: Fix dist operator inside ConstraintIf blocks (#7221) verilator#7224). [Rahul Behl, Testorrent USA, Inc.]
• Fix array reduction in constraints crashing with class inheritance (Array reduction in constraints regression verilator#7226) (Fix array reduction in constraints crashing with class inheritance (#7226) verilator#7263). [Yilou Wang]
• Fix soft cross-object constraint priority inversion (Fix soft cross-object constraint priority inversion verilator#7228) (Fix soft cross-object constraint priority inversion (#7228) verilator#7233). [Yilou Wang]
• Fix internal error when derived class calls this.randomize() with inherited rand members (Fix Internal Error when derived class calls this.randomize() with inherited rand members verilator#7229) (Fix Internal Error when derived class calls this.randomize() with inherited rand members (#7229) verilator#7234). [Yilou Wang]
• Fix enum range constraints missing for rand variables in sub-objects (Fix enum range constraints missing for rand variables in sub-objects verilator#7230) (Fix enum range constraints missing for rand variables in sub-objects (#7230) verilator#7235). [Yilou Wang]
• Fix vpi_put_value release on non-continuous signal (vpi_get_value yields incorrect value for released, non-continuous signal verilator#7231) (Fix non-continuously assigned signals returning to their initial value after being released through vpi_put_value (#7231) verilator#7241). [Christian Hecken]
• Fix functions in generate block resulting in 'Broken link in node' (Function in generate block results in "Broken link in node" crash verilator#7236) (Fix for Function in generate block results in "Broken link in node" crash (#7236) verilator#7367). [em2machine]
• Fix tracing of typedefed 1D packed arrays with --trace-structs (Fix tracing of typedefed 1D packed arrays with --trace-structs verilator#7237). [Geza Lore, Testorrent USA, Inc.]
• Fix rand variable used as array index in constraint evaluated as constant (Fix rand variable used as array index in constraint evaluated as constant verilator#7238) (Fix rand variable used as array index in constraint evaluated as constant (#7238) verilator#7247). [Yilou Wang]
• Fix --hierarchical dropping arguments in -f/-F files (V3Options::allArgsStringForHierBlock drops +incdir+ args verilator#7240). [Clara Sparks]
• Fix final asserts and $stop (Fix assertions in final blocks (#7191) verilator#7249). [Artur Bieniek, Antmicro Ltd.]
• Fix MacOS clang PCH compile error with -o flag (verilated.mk: Apple clang does not support -o flag in conjunction with PCH verilator#7251) (Fix Apple clang PCH compile error with -o flag (#7251) verilator#7327). [Eunseo Song]
• Fix vpi_put_value with vpiIntVal on VlWide data (Fix vpi_put_value with vpiIntVal or vpiDecStrVal on VlWide data verilator#7256). [Christian Hecken]
• Fix streaming with descending unpacked arrays and unpacked-to-queue (Fix streaming with descending unpacked arrays and unpacked-to-queue verilator#7287). [Yilou Wang]
• Fix MacOs lexer compile error (V3Lexer_pregen.yy.cpp compile errors on macOS Tahoe verilator#7314) (Lexer compile error fix on macOS Tahoe verilator#7315). [Tracy Narine]
• Fix linking shared library with its dependencies (Fix: link shared library with its dependencies verilator#7320). [Artur Bieniek, Antmicro Ltd.]
• Fix modport selection of virtual interface handle (Fix internal error on modport selection of virtual interface handle verilator#7321). [Yilou Wang]
• Fix false ASSIGNIN on interface input ports driven from outside (Fix false ASSIGNIN on interface input ports driven from outside verilator#7322). [Yilou Wang]
• Fix static initialization order for packages with class hierarchies (Fix static initialization order for packages with class hierarchies verilator#7324). [Yilou Wang]
• Fix sensitivity of signals to unrelated interface members (Fix false sensitivity of signals to unrelated interface members verilator#7336). [Artur Bieniek, Antmicro Ltd.]
• Fix disable iff imply-delay statement linking (Fix disable iff imply-delay stmt linking and add mid-reset regression verilator#7337). [Nick Brereton]
• Fix lost $stop on implied assertion $error failures.
• Fix wait() hang when interface uses process calls and VIF function (Fix wait() hang when interface has always @* with process calls and VIF function access verilator#7342). [Yilou Wang]
• Fix error on illegal nand/nor binary operators (Add error on binary use of unary reduction NOR operator (~|) verilator#7353).
• Fix simple array assignment unrolling in slice optimization (Do not unroll simple array assignments in V3Slice verilator#7359). [Geza Lore, Testorrent USA, Inc.]
• Fix missing temporary for DfgSplicePacked (Fix missing temporary for DfgSplicePacked verilator#7361). [Geza Lore, Testorrent USA, Inc.]
• Fix virtual interface function calls binding to wrong instance (Fix virtual interface function calls binding to wrong instance verilator#7363). [Yilou Wang]
• Fix false ASSIGNIN on interface input port connections (Fix false ASSIGNIN on interface input port connections verilator#7365). [Yilou Wang]
• Fix string inside queue (Fix string inside queue verilator#7373).
• Fix subclass with rand_mode(0) getting randomized (Fix subclass with rand_mode(0) getting randomized verilator#7376) (Fix subclass with rand_mode(0) getting randomized (#7376) verilator#7383). [Yilou Wang]
• Fix VPI access to Verilog force-ed signals (Fix VPI access to signals that are forced in SystemVerilog, but not marked as /*verilator forceable*/ verilator#7381). [Christian Hecken, Heidelberg University]
• Fix sampling of hierarchical references (Fix sampling of hierarchical references verilator#7386). [Ryszard Rozak, Antmicro Ltd.]
• Fix virtual class inheritance false error (Abstract virtual class must redeclare inherited pure virtual method verilator#7403) (Fix virtual class inheritance (#7403) verilator#7405). [Nikolay Puzanov]
• Fix CMake compiler coroutine flags (Match the compiler flags used with CMake to those in verilated.mk verilator#7404). [Shogo Yamazaki]
• Fix delete inside foreach skipping elements (Fix delete inside foreach skipping elements verilator#7407) (Fix delete inside foreach skipping elements (#7407) verilator#7410)
• Fix std::randomize in parameterized-derived class (Support std::randomize in derived classes verilator#7409) (Fix std::randomize treated as this.randomize in parameterized-derived class (#7409) verilator#7416). [Yilou Wang]
• Fix virtual interface implied comparison with null (Support virtual interface implied comparison with null verilator#7421). [Alex Solomatnikov]
• Fix uvm_hdl_release_and_read to release value and check success (Fix uvm_hdl_release_and_read not reading release value or checking for success verilator#7425). [Christian Hecken, Heidelberg University]
• Fix inline constraint on array-indexed randomize target (%Error: t/t_constraint_foreach_classref.v:111:63: Member 'val' not found in class 'OuterDyn' verilator#7431) (Fix inline constraint on array-indexed randomize target (#7431) verilator#7434). [Yilou Wang]
• Fix modification of members of object with const handle (Fix modification of members of object with const handle verilator#7433). [Kamil Danecki, Antmicro Ltd.]
• Fix dist under implication in constraints (Internal Error: ../V3Randomize.cpp:2598: Visit function missing? Constraint function missing for math node: DIST verilator#7440) (Fix internal error on dist under implication operator in constraints (#7440) verilator#7442). [Alex Solomatnikov] [Yilou Wang]
• Fix std::randomize inside corrupting class-member queue operand (incorrect assignment to a queue verilator#7449) (Fix std::randomize inside corrupting class-member queue operand (#7449) verilator#7456). [Yilou Wang]
• Fix module parameters not re-evaluated upon instantiation (Module parameters not re-evaluated upon instantiation. verilator#7463) (Fix for Module parameters not re-evaluated upon instantiation (#7463) verilator#7477). [em2machine]
• Fix function-in-constraint internal error on bare port return (Fix function calls in constraints giving internal error verilator#7473) (Fix function-in-constraint internal error on bare port VarRef return (#7473) verilator#7480). [Yilou Wang]
• Fix access to static variable inside function (Fix failing access to static variable inside task or function verilator#7474) (Fix access to static variable inside function (#7474) verilator#7475). [Alex Zhou]
• Fix multiple inclusion of verilated_std.sv (follow-up about MODDUP verilator#7478). [Larry Doolittle]
• Fix std::randomize inside {typedef array} internal error (Fix std::randomize inside {typedef array} internal error (#7476) verilator#7481). [Yilou Wang]
• Fix module parameters not re-evaluated upon instantiation (Module parameters not re-evaluated upon instantiation. verilator#7463) (Fix for Module parameters not re-evaluated upon instantiation (#7463) verilator#7477). [em2machine]
• Fix infinite recursion with VERILATOR_BIN (bin/verilator: infinite recursion / fork bomb when VERILATOR_BIN points at the Perl wrapper itself verilator#7496) (Fix infinite recursion with VERILATOR_BIN (#7496)) verilator#7497).