Verilator 5.024 2024-04-05 released

[wsnyder]

Verilator 5.024 2024-04-05

Major:

• Add printing summary reports, use --quiet or +verilator+quiet to suppress (Enhance Verilator to include compile and runtime statistics in its output at the End verilator#4909).
• Support 1800-2023 keywords, and parsing with UNDEFINED warnings.
• Support 1800-2023 preprocessor ifdef expressions.

Minor:

• Change 1800-2023 to be default language version.
• Add DFG 'regularize' pass, and improve variable removal (Add DFG 'regularize' pass, and improve variable removal verilator#4937). [Geza Lore]
• Add error when pass net to function argument (Verilator allows function outputs to be wires verilator#4132) (Add error when pass net to function argument (#4132) verilator#4966). [Fuad Ismail]
• Add UNUSEDLOOP when unused loop is removed (Warn when unused loop is removed verilator#4926). [Bartłomiej Chmiel, Antmicro Ltd.]
• Add custom version for verilator --version packaging (Allow for custom verilator revision for verilator --version verilator#4954). [Nolan Poe]
• Add error on missing pure virtual functions (Not implemented pure virtual method does not prevent compilation verilator#4961).
• Add error on calling static function without object (Unclear error on call of non-static method using scope reference verilator#4962).
• Add JSON AST dumps ( Add JSON AST dumps verilator#5020). [Szymon Gizler]
• Support 1800-2023 DPI headers, svGetTime/svgGetTimeUnit/svGetTimePrecision methods.
• Support 1800-2023 class and function :initial, :extends, :final virtual overrides (Support 1800-2023 class and function :initial, :extends, :final virtual override warnings verilator#5025).
• Support public packed struct / union (Support for /*verilator public*/ on SV structs too? verilator#860) (Support exporting packed struct / union (#860) verilator#4878). [Kefa Chen]
• Support stream operation on unpacked array (Support stream operation on unpacked array verilator#4714) ( Support stream operation on unpacked array (#4714) verilator#5006). [Fuad Ismail]
• Support implicitly-typed variable definitions in for-loop initializers (Support missing second type in for-loop variable definition verilator#4945) (Support implicitly-typed variable definitions in for-loop initializers (#4945) verilator#4986). [Kevin Nygaard]
• Support inside range with implicit type conversion (Support inside range with implicit type conversion verilator#5026). [Arkadiusz Kozdra, Antmicro Ltd.]
• Improve installation to be relocatable (Make installation relocatable, and the installation testable verilator#4927). [Geza Lore]
• Improve internal ordering code (Factor out graph parallelism report into a generic algorithm verilator#4957) (Simplify LogicMTask/ExecMTask IDs verilator#4990) (Use the same serial ordering within MTasks as we use in serial mode verilator#4994) et al. [Geza Lore]
• Fix generate blocks in vpi_iterate (Support modules in generate blocks in vpi_iterate verilator#3609) (Fix Vpi Generate Scopes verilator#4913). [Andrew Nolte]
• Fix __Vlip undefined error in --freloop (Invalid verilated code generated verilator#4824). [Justin Yao Du]
• Fix missing VPI scopes ([Vpi] Fix missing scopes 1 verilator#4918). [Andrew Nolte]
• Fix invalid cast on string structure creation (Invalid cast from type ‘std::__cxx11::basic_string<char>’ to type ‘QData’ {aka ‘long unsigned int’} verilator#4921).
• Fix try-lock spuriously fails (Internal Error: attempted to destroy locked Thread Pool  verilator#4931) (Fix try-lock spuriously fail in V3ThreadPool destructor (#4931) verilator#4938). [Kamil Rakoczy]
• Fix V3Unknown unpacked struct x-assign (V3Unknown: ignore unpacked struct x-assign verilator#4934). [Yan Xu]
• Fix DFG removing forceable signals (Fix DFG removing forceable signals verilator#4942). [Geza Lore]
• Fix null characters in shortened identifiers (Compilation error due to type conversion from std::__cxx11::basic_string<char> to const char* in Verilator 5.022 verilator#4946). [Abdul Hameed]
• Fix assignment of null into struct member (Error when try to create struct with null assigned to handle verilator#4952).
• Fix VPI missing scopes 2 ([Vpi] Fix missing scopes 2 verilator#4965). [Andrew Nolte]
• Fix object assignment from conditionals (Ternary operator does not expect parameterized class type verilator#4968).
• Fix GCC14 warnings on template specialization syntax (Compilation throws warnings on GCC14 verilator#4974) (Fix GCC14 warnings on template specialization syntax (#4974) verilator#4975). [Nolan Poe]
• Fix unpacked structure upper bit cleaning (Struct members are not truncated to their width properly verilator#4978).
• Fix tests on MacOS (make test on macOS fails verilator#4984) (Fixes make test on macOS (#4984) verilator#4985). [Kevin Nygaard]
• Fix --prof-exec predicted time values (Fix --prof-exec predicted time values verilator#4988). [Geza Lore]
• Fix class type as an associative array parameter (Internal error on using associative array or queue as a class type parameter verilator#4997).
• Fix inout ports of unpacked struct type (Fix inout ports of unpacked stuct type verilator#5000). [Ryszard Rozak, Antmicro Ltd.]
• Fix unique {} constraints missing semicolon (Grammar: fix unique {} constraints missing semicolon from the spec verilator#5001).
• Fix preprocessor to respect strings in joins (PreProc: do not ignore strings in joins verilator#5007).
• Fix tracing class parameters (Class with parameters causes buffer overflow during tracing verilator#5014).
• Fix memory leaks (Plug memory leaks verilator#5016). [Geza Lore]
• Fix $readmem with missing newline (Last value of readmemh is not correctly read when no newline verilator#5019). [Josse Van Delm]
• Fix internal error on missing pattern key (Unexpected behavior for wrong pattern assignments verilator#5023).
• Fix tracing replicated hierarchical models (how to trace internal signals of multi insts of a module(hier_block). verilator#5027).