Verilator 5.016 2023-09-16 Released

[wsnyder]

Verilator 5.016 2023-09-16

Minor:

• Add prepareClone and atClone APIs for Verilated models (How to restore the thread pool for multi-threaded tracing verilator#3503) (Add prepareClone and atClone APIs for Verilated models (#3503) verilator#4444). [Yinan Xu]
• Add check for conflicting options e.g. binary and lint-only (prevent binary+lintonly verilator#4409). [Ethan Sifferman]
• Add --no-trace-top to not trace top signals (Extra top module gets added to VCD if verilog top has arguments verilator#4412) (Add --no-trace-top to not trace top signals (#4412) verilator#4422). [Frans Skarman]
• Support recursive function calls (Support recursive functions verilator#3267).
• Support assignments of packed values to stream expressions on queues (Support assignments of packed values to stream expressions on queues verilator#4401). [Ryszard Rozak, Antmicro Ltd]
• Support no-parentheses calls to static methods (Resolve parenthesesless calls to static methods verilator#4432). [Krzysztof Boroński]
• Support block_item_declaration in forks (Support block_item_declaration in forks verilator#4455). [Krzysztof Boroński]
• Support assignments of stream expressions on queues to packed values (Support assignments of stream expressions on queues to packed values verilator#4458). [Ryszard Rozak, Antmicro Ltd]
• Support function non-constant default arguments (Fix UVM function non-constant default arguments verilator#4470).
• Support 'let'.
• Optimize Verilator executable size by refactoring error reporting routines (Optimize program size by refactoring error reporting routines verilator#4446). [Anthony Donlon]
• Optimize Verilation runtime pointers and graphs (Rework self pointers verilator#4396) (Use runtime type info instead of dynamic_cast for graph type checks verilator#4397) (Reduce the number of typechecks in graphs verilator#4398). [Krzysztof Bieganski, Antmicro Ltd]
• Optimize preparations towards multithreaded Verilation (Ongoing Verilator parallelization verilator#4291) (Allow to generate compile_commands.json using bear verilator#4463) (V3LockGuard: Add constructor for adopting already locked mutex. verilator#4476) (Internals: Add V3ThreadSafety  verilator#4477) (Update clang_check_attributes to take into account MT_DISABLED verilator#4479). [Kamil Rakoczy, Antmicro Ltd]
• Fix Windows filename format, etc (Support windows backslash paths verilator#3873) (Fix Windows filename format, etc. (#3873) verilator#4421). [Anthony Donlon].
• Fix t_dist_cppstyle Perl performance issue (Perl perf issue in =~ (binding operator) on verilated.cpp verilator#4085). [Srinivasan Venkataramanan]
• Fix using type in parameterized classes without #() (Segmentation fault at AstNode::privateAs<AstNodeDType, AstNode*> (nodep=0x1) at ../V3Ast.h:2073 verilator#4281) (Fix segfault on using type in parameterized classes without #() (#4281) verilator#4440). [Anthony Donlon]
• Fix false INFINITELOOP on forever..mailbox.get() (Fix false INFINITELOOP on forever..mailbox.get() verilator#4323). [Srinivasan Venkataramanan]
• Fix data type of condition operation on class objects (Remove conversion from if/else to cond operator verilator#4345) (Fix dtype of condition operation on class objects verilator#4352). [Ryszard Rozak, Antmicro Ltd]
• Fix variables mutated under fork..join_none/join_any blocks into anonymous objects (Move variables mutated under fork..join_none/join_any blocks into anonymous objects verilator#4356). [Krzysztof Boroński]
• Fix V3CUse, do not consider implementations (.cpp) at all (Simplify V3CUse - do not consider implementations (.cpp) at all verilator#4386). [Krzysztof Boroński]
• Fix ++/-- under statements (Fix ++/-- under statements verilator#4399). [Aleksander Kiryk, Antmicro Ltd]
• Fix detection of mixed blocking and nonblocking assignment in nested assignments (Fix detection of mixed blocking and nonblocking assignment in nested assignments verilator#4404). [Ryszard Rozak, Antmicro Ltd]
• Fix jumping over object initialization (Fix jumping over object initialization verilator#4411). [Krzysztof Boroński]
• Fix multiple issues towards short circuit support (Don't move function calls before the expression verilator#4413) (Compute purity of AstCMethodHard verilator#4460). [Ryszard Rozak, Antmicro Ltd]
• Fix variable lifetimes in extern methods (Fix variable lifetimes in extern methods verilator#4414). [Krzysztof Boroński]
• Fix multiple function definitions in V3Sched (Multiple definition error after update to 5.014 verilator#4416). [Hennadii Chernyshchyk]
• Fix false UNUSEDPARAM on generate localparam (Generate localparam flagged as unused by lint mode. verilator#4427). [Bill Pringlemeir]
• Fix checking for parameter and port connections in the wrong place (Check parameter assignments and port connections in the wrong place verilator#4428). [Anthony Donlon]
• Fix coroutine handle movement during queue manipulation (Fix timing logs verilator#4431). [Aleksander Kiryk, Antmicro Ltd]
• Fix nested assignments on the LHS (Fix nested assignments on the LHS verilator#4435). [Ryszard Rozak, Antmicro Ltd]
• Fix false MULTITOP on bound interfaces (incorrect "Multiple top level modules" error on bind verilator#4438). [Alex Solomatnikov]
• Fix internal error on real conversion (Internal Error: ../V3Number.cpp:2429: Number operation called with non-double argument: '64'h4018000000000000" verilator#4447). [vdhotre-ventana]
• Fix lifetime unknown error on enum.name (Enumerated type variable .name() method causes lifetime unknown Internal Error verilator#4448). [jwoutersymatra]
• Fix unstable output of VHashSha256 (Fix unstable output of VHashSha256 (#4452) verilator#4453). [Anthony Donlon]
• Fix static cast from a stream type (Fix UVM static cast from a stream type verilator#4469) (Fix static cast from a stream type verilator#4485). [Ryszard Rozak, Antmicro Ltd]
• Fix error on enum with VARHIDDEN of cell (More helpful error message on Enum <-> Instantiation name collision verilator#4482). [Michail Rontionov]
• Fix lint of case statements with enum and wildcard bits (Fix case inside internal error V3Number toUInt with 4-state verilator#4464) (Fix handling case statements with enum and wildcard bits (#4464) verilator#4487). [Anthony Donlon]
• Fix reference to extended class in parameterized class (Fix UVM elaboration of package dotted reference verilator#4466).
• Fix recursive display causing segfault (Recursive display causes segmentation fault after commit e24197f verilator#4480). [Kuoping Hsu]
• Fix the error message when the type of ref argument is wrong (Fix the error message when the type of ref argument is wrong verilator#4490). [Ryszard Rozak, Antmicro Ltd]
• Fix display %x formatting of real.
• Fix mis-warning on #() in classes' own functions.
• Fix IGNOREDRETURN to not warn on void-cast static function calls.
• Fix ZERODLY to not warn on 'wait(0)'.