Verilator 5.030 2024-10-27 released

[wsnyder]

Verilator 5.030 2024-10-27

Major:

• Add -output-groups to build with concatenated .cpp files (Parallel simulation builds with concatenated .cpp files (v2) verilator#5257). [Mariusz Glebocki]
• Self-tests have been converted to Python, run {test_name}.py instead of {test_name}.pl.

Minor:

• Change .vlt config files to be read before .v files (Change to read config files first verilator#5185). [David Moberg]
• Change to use maximum for cover point aggregation (Coverage: use max instead of min for point aggregation verilator#5402). [Andrew Nolte]
• Change --main and --binary to use a TOP hierarchy name of "" (Change --main and --binary to omit TOP name verilator#5482).
• Change install of public executables into bindir instead of pkgdatadir (Installation of architecture specific binaries isn't FHS compatible verilator#5140) (Install public executables into bindir instead of pkgdatadir (#5140) verilator#5544). [Geza Lore]
• Support IEEE-compliant intra-assign delays (Continuous delayed assignment descheduling verilator#3711) (Support IEEE-compliant intra-assign delays (#3711) verilator#5441). [Krzysztof Bieganski, Antmicro Ltd.]
• Support wor, trior, wand, triand (Support for wired OR and wired AND nets verilator#5386) (Support wor, trior, wand, and triand nets (#5386) verilator#5496). [Zhou Shen]
• Support unconstrained randomization for unions (Unsupported Union Randomization verilator#5395) (Support unconstrained randomization for union (#5395) verilator#5396). [Yilou Wang]
• Support basic constrained queue randomization (Basic constrained queue randomization verilator#5413). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support packed/unpacked and dynamic array unconstrained randomization (Support for Unconstrained Randomization of Packed and Unpacked Arrays verilator#5414) (Support packed/unpacked and dynamic array unconstrained randomization (#5414) verilator#5415). [Yilou Wang]
• Support appending to queue via [] (Support appending to queue via [] verilator#5421). [Krzysztof Bieganski, Antmicro Ltd.]
• Support named event locals (Support named event locals (#4495) verilator#5422). [Krzysztof Bieganski, Antmicro Ltd.]
• Support basic dist constraints (Add basic support for dist constraints verilator#5431). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support unpacked array constrained randomization (Support for Constrained Randomization of Unpacked Arrays verilator#5437) (Support unpacked array Constrained Randomization (#5437) verilator#5489). [Yilou Wang]
• Support inside array constraints (Support inside array constraints (#5446) verilator#5448). [Arkadiusz Kozdra, Antmicro Ltd.]
• Support DPI imports and exports with double underscores (Support DPI imports and exports with double underscores verilator#5481).
• Support ccache when compiling Verilated files with cmake.
• Support local and protected on typedef (Support checking access qualifier for typedef inside class verilator#5460).
• Support unconstrained randomization for associative array and queue (Support unconstrained randomization for associative array and queue (#4625) verilator#5515). [Yilou Wang]
• Support rand dynamic arrays of objects (Support rand dynamic arrays of class objects verilator#5557) (Support rand dynamic arrays of objects (#5557) verilator#5564). [Ryszard Rozak, Antmicro Ltd.]
• Add error on misused genvar (verilator generates incorrect C++ code when genvar is used incorrectly verilator#408). [Alex Solomatnikov]
• Add error on instances without parenthesis.
• Add Docker pre-commit hook (Support pre-commit via docker image on docker hub verilator#5238) (Add Docker pre-commit hook (#5238) (#5452) verilator#5452). [Chris Bachhuber]
• Add partial coverage symbol and branch data in lcov info files (Branch coverage in .info files, ~ symbol for partial coverage verilator#5388). [Andrew Nolte]
• Add method to check if there are VPI callbacks of the given type (Add method to check if there are VPI callbacks of the given type verilator#5399). [Kaleb Barrett]
• Remove warning on unsized numbers exceeding 32-bits.
• Improve Verilation thread pool (Thread pool rewrite verilator#5161). [Bartłomiej Chmiel, Antmicro Ltd.]
• Improve performance of V3VariableOrder with parallelism (Parallelize V3VariableOrder verilator#5406). [Bartłomiej Chmiel, Antmicro Ltd.]
• Improve parser error handling (Better error recovery verilator#5493). [Arkadiusz Kozdra, Antmicro Ltd.]
• Improve process trigger performance (Generate one trigger per SenItem instead of per SenTree verilator#5483). [Geza Lore]
• Fix suppression of WIDTH* warnings when immediately under a size cast (SystemVerilog size (tick) operator with expressions verilator#3417).
• Fix $fatal to not be affected by +verilator+error+limit ($fatal leads to coredump and should not be affected by +verilator+error+limit verilator#5135). [Gökçe Aydos]
• Fix equivalence checking when replacing type parameters (Failed parameter type override in class verilator#5213) (Fix equivalence checking when replacing type parameters (#5213) verilator#5255). [Han Qi]
• Fix display with multiple string formats (Fix SIGSEGV on display with multiple formats verilator#5311). [Luiza de Melo]
• Fix performance of V3Trace when many activity blocks (Verilator Unexpected Crash at traceAll verilator#5372). [Deniz Güzel]
• Fix REALCVT warning on integral timescale conversions (%Warning-REALCVT with variable of type time verilator#5378). [Liam Braun]
• Fix multidimensional function return value selects (Accessing a two dimensional return value from a function leads to syntax error verilator#5382). [Gökçe Aydos]
• Fix internal error in out-of-range select (Internal error in V3DfgPeephole on out-of-range verilator#5393) (Remove out of range Sel in V3Unknown verilator#5443). [Geza Lore]
• Fix dot fallback finding wrong symbols (Fix dot fallback finding wrong symbols verilator#5394). [Arkadiusz Kozdra, Antmicro Ltd.]
• Fix infinite recursion due to recursive functions/tasks (Fix infinite recursion due to recursive functions/tasks verilator#5398). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix V3Randomize compile error on old GCC (make error V3Randomize verilator#5403) (Fix V3Randomize compile error on old GCC (#5403) verilator#5417). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix extra events in traces (Fix extra events in traces verilator#5405).
• Fix empty foreach in if in constraints (Fix foreach on empty array under if in constraints verilator#5408). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix queue [$-i] select as reference argument (Fix queue [$-i] select as reference argument verilator#5411). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix pre/post_randomize on randomize() with (Call pre/post_randomize on randomize() with verilator#5412). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix capturing params in randomize() with (Internal Error: ../V3Randomize.cpp:925: Invalid reference? verilator#5416) (Fix capturing params in randomize() with (#5416) verilator#5418). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix sformatf internal error on initial automatics (sformatf internal error verilator#5423). [Todd Strader]
• Fix clearing trigger of events with no sensitivity trees (Fix clearing trigger of events with no sentrees verilator#5426). [Arkadiusz Kozdra, Antmicro Ltd.]
• Fix driving clocking block in reactive region (Fix driving clocking block in Reactive phase verilator#5430). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix associative array next/prev/first/last mis-propagating constants (Fix associative array next/prev mis-propagating constant verilator#5435). [Ethan Sifferman]
• Fix randomize treated as std::randomize in classes (Fix randomize treated as std::randomize in classes verilator#5436). [Arkadiusz Kozdra, Antmicro Ltd.]
• Fix foreach colliding index names (Fix foreach constraint colliding index names verilator#5444). [Arkadiusz Kozdra, Antmicro Ltd.]
• Fix fault on defparam with UNSUPPORTED ignored (SIGABRT with defparam verilator#5450). [Luiza de Melo]
• Fix class reference with pin that is a class reference (Error when specializing a class by the same class verilator#5454).
• Fix not reporting class reference with extra parameters (Non-parameterized class takes parameters verilator#5467).
• Fix user-type parameter overlap (fix user type parameter conflation verilator#5469). [Todd Strader]
• Fix tracing when name() is empty (FST trace code asserts when model name is empty verilator#5470). [Sam Shahrestani]
• Fix timing mode not exiting on empty events (program block does not terminate simulation verilator#5472).
• Fix coverage counts missing due to table optimization (Coverage count not updated during ConstPool lookup verilator#5473) (Fix table optimization dropping coverage points (#5473) verilator#5474). [Vito Gamberini]
• Fix --binary with .cpp PLI filenames under relative directory paths.
• Fix extra dot in coverage point hierarchy when using name()=''.
• Fix short-circuiting with associative array access (Fix Short Circuiting with Associative Array Accesses verilator#5484). [Ethan Sifferman]
• Fix short-circuiting on method calls (Fix Short Circuiting with Associative Arrays of Dynamic Arrays verilator#5486). [Ethan Sifferman]
• Fix exponential concatenate performance (Fix exponential ConcatN verilator#5488). [Arkadiusz Kozdra, Antmicro Ltd.]
• Fix V3Table trying to generate 'x' bits in the lookup table. (Fix V3Table trying to generate 'x' bits in the lookup table. verilator#5491). [Geza Lore]
• Fix randomize with foreach constraints (Fix randomize with foreach constraints verilator#5492). [Arkadiusz Kozdra, Antmicro Ltd.]
• Fix explicit CMAKE_INSTALL_PREFIX usages (Remove explicit CMAKE_INSTALL_PREFIX usages verilator#5500). [Fabian Keßler]
• Fix configure inserting absolute paths for Python and Perl (Avoid tool absolute paths in autoconf that configure cmake.  verilator#5504) (Fix configure inserting absolute paths for Python and Perl (#5504) verilator#5505). [Nathan Graybeal]
• Fix pattern initialization with typedef key (Internal error with structure initialization using default with custom type verilator#5512). [Eugene Feinberg]
• Fix -j option without argument in hierarchical Verilation (Fix -j option without argument in hierarchical verilation verilator#5514). [Ryszard Rozak, Antmicro Ltd.]
• Fix foreach with 2-D queues and dynamic arrays (Issue with foreach[i, j] on queue and dynamic array verilator#5525) (Fix foreach with 2-D queues and dynamic arrays (#5525) verilator#5529). [Yilou Wang]
• Fix struct array assignment (Support Struct Array Unconstrained Randomization verilator#5455) (Fix struct array assignment (#5455) verilator#5537). [Yilou Wang]
• Fix copy constructor of classes that use std::process (Fix copy constructor of classes that use std::process verilator#5528). [Ryszard Rozak, Antmicro Ltd.]
• Fix foreach on associative array (Fix foreach on associative arr with the same logic and update the tests verilator#5530). [Yilou Wang]
• Fix multi-range indices assignment (Randomization Issue with Multi-Range Unpacked Arrays verilator#5534) (Fix multi-range indices assignment (#5534) verilator#5547). [Yilou Wang]
• Fix static function wrappers (Fix static function wrappers verilator#5536). [Ryszard Rozak, Antmicro Ltd.]
• Fix assignments of concatenation to queues and dynamic arrays (Fix assignments of concatenation to queue and dyn array verilator#5540). [Ryszard Rozak, Antmicro Ltd.]
• Fix container reduction methods (Fix reduction methods for verilated types verilator#5542). [Krzysztof Boroński]
• Fix complex user type problem with --x-assign (Fix complex user type problem with --x-assign verilator#5543). [Todd Strader]
• Fix long module names crashing string handling (Long module names cause simulation to fail. Is there some limit? verilator#5546). [Filip Badáň]
• Fix array trace splitting (Fix array trace splitting verilator#5549). [Todd Strader]
• Fix queue element access (Fix queue element access verilator#5551). [Ryszard Rozak, Antmicro Ltd.]
• Fix struct literal on pattern assignment (struct literal internal error verilator#5552) (Fix struct literal on pattern assignment (#5552) verilator#5559). [Todd Strader]
• Fix build on gcc when using the Spack wrapper (fix: build on gcc when using the spack wrapper verilator#5555). [Eric Müller]
• Fix enum name method (Fix enum name method verilator#5563). [Todd Strader]
• Fix $countbits in assert with non-tristates (Internal error with $countbits in property assertion verilator#5566). [Shou-Li Hsu]