Verilator 5.042 2025-11-02 released

[wsnyder]

Verilator 5.042 2025-11-02

Other:

• Add HIERPARAM error on hierarchical parameter values ( Interface parameter circular assignment succeeds where it should not verilator#1626) (Add error on localparam value from hierarchical path verilator#6456) (Add HIERPARAM pretend error code verilator#6484) (Regression in HIERPARAM means interface parameters cannot derive from other interface parameters anymore verilator#6587) (Fix HIERPARAM to be suppressed for interface ports (#6587) verilator#6609) (Test interface parameter access in parameter map verilator#6621) (Fix interface parameter access in parameter map (#6587) (#6621) verilator#6623). [Todd Strader] [Luca Rufer] [Paul Swirhun]
• Add error on zero/negative unpacked dimensions (Check for proper array sizes verilator#1642). [Stefan Wallentowitz]
• Add verilator_gantt profiling of DPI imports (Trace DPI import calls with --prof-threads verilator#3084). [Geza Lore]
• Add ASSIGNEQEXPR when use = inside expressions (Internal error with FST + multidriven conditional operators verilator#5567). [Ethan Sifferman]
• Add error on non-packed struct randc (Declaring a randc non-packed struct produces internal error: Unexpected randc variable dtype verilator#5999). [Seth Pellegrino]
• Add configure --enable-dev-asan to compile verilator_bin with the address sanitizer (Testing: Add --enable-asan configure option to compile with AddressSanitizer verilator#6404). [Geza Lore]
• Add $(LDFLAGS) and $(LIBS) to when building shared libraries (Generated .mk files need to add $(LDFLAGS) for shared lib targets verilator#6425) (Add $(LDFLAGS) and $(LIBS) to when building shared libs (#6425) verilator#6426). [Ahmed El-Mahmoudy]
• Add IMPLICITSTATIC also on procedure variables.
• Add FUNCTIMCTL error on function invoking task or time-controlling statements (Add error on function calling task verilator#6385).
• Add error on virtual new (Add error on virtual new verilator#6486). [Alex Solomatnikov]
• Add error on ranges with tristate values (Add lint indication that function has no return instead of internal error verilator#6534). [Alex Solomatnikov]
• Add NORETURN warning on functions without return values (Add lint indication that function has no return instead of internal error verilator#6534). [Alex Solomatnikov]
• Add --aslr and --no-aslr options.
• Add $cpure (Add $cpure verilator#6580). [Igor Zaworski, Antmicro Ltd.]
• Add --preproc-defines.
• Deprecate sensitivity list on public_flat_rw attributes (Deprecate sensitivity list on public_flat_rw attributes (#6442) verilator#6443). [Geza Lore]
• Deprecate clocker attribute and --clk option (Deprecate clocker attribute and --clk option verilator#6463). [Geza Lore]
• Deprecate '--make cmake' option (Deprecate '--make cmake' option verilator#6540). [Geza Lore]
• Change default --expand-limit to 256 (Encapsulate verilated models independent of each other and the process verilator#3419).
• Change developer coverage flow and add configure --enable-dev-gcov (Internals: Improve coverage flow verilator#6526). [Geza Lore]
• Change verilator_difftree to return exit code 1 on mismatch, 2 on error.
• Change default thread pool sizes to respect processor affinity (Change default thread pool sizes to respect processor affinity verilator#6604). [Geza Lore]
• Change --preproc-comments to be new name of --pp-comments option.
• Support modports referencing clocking blocks (Support Modport Clocking  verilator#4555) (Support modports referencing clocking blocks (#4555) verilator#6436). [Ryszard Rozak, Antmicro Ltd.]
• Support class package reference on pattern keys (Support scoped pattern array init verilator#5653). [Todd Strader]
• Support digits in $sscanf field width formats (Support $sscanf field widths verilator#6083). [Iztok Jeras]
• Support pure functions in sensitivity lists (Allow pure functions in sensitivity lists verilator#6393). [Krzysztof Bieganski, Antmicro Ltd.]
• Support simple alias statements (Support for simple alias statements verilator#6339) (Support aliases with more operands verilator#6501). [Ryszard Rozak, Antmicro Ltd.]
• Support simple cycle delay sequence expressions inside properties (Support simple cycle delay sequence expressions inside assertion properties verilator#6508). [Bartłomiej Chmiel, Antmicro Ltd.]
• Support impure expressions in inside (Fix of impure expressions in inside verilator#6562). [Igor Zaworski, Antmicro Ltd.]
• Support case impure expressions (Fix of case impure expression handling verilator#6563). [Igor Zaworski, Antmicro Ltd.]
• Support dotted access to ports of a direct hier_block instance. (Support dotted access to ports of a direct hier_block instance. verilator#6595). [Geza Lore]
• Improve lint_off to allow multiple messages and comments (Add a single line "lint_ignore" verilator comment verilator#2755).
• Improve automatic selection of logic for DFG synthesis (Improve automatic selection of logic for Dfg synthesis verilator#6370). [Geza Lore]
• Improve covergroup with function sample handling (Improve covergroup with function sample handling  verilator#6387). [Jakub Wasilewski]
• Improve DFG type system (Improve Dfg type system verilator#6390). [Geza Lore]
• Improve DFG variable removal and temporary insertion (Improve Dfg variable removal and temporary insertion (#6394) verilator#6401). [Geza Lore]
• Improve memory usage of statistics (Reduce memory use of statistic collection verilator#6513). [Geza Lore]
• Improve conditional merging to preserve branch prediction. [Geza Lore]
• Optimize duplicate 'if' and '?:' conditions (Case statements sometimes generate duplicated if conditions verilator#3807) (Optimize duplicate 'if' and '?:' conditions (#3807) verilator#6495)
• Optimize dead functions in more cases (Deadify functions without references, check virtual class instantiations later verilator#6380) (Optimization: deadify functions in more cases. verilator#6430). [Artur Bieniek, Antmicro Ltd.]
• Optimize constant folding in wide expression expansion (Optimize constant folding in wide expression expansion verilator#6381). [Geza Lore]
• Fix --trace-max-width and increase to 4096. (--trace-max-width is ignored verilator#2385).
• Fix missing BLKSEQ when connecting module port to array (BLKSEQ missed when connecting module port to array verilator#2973).
• Fix LATCH warning with CASEINCOMPLETE (Missing LATCH from always_comb and case verilator#3301).
• Fix unused parameterized class causing internal error (Internal error when declaring parametric mailbox instance inside parametric module using type parameter verilator#4013). [Alberto Del Rio]
• Fix false CONSTVAR error on initializers (Declaring a constant with simultaneous initialization may result in an error depending on the lifetime and context verilator#4992).
• Fix hierarchical references with parameterized modules and interfaces (Internal error when assigning a hierarchical reference of an interface to a wire verilator#5649) (Fix hierarchical references with parameterized modules and interfaces (#5649) verilator#6566). [Ryszard Rozak, Antmicro Ltd.]
• Fix interface exposure with --public-depth or --trace-depth (No VPI access to interface members when using --public-depth instead of --public-flat-rw verilator#5758).
• Fix cell scoping performance (ScopeAll slow down exponentially, suspecting did not detecting Null termination of NodeList verilator#6059). [Jerry Tianchen]
• Fix hierarchical --prof-pgo (Hierarchical PGO: stable hier block costs verilator#6213). [Bartłomiej Chmiel, Antmicro Ltd.]
• Fix while loop hang on timing-delayed assignment (While loop hang on delayed assign verilator#6343) (Wrap forked processes in begins early verilator#6354). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix driver analysis of partially assigned variables (5.040 internal error on partially assigned circular array verilator#6364) (Fix driver tracing of partially assigned variable (#6364) verilator#6378). [Geza Lore]
• Fix V3Hash MacOS ambiguity (fix: fix V3Hash MacOS ambiguity again verilator#6350). [Lan Zongwei]
• Fix cmake APPLE variable (fix: cmake variable APPLE can't be written as Apple verilator#6351). [Lan Zongwei]
• Fix randomize local after parameters applied (Internal Error: ../V3LinkDot.cpp:3791: ClassRef has unlinked class verilator#6371). [Alex Solomatnikov]
• Fix package imports not found after parameters applied (Fix package imports not found after parameters applied verilator#6373). [Alex Solomatnikov]
• Fix deep shift pattern performance (V3Dfg: add variable elimination limit verilator#6379) (Fix deep shift pattern performance (#6379) verilator#6420). [Geza Lore]
• Fix COVERAGEIGN-ignored get_inst_coverage and other covergroup methods (Class method 'get_inst_coverage' not found in class 'cgArgs' verilator#6383). [Alex Solomatnikov]
• Fix error when modport variable is unresolved (Fix segfault when modport variable is unresolved verilator#6386). [Ryszard Rozak, Antmicro Ltd.]
• Fix resolving parameters (Fix resolving default params upon instantiation or reference (#4497) verilator#6388) (Internal Error: ../V3Param.cpp:452: Couldn't find pin in clone list verilator#6418) (Fix resolving parameters (#6388) (#6418) verilator#6421) (Fix bug #6431, relink super functions to default instances of parametrized classes. verilator#6438) (Fix resolving parameters (#6388) (#6418) (#6421) (#6438) verilator#6429). [Artur Bieniek, Antmicro Ltd.]
• Fix wire array with initial assignment (syntax error t_array_pattern_unpacked.v with default init verilator#6391). [Alex Solomatnikov]
• Fix import of class with default params (Fix import of class with default params verilator#6396) (Test ./t/t_class_defaultparam_import.py fails with --debug verilator#6410) (Fix multiple resolution of classes, broke recently (#6396) (#6410) verilator#6413). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix use after free in elaboration (Fix use after free in V3LinkDot verilator#6403). [Geza Lore]
• Fix address sanitizer issues (Fix AddressSanitizer issues verilator#6406). [Geza Lore]
• Fix timing control under fork under function (Fix timing control under fork under function verilator#6407). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix memory leaks and reduce requirements (Fix memory leaks - batch 1 verilator#6411) (Fix memory leaks - batch 2 verilator#6417) (Fix memory leaks - batch 3 verilator#6419) (Fix memory leaks in assignment pattern processing. verilator#6437) (Fix memory leaks - batch 4 verilator#6439) (Internals: Optimize temporary memory allocations verilator#6517). [Geza Lore]
• Fix parameter implicit type from string (Internal Error: ../V3Number.cpp:2338: Number operation called with non-logic (double or string) argument: verilator#6414). [Alex Solomatnikov]
• Fix parsing for sequence expressions (Improve sequence_expr parsing in properties verilator#6427). [Bartłomiej Chmiel, Antmicro Ltd.]
• Fix parameterized class super functions (Fix broken link on super.new on extended class with default parameters verilator#6431) (Fix bug #6431, relink super functions to default instances of parametrized classes. verilator#6438). [Artur Bieniek, Antmicro Ltd.]
• Fix external function declarations with class typedef references (Fix external function declarations with class typedef references verilator#6433).
• Fix internal error on out-of-bounds real array access.
• Fix pre/post increments in assertions (Fix pre/post increments in assertions verilator#6434).
• Fix elaboration displays with %m and some %p (Error: Expecting expression to be constant, but can't convert a SCOPENAME to constant verilator#6445) (Support elaboration $info(%p) and avoid Unexpected Call verilator#6451). [Alex Solomatnikov]
• Fix cast in gdbinit.py (Add cast in gdbinit.py verilator#6447). [Artur Bieniek, Antmicro Ltd.]
• Fix false unique assertions on else ; (Unique If reports violation when it should not verilator#6450). [Don Owen]
• Fix loss of clock attribute in DFG variable removal (Fix loss of clock attribute in Dfg variable removal verilator#6453). [Bartłomiej Chmiel, Antmicro Ltd.]
• Fix data types of method calls without parenthesis (Resolve dtype in V3Width on AstMethodCall, fix #6412 verilator#6457). [Artur Bieniek, Antmicro Ltd.]
• Fix segfault on unsupported PLI calls (Fix segfault on unsupported PLI calls verilator#6458). [Krzysztof Bieganski, Antmicro Ltd.]
• Fix false assertion failure on failed DFG driver tracing (Fix false assertion failure on failed Dfg driver tracing verilator#6459). [Geza Lore]
• Fix side effects when using select (Fix of side effects issue when using select verilator#6460). [Igor Zaworski, Antmicro Ltd.]
• Fix timeprecision backward assignment ([#83849] Fix timeprecision backward assignment verilator#6469). [Artur Bieniek, Antmicro Ltd.]
• Fix splitting hierarchically referenced variables (Prevent from splitting hierarchically referenced variable verilator#6475). [Ryszard Rozak, Antmicro Ltd.]
• Fix Windows compilation of Verilator with spaces in the path (Fix bisonpre having problems with spaces in the path verilator#6477). [Fabian Keßler-Schulz]
• Fix PROTOTYPEMIS error on implicit logic (incorrect or unclear error message: return data type does not match out-of-block declaration data-type ... Prototype data type: 'LOGIC_IMPLICIT' ... Declaration data type: 'logic' verilator#6482). [Alex Solomatnikov]
• Fix configure misdetecting C++14 (Configure script incorrectly detects no C++14 support verilator#6488) (configure now needs pthread compiler flag verilator#6515). [Thomas O'Keeffe]
• Fix false BLKSEQ on non-edged sensitivity list (False BLKSEQ warning for verilog v1995 verilator#6492). [Oron Port]
• Fix .vlt public_flat* and others to support long identifier names (Change public_flat* and other to support long names verilator#6516). [Szymon Gizler, Antmicro Ltd.]
• Fix always_ff on constants (Fix always_ff on constant edge verilator#6519). [Todd Strader]
• Fix fault on operations on uninitialized strings (Limit scope of local lambda variables to the lambda they are used in verilator#6520). [Artur Bieniek, Antmicro Ltd.]
• Fix find_index methods of associative arrays (Fix find_index methods of associative arrays verilator#6525). [Ryszard Rozak, Antmicro Ltd.]
• Fix parsing of eventually[] and property expression memory leaks (Fix parsing of eventually[] and pexpr memory leaks verilator#6530). [Bartłomiej Chmiel, Antmicro Ltd.]
• Fix memory leak for unsupported $past (Internals: fix memleak for unsup $past verilator#6535). [Bartłomiej Chmiel, Antmicro Ltd.]
• Fix inconsistent force assignment (Fix inconsistent force assignment verilator#6541). [Artur Bieniek, Antmicro Ltd.]
• Fix DFG circular driver tracing with partial assignments. [Geza Lore]
• Fix passing typedef value as parameter (Fix passing typedef value as parameter verilator#6543) (Optimization of typedef params verilator#6547). [Igor Zaworski, Antmicro Ltd.]
• Fix indent error on quoted strings ("Underflow of indentation" when processing simple SystemVerilog file verilator#6544).
• Fix incorrect nested interface-class error (Verilator 5.034+ incorrectly reports nested interface-class error verilator#6549). [Matthew Ballance]
• Fix std::process::get_randstate to not affect random stability (Process get_randstate() breaks random stability verilator#6550) (Fix std::process::get_randstate to not affect random stability (#6550) verilator#6565). [Aleksander Kiryk]
• Fix exit code signal number reporting ([#84806] Fix signal code reporting, add SIGXCPU description. verilator#6554). [Artur Bieniek, Antmicro Ltd.]
• Fix $finish inside fork blocks (Use CReturn for exiting loops on $finish verilator#6555). [Bartłomiej Chmiel, Antmicro Ltd.]
• Fix single element unpacked array DPI parameters. [Geza Lore]
• Fix DFG synthesis non-determinism (Non-deterministic DFG Regularize verilator#6557) (Fix DFG synthesis non-determinism (#6557) verilator#6568). [Todd Strader]
• Fix side effects for improved function/task/process purity (Fix side effects for improved FTask purity verilator#6559). [Igor Zaworski, Antmicro Ltd.]
• Fix excessive logic replication in DFG circular driver tracing (Fix out of memory in dfg-optimize stage verilator#6561) (Fix excessive logic replication in Dfg circular driver tracing (#6561) verilator#6594). [Geza Lore]
• Fix hierarchical with parameterized instances under hier block (Regression in parametrized hier blocks verilator#6572). [Geza Lore]
• Fix segfault on type casts (Fix compile error on bitstream with inline typecast verilator#6574). [David Moberg]
• Fix references to interfaces containing generate blocks (Fix references to interfaces containing generate blocks verilator#6579). [Ryszard Rozak, Antmicro Ltd.]
• Fix missing net type mappings in FST traces (Trior/and wor/wand nettypes missing from FST trace module verilator#6582) (Fix missing net type mappings in FST traces (#6582) verilator#6583). [Matt Stroud]
• Fix function call expression coverage (Intermediate variables for function calls + expression coverage verilator#6589). [Todd Strader]
• Fix V3Life eliminating assignments across timing controls (repeat(@posedge) inside a task causes incorrect timing on second call verilator#6593) (Fix V3Life eliminating assignments across timing controls (#6593) verilator#6596). [Geza Lore]
• Fix incorrectly resuming process waiting on multiple events (Fix incorrectly resuming process waiting on multiple events verilator#6597). [Geza Lore]
• Fix --hierarchical with --binary (Fix --hierarchical with --binary verilator#6602). [Geza Lore]
• Fix mis-ignoring virtual interface member triggers (Fix virtual interface "combinational region did not converge" error verilator#5116 reopened) (Do not ignore virtual interface member triggers verilator#6613). [Geza Lore]
• Fix ENUMVALUE warning when overriding parameter using -G/-pvalue options. [Geza Lore]
• Fix -G and -pvalue with --hierarchical. [Geza Lore]
• Fix waiving messages with empty contents (suppression via waiver.vlt does not work verilator#6610). [Yoshitomo KANEDA]
• Fix constant-arrayed instance parameters (Internal Error: ../V3Width.cpp:2957: InitArray type not assigned by AstPattern/Var visitor verilator#6614). [Alex Solomatnikov]