Verilator 5.028 2024-08-21 released

[wsnyder]

Verilator 5.028 2024-08-21

Minor:

• Support state-dependent constraints (State-dependent constraints verilator#5217). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support cross-module clocking variable access (Support cross-module clockvars access verilator#5184). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support inline constraints for class randomization methods (Support inline constraints for class randomization methods verilator#5234). [Krzysztof Boroński]
• Support clocking blocks in virtual interfaces (Support clocking blocks in virtual interfaces verilator#5235). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support $assertcontrol assertion_type (Support assertcontrol assertion_type verilator#5236). [Bartłomiej Chmiel, Antmicro Ltd.]
• Support conditional constraints (Add support for conditional constraints verilator#5245). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support--compiler-include headers in user-supplied cpp files (Include --compiler-include headers in user-supplied cpp files  verilator#5271). [Bartłomiej Chmiel, Antmicro Ltd.]
• Support rand_mode (Support rand_mode verilator#5273). [Krzysztof Bieganski, Antmicro Ltd.]
• Support this.randomize with (Add support for this.randomize with verilator#5282). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support foreach constraints (Add support for foreach constraints verilator#5302). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support parameter type in hierarchical blocks (Support 'parameter type' in hierarchical blocks verilator#5309) (Support 'parameter type' in hierarchical blocks (#5309) verilator#5333). [Bartłomiej Chmiel, Antmicro Ltd.]
• Support assertcontrol directive type (Support assertcontrol directive type  verilator#5310). [Bartłomiej Chmiel, Antmicro Ltd.]
• Support inline random variable control (Support inline random variable control verilator#5317). [Krzysztof Bieganski, Antmicro Ltd.]
• Support streaming operator on arrays and wide data (Add support for streaming operator on arrays and wide data verilator#5326). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support streams to/from arrays of wide data (Support streams to/from arrays of wide data verilator#5334). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support constraint_mode (Support constraint_mode verilator#5338). [Krzysztof Bieganski, Antmicro Ltd.]
• Support constraining AstSel (Add support for constraining AstSel verilator#5344). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support default value on module input (Support default value on module input: verilator#5358) (Support default value on module input (#5358) verilator#5373). [Drew Ranck]
• Add --compiler-include for additional C++ includes (Unable to -include headers in Cflags due to precompile header verilator#5139) (Resolve unable to add additional includes to precompiled header verilator#5202). [Bartłomiej Chmiel, Antmicro Ltd.]
• Add --emit-accessors (Generating getters/setters for ports verilator#5182) (Add --emit-accessors verilator#5227). [Ryan Ziegler]
• Add suggestions on misspelled PLI functions.
• Add warning on dist in constraints (Warn on dist in constraints verilator#5264). [Arkadiusz Kozdra, Antmicro Ltd.]
• Add more rand_mode unsupported errors (More rand_mode unsupported errors verilator#5329). [Krzysztof Bieganski, Antmicro Ltd.]
• Add parsing but otherwise ignore std::randomize (Ignore std::randomize verilator#5354). [Arkadiusz Kozdra, Antmicro Ltd.]
• Add Verilated cc define when --timing used (Export --timing flag as define when building verilated models verilator#5383). [Kaleb Barrett]
• Improve emitted code to use a reference for VlSelf (V3EmitC: Use a reference instead of a pointer for VlSelf verilator#5254). [Yangyu Chen]
• Fix monitor block sensitivity items ($monitor prints intermediate values during simulation deltas verilator#4400) (Fix monitor block sensitivity items (#4400) verilator#5294). [Udaya Raj Subedi]
• Fix fusing macro arguments to not ignore whitespace (Fusing macro argument eats up whitespace verilator#5061). [Tudor Timi]
• Fix optimized-out sensitivity trees with --timing (A specific pattern is verilated into an infinite loop when optimizations are enabled verilator#5080) (Fix optimized out sentrees with --timing verilator#5349). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix classes/modules of case-similar names (Compilation error on classes with names differing in case verilator#5109). [Arkadiusz Kozdra]
• Fix mis-removing $value$plusargs calls (Optimizer removes side-effecting assignment in initial block verilator#5127) (Fix errant removal of some side-effecting assigns verilator#5137). [Seth Pellegrino]
• Fix incorrect result of width mismatch (Three-way XOR involving bit 31 of a vector evaluates incorrectly verilator#5186) (Fix incorrect result of width mismatch (#5186) verilator#5189). [Yutetsu TAKATSUKASA]
• Fix compiler coroutine check (Failure to compile on MacOS 13 with Apple Clang verilator#5190) (Fix compiler coroutine check (#5190) verilator#5300). [Ricardo Barbedo]
• Fix shortened module names when searching for files (Can't find modules with very long names verilator#5196) (Fix shortened module names when searching for files (#5196) verilator#5246). [Tim Hutt]
• Fix --x-assign to be independent from +verilator+rand+reset (Make rand-assign independent of rand-init verilator#5214). [Andrew Nolte]
• Fix splitting if statements with impure conditions (Prevent splitting if statements with impure conditions verilator#5219). [Bartłomiej Chmiel, Antmicro Ltd.]
• Fix unknown conversion on queues (C++ compile errors: operands to ‘?:’ have different types, base operand of ‘->’ is not a pointer, etc. verilator#5220). [Alex Solomatnikov]
• Fix top-level unpacked structure resets (CPP ERROR: Request for a member that is non class type  verilator#5221).
• Fix concurrency for mailbox and semaphores (Properly handle concurrency for mailbox and semaphores verilator#5222). [Liam Braun]
• Fix forks capturing non-input ports in tasks (Interface delays cause too many arguments in function call to TASK verilator#5237) (Fix forks capturing non-input ports in tasks verilator#5343). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix toggle coverage aggregation on same line (Fix toggle coverage aggregation verilator#5248). [Krzysztof Obłonczek]
• Fix error on empty generate with -O0 (Internal error on empty generate-for loop with -O0 verilator#5250).
• Fix unconstrained randomization of unpacked structs (Fix unconstrained randomization of unpacked structs verilator#5252). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix inlining of variables driven from forced vars (DFG: Allow inlining of variabels driven from forced vars verilator#5259). [Geza Lore]
• Fix tracing with --main-top-name - (FST Top module cannot be fully hidden verilator#5261). [Ethan Sifferman]
• Fix randomization when used with inheritance (Fix randomization when used with inheritance verilator#5268). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix inline constraints creating class random generator (Fix inline constraints creating class random generator verilator#5280). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix WIDTHEXPAND on left shift of intuitive amount (Incorrect %Warning-WIDTHEXPAND for shift operator (<<) verilator#5284). [Greg Taylor]
• Fix elaborating foreach loops (Add tests for simulating foreach loops verilator#5285). [Arkadiusz Kozdra, Antmicro Ltd.]
• Fix initializing static array in dynamic arrays and queues (Initializing a 2-D dynamic array results in an internal error: InitArray on non-array verilator#5287). [Baruch Sterin]
• Fix static variable initializers in procedures (Handle static variable with assignment declaration in automatic context verilator#5296). [Bartłomiej Chmiel, Antmicro Ltd.]
• Fix randomizing current object with rand class instance member (Fix randomizing current object with rand class instance member verilator#5292). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix handling of rand fields not referenced in constraints (Fix handling of rand fields not referenced in constraints verilator#5305). [Ryszard Rozak, Antmicro Ltd.]
• Fix Python3 path discovery in make flows to avoid mixing system and user python interpreters (Python "SRE module mismatch" as Vtop.mk does not set Python executable and verilator_includer hence defaults to system path verilator#5307) [Markus Krause]
• Fix make flows to pass PYTHON3 (like PERL) (Python "SRE module mismatch" as Vtop.mk does not set Python executable and verilator_includer hence defaults to system path verilator#5307) (ensure make flows do not call python3 with absolute system path (like perl) verilator#5308). [Markus Krause]
• Fix assert on wide expression (unique case with --assert falsely failing with multiple matches verilator#5319) (Fix assert on wide expression (#5319) verilator#5324). [Varun Koyyalagunta]
• Fix output clock variable overwriting signal (Cannot assign signals in interface that defines a clocking, even if clocking never used verilator#5320) (Fix output clockvar overwriting signal verilator#5347). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix stringify in nested preprocessor macros (Fix stringify in nested preprocessor macros verilator#5323). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix $sformat with array arguments (Trying to create array of strings causes Verilator to segfault, not sure why verilator#5330). [Abe Jordan]
• Fix -Wunused-but-set-variable clang warning (Fix -Wunused-but-set-variable clang warning verilator#5331). [Bartłomiej Chmiel, Antmicro Ltd.]
• Fix purity of functions with AstJumpBlock or AstStmtExpr (Fix purity of functions with AstJumpBlock or AstStmtExpr verilator#5332). [Ryszard Rozak, Antmicro Ltd.]
• Fix compilation error on unreachable disable fork / wait fork (Fix compilation error on unreachable disable fork / wait fork verilator#5339). [Arkadiusz Kozdra, Antmicro Ltd.]
• Fix missing type coercion in 'inside {array}' (Fix missing type coercion in 'inside {array}' verilator#5340). [Arkadiusz Kozdra, Antmicro Ltd.]
• Fix +: and -: unpacked array slicing when array has nonzero low index (Indexed vector part-select behaves incorrectly on arrays that have nonzero starting index range verilator#5345) (Fix +: and -: unpacked array slicing when array has nonzero low index. (#5345) verilator#5387). [James Bailey]
• Fix tracing_{on,off} in the presence of non-inlined modules (Fix tracing_{on,off} in the presence of non-inlined modules verilator#5346). [Geza Lore]
• Fix NBAs in suspendables (Fix NBAs in suspendables (#5084) verilator#5348). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix lint_off on Errors (lint_off -match includes Errors verilator#5351) (Prevent lint_off on Errors (#5351) verilator#5363). [Ethan Sifferman]
• Fix cache config file resolution performance (Always cache config file resolution results verilator#5369). [Geza Lore]
• Fix capturing fields from superclass in randomize() with (Fix capturing fields from superclass in randomize() with verilator#5389). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix virtual interface null checks (Fix virtual interface null checks verilator#5391). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix ==? and !=? with X values.
• Fix CPU time being zero.
• Fix inline function ref port persistence.