Verilator 5.028 2024-08-21 released

[wsnyder]

Verilator 5.028 2024-08-21

Minor:

• Support state-dependent constraints (verilator/verilator#5217). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support cross-module clocking variable access (verilator/verilator#5184). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support inline constraints for class randomization methods (verilator/verilator#5234). [Krzysztof Boroński]
• Support clocking blocks in virtual interfaces (verilator/verilator#5235). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support $assertcontrol assertion_type (verilator/verilator#5236). [Bartłomiej Chmiel, Antmicro Ltd.]
• Support conditional constraints (verilator/verilator#5245). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support--compiler-include headers in user-supplied cpp files (verilator/verilator#5271). [Bartłomiej Chmiel, Antmicro Ltd.]
• Support rand_mode (verilator/verilator#5273). [Krzysztof Bieganski, Antmicro Ltd.]
• Support this.randomize with (verilator/verilator#5282). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support foreach constraints (verilator/verilator#5302). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support parameter type in hierarchical blocks (verilator/verilator#5309) (verilator/verilator#5333). [Bartłomiej Chmiel, Antmicro Ltd.]
• Support assertcontrol directive type (verilator/verilator#5310). [Bartłomiej Chmiel, Antmicro Ltd.]
• Support inline random variable control (verilator/verilator#5317). [Krzysztof Bieganski, Antmicro Ltd.]
• Support streaming operator on arrays and wide data (verilator/verilator#5326). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support streams to/from arrays of wide data (verilator/verilator#5334). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support constraint_mode (verilator/verilator#5338). [Krzysztof Bieganski, Antmicro Ltd.]
• Support constraining AstSel (verilator/verilator#5344). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support default value on module input (verilator/verilator#5358) (verilator/verilator#5373). [Drew Ranck]
• Add --compiler-include for additional C++ includes (verilator/verilator#5139) (verilator/verilator#5202). [Bartłomiej Chmiel, Antmicro Ltd.]
• Add --emit-accessors (verilator/verilator#5182) (verilator/verilator#5227). [Ryan Ziegler]
• Add suggestions on misspelled PLI functions.
• Add warning on dist in constraints (verilator/verilator#5264). [Arkadiusz Kozdra, Antmicro Ltd.]
• Add more rand_mode unsupported errors (verilator/verilator#5329). [Krzysztof Bieganski, Antmicro Ltd.]
• Add parsing but otherwise ignore std::randomize (verilator/verilator#5354). [Arkadiusz Kozdra, Antmicro Ltd.]
• Add Verilated cc define when --timing used (verilator/verilator#5383). [Kaleb Barrett]
• Improve emitted code to use a reference for VlSelf (verilator/verilator#5254). [Yangyu Chen]
• Fix monitor block sensitivity items (verilator/verilator#4400) (verilator/verilator#5294). [Udaya Raj Subedi]
• Fix fusing macro arguments to not ignore whitespace (verilator/verilator#5061). [Tudor Timi]
• Fix optimized-out sensitivity trees with --timing (verilator/verilator#5080) (verilator/verilator#5349). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix classes/modules of case-similar names (verilator/verilator#5109). [Arkadiusz Kozdra]
• Fix mis-removing $value$plusargs calls (verilator/verilator#5127) (verilator/verilator#5137). [Seth Pellegrino]
• Fix incorrect result of width mismatch (verilator/verilator#5186) (verilator/verilator#5189). [Yutetsu TAKATSUKASA]
• Fix compiler coroutine check (verilator/verilator#5190) (verilator/verilator#5300). [Ricardo Barbedo]
• Fix shortened module names when searching for files (verilator/verilator#5196) (verilator/verilator#5246). [Tim Hutt]
• Fix --x-assign to be independent from +verilator+rand+reset (verilator/verilator#5214). [Andrew Nolte]
• Fix splitting if statements with impure conditions (verilator/verilator#5219). [Bartłomiej Chmiel, Antmicro Ltd.]
• Fix unknown conversion on queues (verilator/verilator#5220). [Alex Solomatnikov]
• Fix top-level unpacked structure resets (verilator/verilator#5221).
• Fix concurrency for mailbox and semaphores (verilator/verilator#5222). [Liam Braun]
• Fix forks capturing non-input ports in tasks (verilator/verilator#5237) (verilator/verilator#5343). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix toggle coverage aggregation on same line (verilator/verilator#5248). [Krzysztof Obłonczek]
• Fix error on empty generate with -O0 (verilator/verilator#5250).
• Fix unconstrained randomization of unpacked structs (verilator/verilator#5252). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix inlining of variables driven from forced vars (verilator/verilator#5259). [Geza Lore]
• Fix tracing with --main-top-name - (verilator/verilator#5261). [Ethan Sifferman]
• Fix randomization when used with inheritance (verilator/verilator#5268). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix inline constraints creating class random generator (verilator/verilator#5280). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix WIDTHEXPAND on left shift of intuitive amount (verilator/verilator#5284). [Greg Taylor]
• Fix elaborating foreach loops (verilator/verilator#5285). [Arkadiusz Kozdra, Antmicro Ltd.]
• Fix initializing static array in dynamic arrays and queues (verilator/verilator#5287). [Baruch Sterin]
• Fix static variable initializers in procedures (verilator/verilator#5296). [Bartłomiej Chmiel, Antmicro Ltd.]
• Fix randomizing current object with rand class instance member (verilator/verilator#5292). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix handling of rand fields not referenced in constraints (verilator/verilator#5305). [Ryszard Rozak, Antmicro Ltd.]
• Fix Python3 path discovery in make flows to avoid mixing system and user python interpreters (verilator/verilator#5307) [Markus Krause]
• Fix make flows to pass PYTHON3 (like PERL) (verilator/verilator#5307) (verilator/verilator#5308). [Markus Krause]
• Fix assert on wide expression (verilator/verilator#5319) (verilator/verilator#5324). [Varun Koyyalagunta]
• Fix output clock variable overwriting signal (verilator/verilator#5320) (verilator/verilator#5347). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix stringify in nested preprocessor macros (verilator/verilator#5323). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix $sformat with array arguments (verilator/verilator#5330). [Abe Jordan]
• Fix -Wunused-but-set-variable clang warning (verilator/verilator#5331). [Bartłomiej Chmiel, Antmicro Ltd.]
• Fix purity of functions with AstJumpBlock or AstStmtExpr (verilator/verilator#5332). [Ryszard Rozak, Antmicro Ltd.]
• Fix compilation error on unreachable disable fork / wait fork (verilator/verilator#5339). [Arkadiusz Kozdra, Antmicro Ltd.]
• Fix missing type coercion in 'inside {array}' (verilator/verilator#5340). [Arkadiusz Kozdra, Antmicro Ltd.]
• Fix +: and -: unpacked array slicing when array has nonzero low index (verilator/verilator#5345) (verilator/verilator#5387). [James Bailey]
• Fix tracing_{on,off} in the presence of non-inlined modules (verilator/verilator#5346). [Geza Lore]
• Fix NBAs in suspendables (verilator/verilator#5348). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix lint_off on Errors (verilator/verilator#5351) (verilator/verilator#5363). [Ethan Sifferman]
• Fix cache config file resolution performance (verilator/verilator#5369). [Geza Lore]
• Fix capturing fields from superclass in randomize() with (verilator/verilator#5389). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix virtual interface null checks (verilator/verilator#5391). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix ==? and !=? with X values.
• Fix CPU time being zero.
• Fix inline function ref port persistence.