Verilator 5.004 2022-12-14 released

[wsnyder]

Verilator 5.004 2022-12-14

Major:

• Support named properties (Add named properties handling verilator#3667). [Ryszard Rozak, Antmicro Ltd]
• Add ENUMVALUE warning when value misused for enum (Support enum type checking lint checks verilator#726) (Error when casting to typedef with parameterized logic verilator#3777) (Incorrect Error-ENUMVALUE when instantiating a module verilator#3783).
• Deprecate --no-threads; use --threads 1 for single threaded (Remove VL_THREADED define verilator#3703). [Kamil Rakoczy, Antmicro Ltd]

Minor:

• Support std::semaphore and typed std::mailbox (Support std::semaphore and typed std::mailbox verilator#3708). [Krzysztof Bieganski, Antmicro Ltd]
• Support 'with' in unique, unique_index, min, max in queues (Add support for with in unique, unique_index, min, max in queues verilator#3772). [Ryszard Rozak, Antmicro Ltd]
• Support events in VCD/FST traces (Add support of Events for VCD/FST traces verilator#3759). [Yves Mathieu]
• Support foreach loops on strings (Handle foreach loop on string verilator#3760). [Ryszard Rozak, Antmicro Ltd]
• Support member selects in with clauses (Handle member selects and method calls in with clauses verilator#3775). [Ryszard Rozak, Antmicro Ltd]
• Support super.new calls (Handle super.new calls verilator#3789). [Ryszard Rozak, Antmicro Ltd]
• Support randcase.
• Support pre_randomize and post_randomize.
• Support $timeunit and $timeprecision.
• Support assignment expressions.
• Change ENDLABEL from warning into an error.
• Internal AST improvements, also affect XML format (Make all expressions derive from AstNodeMath. verilator#3721). [Geza Lore]
• Deprecate verilated_fst_sc.cpp and verilated_vcd_sc.cpp.
• Disable stack size limit (Stack overflow detection on Linux. verilator#3706) (Disable stack size limit verilator#3751). [Mariusz Glebocki]
• Add error when use --exe with --lib-create (Disable using --exe together with --lib-create. verilator#3785). [Yinan Xu]
• Fix jump handling in do while loops (Add jumps support in do while loops verilator#3731). [Ryszard Rozak, Antmicro Ltd]
• Fix 'with' clause handling in functions (Fix with clause handling in functions verilator#3739). [Ryszard Rozak, Antmicro Ltd]
• Fix CONTEXT compile error on mingw64 (Change Determ::CONTEXT to Determ::CONTEXT_DET to avoid a namespace collision with mingw64 system headers. verilator#3741). [William D. Jones]
• Fix MSVC compiler errors (build verilator using msvc verilator#3742) (Fix to allow a functional build of verilator using msvc  verilator#3746). [Kritik Bhimani]
• Fix CASEINCOMPLETE when covers all enum values (CASEINCOMPLETE warning on unique case with enum verilator#3745) (Enum caseincomplete#3745 verilator#3782). [Guy-Armand Kamendje]
• Fix return type of $countbits functions to int (Set return type of countbit functions to int verilator#3725). [Ryszard Rozak, Antmicro Ltd]
• Fix timing control in while-break loops (Internal error with timing control in while-break loop verilator#3733) (Remove VNUser4InUse in AstSenTree handling verilator#3769). [Ryszard Rozak, Antmicro Ltd]
• Fix return in constructors (Allow for return in constructors verilator#3734). [Ryszard Rozak, Antmicro Ltd]
• Fix missing UNUSED warnings with --coverage (Warning-UNUSEDSIGNAL not being raised if verilator is invoqued with --coverage flag verilator#3736). [alejandro-castro-ortegon]
• Fix tracing parameters overridden with -G (Parameters overridden with -G are missing from FST waveform verilator#3723). [Iztok Jeras]
• Fix folding of LogAnd with non-bool operands (Internal Error: ../V3DfgPeephole.cpp:1387: Width mismatch verilator#3726). [Geza Lore]
• Fix Dfg optimization issues (Internal fault when constructing sequence of assignment verilator#3740) (Dfg cppcheck conjunction warning verilator#3771). [Geza Lore]
• Fix pre/postincrement operations (Fault on pre/postincrement in delay block verilator#3744) (Fix pre/postincrement operations verilator#3756). [Ryszard Rozak, Antmicro Ltd]
• Fix cross-compile for MingW, Arm and RiscV (Fix for mingw cross-compile, and add support for arm and riscv verilator#3752). [Miodrag Milanović]
• Fix $unit as base package for other packages (Use dollar unit package as upper symbol scope for other packages verilator#3755). [Ryszard Rozak, Antmicro Ltd]
• Fix make jobserver with submakes (Don't block Make jobserver when calling Verilator from a Makefile verilator#3758). [Gus Smith]
• Fix to escape VERILATOR_ROOT file paths (VERILATOR_ROOT was not properly escaped verilator#3764) (Fix to escape VERILATOR_ROOT verilator#3765). [Jiacheng Qian]
• Fix empty string literals converting to string types (Verilator generates invalid C++ code when assigning an empty string to reg[63:0] verilator#3774). [miree]
• Fix to remove $date from .vcd files (Remove $date entry from .vcd files verilator#3779). [Larry Doolittle]
• Fix missing user objects in --lib-create mode (Need clarifications on --lib-create verilator#3780) (Fix missing user objects in --lib-create mode. verilator#3784). [Yinan Xu]
• Fix non-blocking assignments in forks (Assignment to array does not work with intra-assignment delay verilator#3781) (Fix non-blocking assignments in forks verilator#3800). [Krzysztof Bieganski, Antmicro Ltd]
• Fix forks without any delayed statements (Internal unknown type error on Vfork verilator#3792) (Set the global usesTiming flag if forks exist verilator#3801). [Krzysztof Bieganski, Antmicro Ltd]
• Fix internal error in bit op tree optimization (Fix 3786 (Internal error in bit op tree optimization) verilator#3793). [Yutetsu TAKATSUKASA]
• Fix lint_off EOFNEWLINE in .vlt files (lint_off -rule EOFNEWLINE doesen't work in .vlt files verilator#3796). [Andrew Nolte]
• Fix wait 0.
• Fix comparing ranged slices of unpacked arrays.