luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Commentary: Changes update

This commit is contained in:
Wilson Snyder 2025-12-16 20:43:08 -05:00
parent a9ef4b3ff1
commit f1ee434dca
2 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
Changes
View File

@ -25,32 +25,31 @@ Verilator 5.043 devel
* Add `sc_biguint` pragma (#6712). [Jakub Wasilewski, Antmicro Ltd.] * Add `sc_biguint` pragma (#6712). [Jakub Wasilewski, Antmicro Ltd.]
* Add 'make venv' target (#6775). [Geza Lore] * Add 'make venv' target (#6775). [Geza Lore]
* Add SUPERNFIRST error on super.new on non-first statement (#6784). [Artur Bieniek] * Add SUPERNFIRST error on super.new on non-first statement (#6784). [Artur Bieniek]
* Add fargs for reusability of --dump-inputs output (#6812). [Geza Lore] * Add fargs for reusability of `--dump-inputs` output (#6812). [Geza Lore]
* Support `std::randomize(){...}` (#4706) (#6573). [Yilou Wang] * Support `std::randomize(){...}` (#4706) (#6573). [Yilou Wang]
* Support force assignments to unpacked array elements (partial #4735) (#6787). [Ryszard Rozak, Antmicro Ltd.] * Support force assignments to unpacked array elements (partial #4735) (#6787). [Ryszard Rozak, Antmicro Ltd.]
* Support `config` instance clauses (#5891 partial) (#6745). [Dan Ruelas-Petrisko] * Support `config' (#5891) (#6714) (#6717) (#6745) (#6764). [Dan Ruelas-Petrisko]
* Support unpacked struct in localparam (#6053 partial) (#6708). [Jonathan Drolet] * Support unpacked struct in localparam (#6053 partial) (#6708). [Jonathan Drolet]
* Support randsequence (#6131). * Support `randsequence` (#6131).
* Support array reference arguments into 'std::randomize()' (#6384) (#6719). [Yilou Wang] * Support array reference arguments into 'std::randomize()' (#6384) (#6719). [Yilou Wang]
* Support basic global constraints (#6551) (#6552). [Yilou Wang] * Support basic global constraints (#6551) (#6552). [Yilou Wang]
* Support SystemC time resolution with step 10/100 (#6633) (#6715). [Aliaksei Chapyzhenka] * Support SystemC time resolution with step 10/100 (#6633) (#6715). [Aliaksei Chapyzhenka]
* Support this.randomize() with constraints (#6634). [Artur Bieniek, Antmicro Ltd.] * Support `this.randomize()` with constraints (#6634). [Artur Bieniek, Antmicro Ltd.]
* Support multi-expression sequences (#6639). [Bartłomiej Chmiel, Antmicro Ltd.] * Support multi-expression sequences (#6639). [Bartłomiej Chmiel, Antmicro Ltd.]
* Support `#1step` delay as statement (#6671). [Pawel Kojma, Antmicro Ltd.] * Support `#1step` delay as statement (#6671). [Pawel Kojma, Antmicro Ltd.]
* Support clocking output delay `1step` (#6681). [Ondrej Ille] * Support clocking output delay `1step` (#6681). [Ondrej Ille]
* Support parsing of dotted bins_expression (#6683). [Pawel Kojma, Antmicro Ltd.] * Support parsing of dotted `bins_expression` (#6683). [Pawel Kojma, Antmicro Ltd.]
* Support constant expression cycle delays in sequences (#6691). [Ryszard Rozak, Antmicro Ltd.] * Support constant expression cycle delays in sequences (#6691). [Ryszard Rozak, Antmicro Ltd.]
* Support general global constraints (#6709) (#6711). [Yilou Wang] * Support general global constraints (#6709) (#6711). [Yilou Wang]
* Support `config` default liblist (#6714). [Dan Ruelas-Petrisko]
* Support `config` cell clauses (#6717). [Dan Ruelas-Petrisko]
* Support complex std::randomize patterns (#6736) (#6737). [Yilou Wang] * Support complex std::randomize patterns (#6736) (#6737). [Yilou Wang]
* Support rand_mode in global constraint gathering (#6740) (#6752). [Yilou Wang] * Support `rand_mode` in global constraint gathering (#6740) (#6752). [Yilou Wang]
* Optimize away calls to empty functions (#6626). [Geza Lore] * Optimize away calls to empty functions (#6626). [Geza Lore]
* Optimize redundant headers in Syms implementation files. [Geza Lore, Fractile Ltd.] * Optimize redundant headers in Syms implementation files. [Geza Lore, Fractile Ltd.]
* Optimize constructor/destructor VerilatedModules (#6660). [Geza Lore, Fractile Ltd.] * Optimize constructor/destructor VerilatedModules (#6660). [Geza Lore, Fractile Ltd.]
* Optimize repeated function call during symbol table initialization (#6665). [Geza Lore, Fractile Ltd.] * Optimize repeated function call during symbol table initialization (#6665). [Geza Lore, Fractile Ltd.]
* Optimize functions reading external parameters as pure (#6684). [Geza Lore, Fractile Ltd.] * Optimize functions reading external parameters as pure (#6684). [Geza Lore, Fractile Ltd.]
* Optimize $past delayed variable reuse (#6689). [Geza Lore, Fractile Ltd.] * Optimize `$past` delayed variable reuse (#6689). [Geza Lore, Fractile Ltd.]
* Optimize trace code for faster compiles on repeated types (#6707). [Todd Strader]
* Optimize combinational loops through sign extension (#6724). [Geza Lore] * Optimize combinational loops through sign extension (#6724). [Geza Lore]
* Optimize trace initialization code size (#6749). [Geza Lore] * Optimize trace initialization code size (#6749). [Geza Lore]
* Optimize combinational cycles in DFG (#6744) (#6746) (#6744). [Geza Lore] * Optimize combinational cycles in DFG (#6744) (#6746) (#6744). [Geza Lore]
@ -60,6 +59,7 @@ Verilator 5.043 devel
* Fix randomize called within func/task (#6144) (#6753). [Yilou Wang] * Fix randomize called within func/task (#6144) (#6753). [Yilou Wang]
* Fix pre/post_randomize on extended classes (#6467). [Alex Solomatnikov] * Fix pre/post_randomize on extended classes (#6467). [Alex Solomatnikov]
* Fix expression short circuiting (#6483). [Todd Strader] * Fix expression short circuiting (#6483). [Todd Strader]
* Fix resized lvalues with warning suppressed (#6497) (#6816). [Alex Solomatnikov]
* Fix expression coverage of system calls (#6592). [Todd Strader] * Fix expression coverage of system calls (#6592). [Todd Strader]
* Fix `--timing` with `--x-initial-edge` (#6603) (#6631). [Krzysztof Bieganski, Antmicro Ltd.] * Fix `--timing` with `--x-initial-edge` (#6603) (#6631). [Krzysztof Bieganski, Antmicro Ltd.]
* Fix merging of impure assignments in gate optimization (#6629) (#6630). [Geza Lore] * Fix merging of impure assignments in gate optimization (#6629) (#6630). [Geza Lore]
@ -108,7 +108,7 @@ Verilator 5.043 devel
* Fix `disable iff` in simple properties (#6783). [Ryszard Rozak, Antmicro Ltd.] * Fix `disable iff` in simple properties (#6783). [Ryszard Rozak, Antmicro Ltd.]
* Fix input sampling of clocking block signals (#6788). [Pawel Kojma, Antmicro Ltd.] * Fix input sampling of clocking block signals (#6788). [Pawel Kojma, Antmicro Ltd.]
* Fix O(n*2) analysis in const-bit-op-tree (#6791). [Geza Lore] * Fix O(n*2) analysis in const-bit-op-tree (#6791). [Geza Lore]
* Fix resized lvalues with warning suppressed (#6497) (#6816). [Alex Solomatnikov] * Fix nested struct within parameter port list (#6818) (#6824). [Luca Colagrande]
Verilator 5.042 2025-11-02 Verilator 5.042 2025-11-02

2
docs/guide/exe_verilator.rst
View File

@ -992,7 +992,7 @@ Summary:
.. option:: -libmap <lib.map> .. option:: -libmap <lib.map>
Specifies library mapping file to sort modules into libraries. This can be Specifies library mapping file to sort modules into libraries. This can be
overridden by :vltopt:`-work`. overridden by :vlopt:`-work`.
.. option:: +librescan .. option:: +librescan