Commentary: Changes update

This commit is contained in:
Wilson Snyder 2025-10-20 19:32:19 -04:00
parent 8f13bc0477
commit 24e665f38f
2 changed files with 12 additions and 1 deletions

11
Changes
View File

@ -36,12 +36,15 @@ Verilator 5.041 devel
* Support pure functions in sensitivity lists (#6393). [Krzysztof Bieganski, Antmicro Ltd.] * Support pure functions in sensitivity lists (#6393). [Krzysztof Bieganski, Antmicro Ltd.]
* Support simple alias statements (#6339) (#6501). [Ryszard Rozak, Antmicro Ltd.] * Support simple alias statements (#6339) (#6501). [Ryszard Rozak, Antmicro Ltd.]
* Support simple cycle delay sequence expressions inside properties (#6508). [Bartłomiej Chmiel, Antmicro Ltd.] * Support simple cycle delay sequence expressions inside properties (#6508). [Bartłomiej Chmiel, Antmicro Ltd.]
* Support impure expressions in `inside` (#6562). [Igor Zaworski, Antmicro Ltd.]
* Support `case` impure expressions (#6563). [Igor Zaworski, Antmicro Ltd.]
* Improve `lint_off` to allow multiple messages and comments (#2755). * Improve `lint_off` to allow multiple messages and comments (#2755).
* Improve automatic selection of logic for DFG synthesis (#6370). [Geza Lore] * Improve automatic selection of logic for DFG synthesis (#6370). [Geza Lore]
* Improve `covergroup with function sample` handling (#6387). [Jakub Wasilewski] * Improve `covergroup with function sample` handling (#6387). [Jakub Wasilewski]
* Improve DFG type system (#6390). [Geza Lore] * Improve DFG type system (#6390). [Geza Lore]
* Improve DFG variable removal and temporary insertion (#6401). [Geza Lore] * Improve DFG variable removal and temporary insertion (#6401). [Geza Lore]
* Improve memory usage of statistics (#6513). [Geza Lore] * Improve memory usage of statistics (#6513). [Geza Lore]
* Improve conditional merging to preserve branch prediction. [Geza Lore]
* Optimize duplicate 'if' and '?:' conditions (#3807) (#6495) * Optimize duplicate 'if' and '?:' conditions (#3807) (#6495)
* Optimize dead functions in more cases (#6380) (#6430). [Artur Bieniek, Antmicro Ltd.] * Optimize dead functions in more cases (#6380) (#6430). [Artur Bieniek, Antmicro Ltd.]
* Optimize constant folding in wide expression expansion (#6381). [Geza Lore] * Optimize constant folding in wide expression expansion (#6381). [Geza Lore]
@ -50,6 +53,7 @@ Verilator 5.041 devel
* Fix LATCH warning with CASEINCOMPLETE (#3301). * Fix LATCH warning with CASEINCOMPLETE (#3301).
* Fix unused parameterized class causing internal error (#4013). [Alberto Del Rio] * Fix unused parameterized class causing internal error (#4013). [Alberto Del Rio]
* Fix false CONSTVAR error on initializers (#4992). * Fix false CONSTVAR error on initializers (#4992).
* Fix hierarchical references with parameterized modules and interfaces (#5649) (#6566). [Ryszard Rozak, Antmicro Ltd.]
* Fix interface exposure with `--public-depth` or `--trace-depth` (#5758). * Fix interface exposure with `--public-depth` or `--trace-depth` (#5758).
* Fix cell scoping performance (#6059). [Jerry Tianchen] * Fix cell scoping performance (#6059). [Jerry Tianchen]
* Fix hierarchical `--prof-pgo` (#6213). [Bartłomiej Chmiel, Antmicro Ltd.] * Fix hierarchical `--prof-pgo` (#6213). [Bartłomiej Chmiel, Antmicro Ltd.]
@ -91,6 +95,7 @@ Verilator 5.041 devel
* Fix false BLKSEQ on non-edged sensitivity list (#6492). [Oron Port] * Fix false BLKSEQ on non-edged sensitivity list (#6492). [Oron Port]
* Fix .vlt public_flat* and others to support long identifier names (#6516). [Szymon Gizler, Antmicro Ltd.] * Fix .vlt public_flat* and others to support long identifier names (#6516). [Szymon Gizler, Antmicro Ltd.]
* Fix always_ff on constants (#6519). [Todd Strader] * Fix always_ff on constants (#6519). [Todd Strader]
* Fix fault on operations on uninitialized strings (#6520). [Artur Bieniek, Antmicro Ltd.]
* Fix find_index methods of associative arrays (#6525). [Ryszard Rozak, Antmicro Ltd.] * Fix find_index methods of associative arrays (#6525). [Ryszard Rozak, Antmicro Ltd.]
* Fix parsing of `eventually[]` and property expression memory leaks (#6530). [Bartłomiej Chmiel, Antmicro Ltd.] * Fix parsing of `eventually[]` and property expression memory leaks (#6530). [Bartłomiej Chmiel, Antmicro Ltd.]
* Fix memory leak for unsupported `$past` (#6535). [Bartłomiej Chmiel, Antmicro Ltd.] * Fix memory leak for unsupported `$past` (#6535). [Bartłomiej Chmiel, Antmicro Ltd.]
@ -99,6 +104,12 @@ Verilator 5.041 devel
* Fix passing typedef value as parameter (#6543) (#6547). [Igor Zaworski, Antmicro Ltd.] * Fix passing typedef value as parameter (#6543) (#6547). [Igor Zaworski, Antmicro Ltd.]
* Fix indent error on quoted strings (#6544). * Fix indent error on quoted strings (#6544).
* Fix incorrect nested interface-class error (#6549). [Matthew Ballance] * Fix incorrect nested interface-class error (#6549). [Matthew Ballance]
* Fix std::process::get_randstate to not affect random stability (#6550) (#6565). [Aleksander Kiryk]
* Fix exit code signal number reporting (#6554). [Artur Bieniek, Antmicro Ltd.]
* Fix `$finish` inside fork blocks (#6555). [Bartłomiej Chmiel, Antmicro Ltd.]
* Fix single element unpacked array DPI parameters. [Geza Lore]
* Fix DFG synthesis non-determinism (#6557) (#6568). [Todd Strader]
* Fix hierarchical with parameterized instances under hier block (#6572). [Geza Lore]
Verilator 5.040 2025-08-30 Verilator 5.040 2025-08-30

View File

@ -138,7 +138,7 @@ Related Projects
- `Icarus Verilog`_ - Icarus is a highly-featured interpreted Verilog - `Icarus Verilog`_ - Icarus is a highly-featured interpreted Verilog
simulator. If Verilator does not support your needs, perhaps Icarus may. simulator. If Verilator does not support your needs, perhaps Icarus may.
_ `Surfer <https://surfer-project.org/>`_, Web or offline waveform viewer - `Surfer <https://surfer-project.org/>`_ - Web or offline waveform viewer
for Verilator traces. for Verilator traces.