Verilator 5.026 2024-06-15 released

[wsnyder]

Verilator 5.026 2024-06-15

Major:

• Support constrained randomization with external solvers (Constrained randomization with popen and external solvers verilator#4947). [Arkadiusz Kozdra, Antmicro Ltd.]

Minor:

• Support $psprintf system function (Non-LRM $psprintf support verilator#4314) (Support $psprintf system function (#4314) verilator#5169). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support 2D dynamic array initialization (Support 2D dynamic array initialization verilator#4700) ( Support 2D dynamic array initialization (#4700) verilator#5122). [Valentin Atepalikhin]
• Support __en/__out signals on top level inout ports (No __en or __out variables declared for top level inout ports verilator#4812) (Support __en/__out signals on top level inout ports (#4812) verilator#4856). [Paul Wright]
• Support empty queue as dynarray default value (Support empty queue as dynarray default value verilator#5055). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support vpiInertialDelay (Support vpiInertialDelay verilator#5087). [Todd Strader]
• Support NBAs to arrays inside loops (Support NBAs to arrays inside loops verilator#5092). [Geza Lore]
• Support parsing and otherwise ignoring inline constraints (randomize: Parse and ignore inline constraints verilator#5126). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support inout clocking items (Support inout clocking items verilator#5160). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support StructSel in unpacked array assignments (Support StructSel in unpacked array assignments verilator#5176). [Geza Lore]
• Add error on zero width select (Being able to specify a zero width in an indexed part-select operation violates LRM verilator#5028).
• Add CITATION.cff (Include a CITATION.ttf verilator#5057) (Add CITATION.cff (#5057) verilator#5058). [Gijs Burghoorn]
• Add VPI eval needed tracking (VPI dirtiness tracking verilator#5065). [Todd Strader]
• Add --localize-max-size option and optimization (Avoid stack overflow in models by not localising large variables verilator#5072).
• Add parameterless assert control system tasks (Add parameterless assert control system tasks verilator#5010). [Bartłomiej Chmiel]
• Add traceCapable indication to model header (Add traceCapable indication verilator#5053). [Vito Gamberini]
• Add increasing of stack size when possible (Dynamically set the stack size on Linux verilator#5071) (Add increasing of stack size when possible (#5071) verilator#5104). [Yinan Xu]
• Add assertion on reusing VerilatedContext (segfault during tracing - repeated runs with default VerilatedContext verilator#5167).
• Improve DFG regularization in cyclic graphs (Apply DFG regularization to cyclic graphs verilator#5142). [Geza Lore]
• Improve VerilatedVpiPutHolder storage requirements (Cleanup VerilatedVpiPutHolder a bit verilator#5144). [Kaleb Barrett]
• Fix coroutines without awaits to have a co_return (Move suspendable detection to a separate visitor verilator#4208) (Ensure coroutines without awaits have a co_return verilator#5175). [Arkadiusz Kozdra, Antmicro Ltd.]
• Fix missing flex include path variable (Mac OS missing FlexLexer.h verilator#4970) (Fix missing flex include path variable (#4970) verilator#4971). [Christopher Taylor]
• Fix missing parameters with comma to be errors (Linter allows commas in instance parameters where they are not allowed in Verilog verilator#4979) (Partial update to tests for issue # 4979 verilator#5012). [Paul Swirhun]
• Fix 'experimental/coroutine' file not found on MacOS (Fatal error: 'experimental/coroutine' file not found, on macOS using Clang latest verilator#5030) (Fix 'experimental/coroutine' file not found on macOS (#5030) verilator#5031) (libcxx: use the C++ 20 <coroutines> include file if it is available (#5031) verilator#5151). [Paul Bowen-Huggett]
• Fix bound queue printing (Fix bound queue printing verilator#5032). [Aleksander Kiryk, Antmicro Ltd.]
• Fix consecutive zero-delays (Fix consecutive #0s verilator#5038). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix attempted to destroy locked thread pool error (Fix attempted to destroy locked thread pool error verilator#5040). [Bartłomiej Chmiel, Antmicro Ltd.]
• Fix $system with string argument (Error Involving VL_SYSTEM_IN and VL_SYSTEM_IW verilator#5042).
• Fix width extension on delays (Delay with result of comparison causes invalid codegen verilator#5043).
• Fix $typename on array.min and others (Fix $typename return on array.min etc verilator#5049). [Gökçe Aydos]
• Fix make $(info) which cannot be silenced (Remove $(info) which cannot be silenced by -MAKEFLAGS '--quiet' (#5051) verilator#5059). [Gökçe Aydos]
• Fix CMake builds to export VERILATOR_ROOT (Export VERILATOR_ROOT when building in CMake verilator#5063). [Michael Bikovitsky]
• Fix false ASSIGNIN on functions with explicit port map (function Explicit Port Mapping reports Error-ASSIGNIN verilator#5069).
• Fix 4-state value support for $readmem ($readmemb and +verilator+rand+reset incompatible verilator#5070) (Fix 4-state value support for $readmem (#5070) verilator#5078). [Ethan Sifferman]
• Fix DFG assertion with SystemC (Fix DFG assertion with SystemC verilator#5076). [Geza Lore]
• Fix $typename string to be more standard (Tests for $typename (#5083) verilator#5082) (Fix $typename return strings to match IEEE verilator#5083). [Andrew Nolte]
• Fix missed optimization in V3Delayed (Fix missed optimization in V3Delayed verilator#5089). [Geza Lore]
• Fix macro expansion in strings per 1800-2023 (Incorrect macro expansion inside string literals verilator#5094). [Geza Lore]
• Fix width extension of unpacked array select (Incorrect result involving concat, ternary expression, and indexing with underflow verilator#5095). [Varun Koyyalagunta]
• Fix MacOS missing <type_traits> header (Missing <type_traits> header in verilated_trace.h verilator#5096) (Fix missing <type_traits> header (#5096) verilator#5097). [Vito Gamberini]
• Fix assertion failure in V3Gate (Fix assertion failure in V3Gate verilator#5101). [Yutetsu TAKATSUKASA]
• Fix aliases for forced port signals (Do not create aliases for forced port signals verilator#5105). [Geza Lore]
• Fix tracing interface functions (seg fault TraceDeclVisitor::removeRedundantPrefixPushPop() at ../V3TraceDecl.cpp:317 verilator#5108). [Alex Solomatnikov]
• Fix method calls parsing in constraints (Fix method calls parsing in constraints verilator#5110). [Arkadiusz Kozdra, Antmicro Ltd.]
• Fix vpiInertialDelay for memories (Fix vpiInertialDelay for memories verilator#5113). [Todd Strader]
• Fix hierarchical compilation with nested -F (nested -F file.F does't work with --hierarchical verilator#5114) (Fix hierarchical compilation with nested -F (#5114) verilator#5124). [Alex Solomatnikov]
• Fix references to ports in forks (Fix references to ports in forks verilator#5123). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix output C++ type error on change detect of I/O arrays (Vtrigprevexpr type do not match signal type, generated code fails to compile verilator#5125) (Fix Vtrigprevexpr type does not match signal type (#5125) verilator#5131). [Pawel Jewstafjew]
• Fix x-valued parameters with --x-assign unique (Bug with 4-state module parameters verilator#5129). [Ethan Sifferman]
• Fix overflow of string on VPI reads (Size of VPI read is statically limited verilator#5145) (Use dynamic string buffer for all VPI reads (#5145) verilator#5146). [Kaleb Barrett]
• Fix VerilatedVpiPutHolder class (Fix VerilatedVpiPutHolder class verilator#5156). [Kaleb Barrett]
• Fix extending out-of-range select ([DFG optimization pass] Internal error on out-of-range slice verilator#5159) (Extend out of range Select verilator#5164). [Geza Lore]
• Fix radix in width warnings (Reset radix in width warnings verilator#5166). [Geza Lore]
• Fix SystemC BITS_PER_DIGIT in VL_ASSIGN_SBW (Use SystemC BITS_PER_DIGIT in VL_ASSIGN_SBW verilator#5170). [Bartłomiej Chmiel, Antmicro Ltd.]
• Fix non-constant replication in concats (Non-constant replication in concats verilator#5171). [Arkadiusz Kozdra, Antmicro Ltd.]
• Fix table optimization when applied on real data type (The table optimization can lead to a compiler error when the optimized variable is of real type verilator#5172) (Fix table optimization when applied on real data type (#5172) verilator#5173). [Arthur Rosa]
• Fix DPI import of null C-string (Fix DPI import of null C-string verilator#5179).