verilator-bin 5.054

Automated build of verilator-bin 5.054.

Upstream: https://github.com/verilator/verilator/releases/tag/v5.054

Upstream changes

Verilator 5.054 2026-11-01

Important:

• Add --coverage-branch separate from --coverage-line (#8091). [Ryszard Rozak]
  Previous users of --coverage-line may need to add --coverage-branch.

Other:

• Add type check on queue assignments (#5370). [Alex Solomatnikov]
• Add error on scalar assigned to unpacked struct (#7460) (#8780). [Jonathan Drolet]
• 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]
• Add --output-groups-max-size option (#8732). [Artur Bieniek, Antmicro Ltd.]
• Add WIDTHDIGITS warning instead of error on too wide literals (#8736). [Mateusz Gancarz, Antmicro Ltd.]
• Add array size checks on parameters and function arguments (#8798). [Jonathan Drolet]
• Add error on union patterns (#8806). [Geza Lore, Testorrent USA, Inc.]
• Add UNOPTPUBLIC warning on use of 'public' (#8739) (#8879). [Geza Lore, Testorrent USA, Inc.]
• Add error on --lib-create with multiple top modules. [Geza Lore, Testorrent USA, Inc.]
• 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.
• Change --protect to use SHA512 per IEEE 1735.
• Change verilator_coverage to optimized executable (#8542). [Jared Bold]
• Support unpacked struct and multi-dimensional array parameters (#2272) (#4285) (#8779). [Jonathan Drolet]
• Support multi-dimensional module instance arrays (#2675) (#8476). [Geza Lore, Testorrent USA, Inc.]
• Support DPI unpacked open array (#3198). [Julie Schwartz]
• Support different pull directions on bit-selected net (#3988). [Al Grant]
• Support unpacked structs in DPI-C calls (#4679) (#8828). [Marco Bartoli]
• Support dynamic arrays and queues in DPI (#5863) (#8929). [Marco Bartoli]
• 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.]
• Support nested array and associative array element member access in constraint (#8244). [Kamil Danecki, Antmicro Ltd.]
• Support nested dynamic array and member access in foreach constraint (#8245). [Kamil Danecki, Antmicro Ltd.]
• Support rand dynamic arrays used inside with clause of randomize (#8246). [Kamil Danecki, Antmicro Ltd.]
• 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]
• Support waiting on clocking block event through modport (#8403) (#8530). [Saqib Khan]
• Support enclosing cross identifiers in bin selections (#8416). [Marco Bartoli]
• Support VPI access to packed struct and union members (#8423) (#8473). [Felipe Paiva Alencar]
• Support dynamic cross layouts and fix covergroup bin exclusions priority (#8424). [Marco Bartoli]
• Support more precise FSM coverage states and arcs (#8436). [Igor Zaworski, Antmicro Ltd.]
• Support VPI iteration of interface references (#8448). [Todd Strader]
• Support automatic bins for enum coverpoints (#8462) (#8464). [David Harris]
• Support Windows solver pipe in verilated_random (#8491). [Simon Zhang]
• Support empty queue literals as function and task arguments (#8501) (#8502). [Francesco Urbani]
• Support covergroup fixed-size bin arrays (#8514). [Marco Bartoli]
• Support wildcard bins (#8516). [Marco Bartoli]
• Support coverpoint bin with filters (#8518). [Marco Bartoli]
• Support $readmemh to associative and dynamic arrays (#8590). [Martin Velay]
• Support inout ports at the hierarchical boundary (#8646). [Yutetsu TAKATSUKASA]
• Support parameter overrides that use ?: to pick a pattern (#8671). [Michael Bedford Taylor]
• Support cross cover with filters (#8729). [Marco Bartoli]
• Support cross bin with filter matches counts (#8763). [Marco Bartoli]
• Support Boolean logical compare against string empty (#8810). [Marco Bartoli]
• Support parameterized class reference without #() as NONSTD warning (#8813). [Marco Bartoli]
• Support option.at_least at covergroup and cross level (#8566). [Matthew Ballance]
• Support pre/post increment/decrement in all expressions. [Geza Lore, Testorrent USA, Inc.]
• Support coverpoint and cross get_inst_coverage() (#8901). [Marco Bartoli]
• Optimize leading zeros in VCD dumps (#6104).
• 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.]
• Optimize redundant vertex cache lookups in DFG peephole (#8283). [Geza Lore, Testorrent USA, Inc.]
• Optimize DFG vertex iteration callbacks (#8284). [Geza Lore, Testorrent USA, Inc.]
• Optimize redundant memoization in DFG CSE (#8285). [Geza Lore, Testorrent USA, Inc.]
• Optimize DFG synthesis of simple continuous assignments (#8286). [Geza Lore, Testorrent USA, Inc.]
• Optimize more selects in DFG (#8292). [Geza Lore, Testorrent USA, Inc.]
• 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 successive whole-element array assignments (#8316). [Patrick Creighton]
• 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]
• 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 DFG temporary sharing across module instances (#8456). [Michael Bedford Taylor]
• 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.]
• Optimize threaded variables by writer (#8519). [Michael Bedford Taylor]
• Optimize assertion control queries (#8547). [Artur Bieniek, Antmicro Ltd.]
• Optimize sched-initial/static/final split to once per sub-function (#8549). [Krzysztof Bieganski, Antmicro Ltd.]
• Optimize exhaustive case if-chains with an unconditional else (#8554). [Nick Brereton]
• Optimize aggregate variables by splitting to components (#8610). [Geza Lore, Testorrent USA, Inc.]
• Optimize concatenation of bitwise operations in DFG (#8625). [Geza Lore, Testorrent USA, Inc.]
• Optimize output port aliasing of instances for better combining (#8635). [Geza Lore, Testorrent USA, Inc.]
• Optimize bitwise operations of unaligned selects in DFG (#8636). [Geza Lore, Testorrent USA, Inc.]
• Optimize DFG synthesize selection flag propagation (#8637). [Bartłomiej Chmiel, Antmicro Ltd.]
• Optimize temporary variable reuse across multiple instances (#8639). [Geza Lore, Testorrent USA, Inc.]
• Optimize C++ compile times by avoiding class namespace lookup (#8655). [Andrew Nolte]
• Optimize compiler builtins for population counts (#8676). [Patrick O'Neill]
• Optimize aligned word extract. [Geza Lore, Testorrent USA, Inc.]
• Optimize spin waits on AArch64 (#8748). [Michael Bedford Taylor]
• Optimize waking worker threads for evaluations with little work (#8751). [Michael Bedford Taylor]
• Optimize %m of module instances for better combining (#8783). [Michael Bedford Taylor]
• Optimize concatenation of replications in DFG. [Geza Lore, Testorrent USA, Inc.]
• Optimize constant aggregate values into the constant pool (#8821). [Geza Lore, Testorrent USA, Inc.]
• Optimize identical compound operands in V3Const (#8847). [Nick Brereton]
• Optimize VPI symbol registrations to come from tables (#8848). [Nick Brereton]
• Optimize integral unpacked array initialization with bulk fills (#8853). [Michael Bedford Taylor]
• Optimize thread synchronization with per-thread progress words (#8866). [Varun Koyyalagunta, Testorrent USA, Inc.]
• Optimize wide variable zero resets (#8916). [Michael Bedford Taylor]
• Move module inlining after V3Scope (#1539) (#8453). [Geza Lore, Testorrent USA, Inc.]
• Improve parameterized hierarchical block substitution (#7009) (#8605). [Michael Bedford Taylor]
• Fix array slice crash when used as a bare value (#5132) (#8262). [Marco Frank]
• Fix missing error on virtual interface access outside the modport (#5152) (#8741). [Muhammad Saad]
• Fix finding default clocking in interface above class (#5212). [Alex Solomatnikov]
• Fix huge assign concats hanging (#5276). [Luiza de Melo]
• Fix function reference into generate case block (#5312) (#8532). [Hongseok Choi]
• Fix make rebuild on link library file change (#6794). [Domenic Wüthrich]
• Fix pattern type matching against nested aggregates (#7304).
• Fix covergroup-internal references multi-threaded ordering (#7779) (#8255). [Matthew Ballance]
• Fix threading instability in streaming queue operations (#7780).
• Fix wide queue streaming source over-read (#7780) (#8854). [Michael Bedford Taylor]
• Fix race in aborting exit when multithreaded (#7805).
• 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 unique{} constraint in randomize() with {} for size-constrained arrays (#8066). [Francesco Urbani]
• Fix phased solve...before diversity (#8189) (#8194). [Aditya Shevade]
• Fix array-size constraint on arrays inside base class (#8219). [Kornel Uriasz, Antmicro Ltd.]
• Fix multidimensional packed array type handling (#8235). [Artur Bieniek, Antmicro Ltd.]
• Fix library method argument references (#8252). [Geza Lore, Testorrent USA, Inc.]
• Fix CMake to call Verilator Perl wrapper (#8269) (#8270) (#8311). [Drew Risinger]
• Fix real values and unenforced rand/randc type-eligibility rules in constraints (#8273) (#8275) (#8276). [Aditya Shevade]
• Fix assignment pattern default fill of an array of unpacked structs (#8289). [Nick Brereton]
• Fix internal error on nested property instance (#8295) (#8734). [Ashvin Vaidyanathan]
• Fix escape strings in pattern formatting (#8297). [Marco Bartoli]
• Fix DECLFILENAME warning on nested declarations (#8302). [Martijn Wobbes]
• Fix cache of boundary vertices in DFG cycle-breaking (#8308). [Shriyans Sahoo]
• Fix property and sequence line coverage (#8314). [Andrii, Antmicro Ltd.]
• Fix wide typed pattern formatting primitives (#8325). [Marco Bartoli]
• Fix circular class inheritance hang (#8324) (#8545). [Saqib Khan]
• Fix V3InstrCount with recursive functions (#8327) (#8361). [Geza Lore, Testorrent USA, Inc.]
• 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 enum item reference through parameterized instance (#8347) (#8567). [Saqib Khan]
• 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 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 unique constraint with multiple arrays (#8378). [Kornel Uriasz, Antmicro Ltd.]
• 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 hierarchical enum reference error (#8389). [Xie Jiacheng]
• 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 waking --sc wrapper when DPI/delay makes work runnable (#8394) (#8534). [Nazar Zibilyuk]
• Fix compile-time blowup forcing large unpacked arrays (#8395). [Jonathan Drolet]
• Fix waiting on elements of associative arrays (#8396). [Nazar Zibilyuk]
• Fix false MULTIDRIVEN for writes in tasks never executed (#8401). [Artur Bieniek, Antmicro Ltd.]
• Fix $c() inside a DPI export (#8402). [Nazar Zibilyuk]
• Fix covergroup constructor initialization (#8410). [Marco Bartoli]
• Fix issues with configuring flex during build on MacOS (#8412). [Kaleb Barrett]
• Fix interface modport resolution against non-scope symbol tables (#8420). [Geza Lore, Testorrent USA, Inc.]
• Fix FSM coverage hierarchy being emitted as an absolute path (#8421). [Geza Lore, Testorrent USA, Inc.]
• Fix MSYS header include search to be after toolchain headers (#8422). [Kaleb Barrett]
• Fix losing coverage declarations if first in a module body (#8425). [Geza Lore, Testorrent USA, Inc.]
• Fix false thread race on VerilatedContext::lastContextp (#8428). [Michael Bedford Taylor]
• Fix force read update sensitivity performance (#8431) (#8433). [Jonathan Drolet]
• 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 clocking outputs with skew not driven where timing is off (#8484). [Marco Bartoli]
• Fix nonblocking event trigger never firing in suspendable processes (#8485). [Marco Bartoli]
• Fix synchronous drives of an unchanged value not assigning the signal (#8486). [Marco Bartoli]
• Fix cycle delay in synchronous drive not counting its clocking block (#8487). [Marco Bartoli]
• Fix false MULTIDRIVEN for a signal driven by multiple clocking blocks (#8489). [Marco Bartoli]
• Fix setting status of finished process immediately (#8503). [Ryszard Rozak, Antmicro Ltd.]
• Fix compilation error on invalid arithmetic operations (#5664) (#8504).
• 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.]
• Fix rand_mode(0) not preserving dynamic array of struct values used in a dist constraint (#8508) (#8509). [Kristof Marien]
• Fix duplicate struct declaration when inlining (#8515). [Ethan Sifferman]
• Fix bear version detection if uninstalled. [Geza Lore, Testorrent USA, Inc.]
• Fix enums inside randomize() with (#8517). [Kornel Uriasz, Antmicro Ltd.]
• Fix emitting public parameters (#8520). [Geza Lore, Testorrent USA, Inc.]
• Fix verilator_coverage report to align with get_coverage() (#8522) (#8524) (#8531). [Marco Bartoli]
• Fix verilator_coverage reports rounding incomplete coverage to 100.0% (#8523). [Jordan Carlin]
• Fix extern class method rejects matching virtual interface argument type (#8525) (#8526). [Kristof Marien]
• Fix of queue pop return value access (#8529) (#8511). [Igor Zaworski, Antmicro Ltd.]
• Fix derived class construction resets inherited per-instance rand_mode state (#8527) (#8528). [Kristof Marien]
• Fix crash on class handle passed to string port (#8536) (#8538). [Noam Gallmann]
• Fix coverage merge instances (#8540) (#8543). [Marco Bartoli]
• Fix stack depth calculations over calls (#8544). [Nick Brereton]
• Fix parameter overrides typed against the module template (#8546) (#8562). [em2machine]
• Fix nested fork captures shared between concurrent calls (#8548). [Jakub Wasilewski, Antmicro Ltd.]
• Fix cascading errors after unsupported class dot reference in parameter value (#8551). [Martijn Wobbes, Antmicro Ltd.]
• Fix vpi_put_value crash on NULL value pointer (#8553). [Nick Brereton]
• Fix --hierarchical parameter specialization name collisions (#8555) (#8565). [Marco Bartoli]
• Fix dehash of a suffix after a hashed name (#8556). [Ethan Sifferman]
• Fix constraint with foreach over assoc array of class handles (#8560) (#8561). [Kristof Marien]
• Fix coverage naming to separate/merge types correctly (#8563). [Marco Bartoli]
• Fix VPI rows for dynamic and class type variables (#8564). [Nick Brereton]
• Fix typenames to be more readable (#8568) (#8570). [Marco Bartoli]
• Fix excessive top-module name mangling (#8569). [Ethan Uppal]
• Fix Windows cmake flex error (#8571) (#8572). [yash]
• Fix %m in hierarchical models (#8575). [Geza Lore, Testorrent USA, Inc.]
• Fix underscore handling in decimal scans (#8576) (#8577). [Martin Velay]
• Fix hierarchical library block source ordering (#8578) (#8579). [Michael Bedford Taylor]
• Fix inline constraints on specialized inherited members (#8580) (#8581). [Martin Velay]
• Fix preserving macro argument depth during stringification (#8592) (#8596). [Martin Velay]
• Fix randomize shift operand widths (#8599) (#8602). [Martin Velay]
• Fix package removed while a struct type still refers to it (#8603). [Geza Lore, Testorrent USA, Inc.]
• Fix class specializations named before all their pins are folded (#8604). [Michael Bedford Taylor]
• Fix dimension queries of a local type in a reused parameterized template (#8609). [Geza Lore, Testorrent USA, Inc.]
• Fix missing data type on sliced $sampled of an unpacked array. [Geza Lore, Testorrent USA, Inc.]
• Fix crash on nonconsecutive repetition in implication consequent (#8612) (#8620). [Doha Nam]
• Fix reporting NOTIMING for properties requiring procedural timing (#8613) (#8640). [Nick Brereton]
• Fix stale property expression after s_eventually (#8614) (#8619). [Doha Nam]
• Fix type() comparison for matching predefined vector types (#8615) (#8766). [Raj bazx]
• Fix process::kill() to terminate descendant processes (#8617) (#8334). [Jakub Wasilewski, Antmicro Ltd.]
• Fix parameterized class reference inside a deferred class-scoped select (#8618) (#8638). [em2machine]
• Fix package and class names to be in different namespaces (#8621). [Szymon Jędras, Antmicro Ltd.]
• Fix --lib-create wrapper port order (#8626). [Michael Bedford Taylor]
• Fix boolean disjunction consequent after a multi-cycle antecedent never failing (#8627) (#8631). [Marco Brambilla]
• Fix type checks for aggregate types (#8634). [Bartłomiej Chmiel, Antmicro Ltd.]
• Fix connecting physical interface to virtual interface port (#8635). [Geza Lore, Testorrent USA, Inc.]
• Fix quadratic traversal during scoped link pass (#8653). [Andrew Nolte]
• Fix type checking of enum expressions (#8659). [Ryszard Rozak, Antmicro Ltd.]
• Fix method calls in constraints of nested rand objects (#8661). [Martijn Wobbes, Antmicro Ltd.]
• Fix class task output arguments generating invalid C++ (#8662). [Bartosz Skorowski, Antmicro Ltd.]
• Fix assoc arrays in constraints (#8666). [Pawel Klopotek, Antmicro Ltd.]
• Fix splitting assignments through handles or with intra-assignment timing (#8668). [Marco Bartoli]
• Fix leak in VPI for range objects (#8675). [Kaleb Barrett]
• Fix skipping coverage sampling completely when iff is false (#8681). [Marco Bartoli]
• Fix internal error on sampled value function in cover sequence (#8682) (#8683). [Doha Nam]
• Fix reordering assignments through handles or with intra-assignment timing (#8688). [Marco Bartoli]
• Fix randomize() with on parameterized class target (#8689) (#8749). [Kristof Marien]
• Fix $sscanf format widths (#8696).
• Fix $readmem/$writemem descending order (#8698).
• Fix function ports with disable by name (#8700).
• Fix clocking blocks with multiple edges (#8709).
• Fix intra-assignment timing controls to be evaluated once by the executing process (#8712). [Marco Bartoli]
• Fix NBAs to struct members of array elements in a suspendable process or fork (#8714). [Marco Bartoli]
• Fix missing error on NBAs to elements of dynamically-sized struct members (#8715). [Marco Bartoli]
• Fix pending intra-assignment NBAs of a process sharing their values (#8716). [Marco Bartoli]
• Fix errors when naming parameter specializations (#8718). [Michael Bedford Taylor]
• Fix narrower signed case item extension against unsigned case (#8720) (#8755). [Raj bazx]
• Fix bounded queue insert() ignoring size limit (#8724). [Yash Raj]
• Fix pending NBA values declared inside processes (#8725). [Marco Bartoli]
• Fix overly aggressive DFG peephole pattern (#8728). [Geza Lore, Testorrent USA, Inc.]
• Fix disable iff not aborting pending SVA attempts between clock ticks (#8733). [Artur Bieniek, Antmicro Ltd.]
• Fix inappropriate warnings in covergroups (#8744). [Andrii Andrieiev, Antmicro Ltd.]
• Fix --hierarchical and --lib-create wrapper with long port names (#8746). [Artur Bieniek, Antmicro Ltd.]
• Fix trigger debug messages to show long identifiers (#8747). [Artur Bieniek, Antmicro Ltd.]
• Fix crash on toggle coverage of property and sequence ports (#8745) (#8760). [Ashvin Vaidyanathan]
• Fix internal error on increment/decrement in covergroup expressions (#8753). [Marco Bartoli]
• Fix ++/-- not lowered after the first statement needing a temporary. [Geza Lore, Testorrent USA, Inc.]
• Fix --x-assign unique skipping statements after the first. [Geza Lore, Testorrent USA, Inc.]
• Fix internal error on procedural cycle delay with non-constant count (#8754). [Marco Bartoli]
• Fix cycle delays with sequence or property arguments rejected as non-constant (#8759). [Marco Bartoli]
• Fix C++14 build of the randomization and VPI run-time libraries (#8764). [Michael Bedford Taylor]
• Fix clocking drive issued after the clock edge being applied a cycle late (#8771) (#8772). [Andrei Girjoaba]
• Fix primary pass this resolution when owner is still generic (#8774). [Mateusz Gancarz, Antmicro Ltd.]
• Fix exponentiation width resolution (#8775).
• Fix clocking output skews re-evaluating time steps and rounding to zero (#8777). [Marco Bartoli]
• Fix deleting referenced variables in dead code (#8778). [Geza Lore, Testorrent USA, Inc.]
• Fix --make json manifest paths containing symbolic links. [Geza Lore, Testorrent USA, Inc.]
• Fix unique if lowering dangling hierarchical references. [Geza Lore, Testorrent USA, Inc.]
• Fix branch prediction direction when inverting if condition. [Geza Lore, Testorrent USA, Inc.]
• Fix CMake hierarchical build with a relative DIRECTORY under a symbolic link. [Geza Lore, Testorrent USA, Inc.]
• Fix base-class method as implementation of interface class pure virtual method (#8781) (#8782). [Kristof Marien]
• Fix Z constants in unpacked aggregate patterns (#8820). [Geza Lore, Testorrent USA, Inc.]
• Fix tracing of hierarchical blocks when opened before first eval (#8790) (#8826). [Geza Lore, Testorrent USA, Inc.]
• Fix --hierarchical block builds with -work (#8791). [Will Keen]
• Fix module controls on modules found by library search (#8793 fallout). [Geza Lore, Testorrent USA, Inc.]
• Fix and check assoc/wild/dynamic/queue assignment pattern keys (#8797). [Geza Lore, Testorrent USA, Inc.]
• Fix VL_DANGLING no-op on MSVC (#8786). [Simon Zhang]
• Fix parameter array concatenates (#8788). [Jonathan Drolet]
• Fix names of instances in unnamed instances and library/hierarchical builds (#8789). [Geza Lore, Testorrent USA, Inc.]
• Fix incorrect bind into --lib-create stub (#8793). [Bartłomiej Chmiel, Antmicro Ltd.]
• Fix NBAs with intra-assignment delays to targets selected by function calls (#8801). [Marco Bartoli]
• Fix NBAs at time 0 in modules with non-inlined tasks (#8802). [Marco Bartoli]
• Fix decomposition of structs with member default values (#8805). [Geza Lore, Testorrent USA, Inc.]
• Fix unpacked array assignments/comparisons with reversed directions (#8808). [Geza Lore, Testorrent USA, Inc.]
• Fix arrays spliced into unpacked array concatenations and patterns (#8809). [Geza Lore, Testorrent USA, Inc.]
• Fix performance of array element writes in constant functions (#8811). [Geza Lore, Testorrent USA, Inc.]
• Fix wrong results for signed operations on zero-extended locals (#8815) (#8817). [Karel Peeters]
• Fix Program Files in PYTHON3 for Windows (#8819). [Simon Zhang]
• Fix constant pool crash on typedefed arrays. [Geza Lore, Testorrent USA, Inc.]
• Fix array reduction result widths (#8827) (#8839). [qinkejiu]
• Fix waiver path separator matching on Windows (#8830). [Simon Zhang]
• Fix method call and member select on a cast (#8831) (#8832). [Francesco Urbani]
• Fix internal error on $past of an unpacked array element (#8834). [Geza Lore, Testorrent USA, Inc.]
• Fix sensitivity to a member through a null virtual interface (#8840). [Marco Bartoli]
• Fix real comparison of NaN with itself (#8849). [Nick Brereton]
• Fix BLKANDNBLK on clocking output driven by a non-blocking assignment (#8858) (#8859). [Andrei Girjoaba]
• Fix ASSIGNIN on force/release of a part of an input port. [Geza Lore, Testorrent USA, Inc.]
• Fix modport interface port connected to port without modport. [Geza Lore, Testorrent USA, Inc.]
• Fix member select on hierarchical function call result. [Geza Lore, Testorrent USA, Inc.]
• Fix side effects lost in constant comparisons. [Geza Lore, Testorrent USA, Inc.]
• Fix side effects in case item expressions evaluated more than once. [Geza Lore, Testorrent USA, Inc.]
• Fix <-> evaluating impure operands more than once. [Geza Lore, Testorrent USA, Inc.]
• Fix increment in expression under generate block. [Geza Lore, Testorrent USA, Inc.]
• Fix hierarchical references in functions under generate blocks. [Geza Lore, Testorrent USA, Inc.]
• Fix false LATCH warning on unique if (#8865). [Christopher Onyiuke]
• Fix non-cutable scheduling loop on RW references in comb logic. [Geza Lore, Testorrent USA, Inc.]
• Fix non-ANSI modport port declarations dropping dimensions and names. [Geza Lore, Testorrent USA, Inc.]
• Fix slow elaboration with wide parameters in type names (#8887). [Geza Lore, Testorrent USA, Inc.]
• Fix typedef of parameterized class without #() (#8888). [Marco Bartoli]
• Fix covergroup transition bins counting the first sample and overlapping sequences (#8889). [Marco Bartoli]
• Fix foreach using wrong bound after two or more fixed dimensions (#8891). [Chen Ben-Haroosh]
• Fix unlimited bin sequence limit and fix negative and >64bit values (#8893). [Marco Bartoli]
• Fix dynamic array of events writablility (#8897).
• Fix method calls in conditions (#8900). [Marco Bartoli]
• Fix iff guards on bins auto[N] (#8902). [Marco Bartoli]
• Fix short-circuit of member select of function call (#8903). [Marco Bartoli]
• Fix bounded queue assignment dropping one element (#8904). [Marco Bartoli]
• Fix firing of change sensitivities at time 0 (#8911). [Geza Lore, Testorrent USA, Inc.]
• Fix internal error on substituting aggregate values (#8923). [Geza Lore, Testorrent USA, Inc.]
• Fix short-circuited calls writing output arguments (#8928). [Michael Wrighton]
• Fix wired net losing constant drivers (#8937). [Michael Wrighton]
• Fix unpacked array concatenation splicing multidimensional arrays (#8947). [Geza Lore, Testorrent USA, Inc.]
• Fix splitting statements around calls of non-inlined functions (#8951). [Geza Lore, Testorrent USA, Inc.]
• Fix trace enable mask with sparse dumpvars (#8955) (#8956). [Vladimir Silyaev]
• Fix tracing unselected events (#8958) (#8959). [Vladimir Silyaev]
• Fix missing declaration of virtual interface types in headers (#8976). [Geza Lore, Testorrent USA, Inc.]
• Fix nested loop unrolling substituting later assignments (#8980). [Geza Lore, Testorrent USA, Inc.]
• Fix incorrect virtual dispatch of class-scoped method calls (#8983). [Geza Lore, Testorrent USA, Inc.]
• Fix VPI register leak (#8993). [Leandro Ajo]