Verilator 5.018 2023-10-30 Released

[wsnyder]

Verilator 5.018 2023-10-30

Major:

• Support compilation with precompiled headers with Make and GCC or CLang.
• Change include of systemc instead of systemc.h (Include <systemc> instead of <systemc.h> in model's header file verilator#4622) (Include systemc instead of systemc.h in model header files (#4622) verilator#4623). [Chih-Mao Chen]
  This may require that SystemC programs add 'using namespace sc_core', 'using namespace sc_dt'.

Minor:

• Add SIDEEFFECT warning on mishandled side effect cases.
• Add trace() API even when Verilated without --trace (Add in trace API even if tracing disabled. verilator#4462). [phelter]
• Add warning on interface instantiation without parens (Interface inst. w/o parenthesis should not be allowed verilator#4094). [Gökçe Aydos]
• Add sv_vpi_user.h from IEEE 1800-2017 Annex M (Add sv_vpi_user.h from IEEE 1800-2017 Annex M verilator#4606). [Marlon James]
• Support 'disable fork' (Support disable fork verilator#4125) (Support disable fork verilator#4569). [Aleksander Kiryk, Antmicro Ltd.]
• Support 'wait fork' (Support wait fork verilator#4586). [Aleksander Kiryk, Antmicro Ltd.]
• Support 'randc' (Support randc verilator#4349).
• Support assigning events (Allow assigning events verilator#4403). [Krzysztof Boroński]
• Support resizing function call inout arguments (Fix UVM function output width reassignment verilator#4467).
• Support NBAs in non-inlined functions/tasks (Support UVM delayed assignment inside public function/task verilator#4496) (Support NBAs in non-inlined functions/tasks (#4496) verilator#4572). [Krzysztof Bieganski, Antmicro Ltd.]
• Support converting parameters inside modules to localparams (Support converting parameters inside modules to localparams verilator#4511). [Anthony Donlon]
• Support concatenation of unpacked arrays (Support concatenation of unpacked arrays verilator#4558). [Yutetsu TAKATSUKASA]
• Support Clang 16 (Support Clang 16 verilator#4592). [Mariusz Glebocki]
• Support VPI variables of real and string data types (VPI: Add support for variables of real and string data types verilator#4594). [Marlon James]
• Support making VL_LOCK_SPINS configurable (Make VL_LOCK_SPINS configurable and increase default 100x verilator#4599). [Geza Lore]
• Change code --stats output (Simplify V3Stats verilator#4597). [Geza Lore]
• Change --prof-exec infrastructure and report (Improve --prof-exec infrastructure and report verilator#4602). [Geza Lore]
• Change lint_off to not propagate upwards to files including where the lint_off is.
• Optimize empty expression statements (Optimize empty expression statements verilator#4544).
• Optimize trace internals (Associate trace codes with function indices verilator#4610) (Unify code generation for trace declarations in both trace formats verilator#4612). [Geza Lore]
• Optimize internal performance issues (Delete AstNode user5 verilator#4638). [Geza Lore]
• Fix conversion of impure logical expressions to bit expressions (Support short-circuiting verilator#487 partial) (Disable conversion of impure logical expressions to bitwise expressions verilator#4437). [Ryszard Rozak, Antmicro Ltd.]
• Fix enum functions in localparams (Parameter enum const functions fail verilator#3999). [Andrew Nolte]
• Fix passing arguments by reference (Task ref variables incorrectly passed verilator#3385 partial) (Fix passing arguments by reference (#3385 partial) verilator#4489). [Ryszard Rozak, Antmicro Ltd.]
• Fix multithreading handling to separate by code units that use/never use it (Rework multithreading handling to separate by code units that use/never use it verilator#4228). [Mariusz Glebocki, Antmicro Ltd.]
• Fix usage of annotation options (verilator_coverage executable docs: request to clarify verilator#4486) (Rewrite usage of annotation options verilator#4504). [Michal Czyz]
• Fix detecting local vars in nested forks (Fix UVM fork..join_none local variable can't locate varref scope verilator#4493) (Fix detecting local vars in nested forks (#4493) verilator#4506). [Kamil Rakoczy]
• Fix handling input file path separator (Minor file path parsing bug (.//adc.v). verilator#4515) (Fix handling input file path separator (#4515) verilator#4516). [Anthony Donlon]
• Fix mis-support for parameterized UDPs (Remove support for parameterized UDPs verilator#4518). [Anthony Donlon]
• Fix constant conversion of $realtobits, $bitstoreal (V3Number- $realtobits incorrect type in a package function verilator#4522). [Andrew Nolte]
• Fix conversion of integers in $display '%e' (Crash with conversion of integers in $display '%e' verilator#4528). [muzafferkal]
• Fix non-inlined interface tracing (Non-inlining interface without tracing reference error verilator#3984) (Fix non-inlined interface tracing (#3984) verilator#4530). [Todd Strader]
• Fix stream operations with operands of struct type (Issue with streaming operator on packed structs since v5.016 verilator#4531) (Fix stream operations with operands of struct type (#4531) verilator#4532). [Ryszard Rozak, Antmicro Ltd.]
• Fix 'this' in a constructor (Fix this in a constructor verilator#4533). [Ryszard Rozak, Antmicro Ltd.]
• Fix stream shift operator of 32 bits (Shift when using streaming operator on 32 bit signal verilator#4536). [Julien Faucher]
• Fix object destruction after a copy constructor (Fix regression in class object destruction verilator#4540) (Fix object destruction after a copy constructor (#4540) verilator#4541). [Ryszard Rozak, Antmicro Ltd.]
• Fix inlining of real functions miscasting (t_func_real test case verilator#4543). [Andrew Nolte]
• Fix broken link error for enum references (Fix broken link error for enum references verilator#4551). [Anthony Donlon]
• Fix logical expressions with class objects - caching in v3Const (Fix logical expressions with class objects - caching in v3Const verilator#4552). [Ryszard Rozak, Antmicro Ltd.]
• Fix using functions/tasks following class definition inside module (Fix functions/tasks following class definition inside module verilator#4553). [Anthony Donlon]
• Fix large constant buffer overflow (fix: buffer overflow verilator#4556). [Varun Koyyalagunta]
• Fix instance arrays connecting to array of structs (Issue using packed struct with instance array verilator#4557). [raphmaster]
• Fix error message for invalid parameter overrides (Fix error message for invalid parameter overrides verilator#4559). [Anthony Donlon]
• Fix shift to remove operation side effects (Shift breaks with side effects verilator#4563).
• Fix compile warning on unused member function variable (Fix compile warning on unused member function variable verilator#4567).
• Fix method narrowing conversion compiler error (Fix method narrowing conversion compiler error verilator#4568).
• Fix interface comparison (Fix interface comparison verilator#4570). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix dynamic triggers for named events (Fix dynamic triggers for named events verilator#4571). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix dictionaries with keys of class types (Fix dictionaries with keys of class types verilator#4576). [Ryszard Rozak, Antmicro Ltd.]
• Fix to not remap local assign intervals in forks (Do not remap local assign intravals in forks verilator#4583). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix display optimization ignoring side effects (Values displayed in wrong order verilator#4585).
• Fix PLI/DPI user defined system task/function grammar (System task function grammar isn't the same as the standard verilator#4587) (Fix PLI/DPI user defined system task/function grammar (#4587) verilator#4588). [Quentin Corradi]
• Fix fault on empty clocking block (Internal fault when using clocking block verilator#4593). [Alex Mykyta]
• Fix creating implicit nets for inputs of gate primitives (Create implicit nets for inputs of gate primitives. verilator#4603). [Geza Lore]
• Fix try_put method of unbounded mailbox (Fix try_put method of unbounded mailbox verilator#4608). [Ryszard Rozak, Antmicro Ltd.]
• Fix stable name generation in V3Fork (V3Fork creates non-deterministic variable names verilator#4615) (Fix stable name generation in V3Fork (#4615) verilator#4624). [Krzysztof Boroński]
• Fix virtual methods (Fix virtual methods verilator#4616). [Ryszard Rozak, Antmicro Ltd.]
• Fix insertion at queue end (Fix queue insertion at end verilator#4619). [Krzysztof Boroński]
• Fix rand fields of reference types (Fix rand fields of reference types verilator#4627). [Ryszard Rozak, Antmicro Ltd.]
• Fix dynamic casts of null values (Fix dynamic casts of null values verilator#4631). [Ryszard Rozak, Antmicro Ltd.]
• Fix signals read via virtual interfaces being misoptimized (Fix signals read via virtual iface optimized out verilator#4645). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix handling of static keyword in methods (Fix handling of static keyword in methods verilator#4649). [Ryszard Rozak, Antmicro Ltd.]
• Fix preprocessor to show `line 2 on resumed file.