diff --git a/Changes b/Changes index d2c225244..dc5d5be07 100644 --- a/Changes +++ b/Changes @@ -44,6 +44,7 @@ Verilator 5.043 devel * Support general global constraints (#6709) (#6711). [Yilou Wang] * Support complex std::randomize patterns (#6736) (#6737). [Yilou Wang] * Support `rand_mode` in global constraint gathering (#6740) (#6752). [Yilou Wang] +* Support reduction or in constraints (#6840). [Pawel Kojma, Antmicro Ltd.] * Optimize away calls to empty functions (#6626). [Geza Lore] * Optimize redundant headers in Syms implementation files. [Geza Lore, Fractile Ltd.] * Optimize constructor/destructor VerilatedModules (#6660). [Geza Lore, Fractile Ltd.] @@ -56,6 +57,7 @@ Verilator 5.043 devel * Fix generate function(s) inside of generate blocks (#1011) (#6789). [em2machine] * Fix typedef derived from type defined inside interface (#3441) (#6776). [em2machine] * Fix extern function that returns parameterized class (#4924). +* Fix type deduction for variable parameterized classes (#6281) (#6813). [em2machine] * Fix randomize called within func/task (#6144) (#6753). [Yilou Wang] * Fix pre/post_randomize on extended classes (#6467). [Alex Solomatnikov] * Fix expression short circuiting (#6483). [Todd Strader] @@ -92,7 +94,8 @@ Verilator 5.043 devel * Fix fork scheduling semantics (#6730). [Artur Bieniek, Antmicro Ltd.] * Fix internal fault when cross-class calling with DPI (#6735) (#6742). [Matthew Ballance] * Fix write variable placement for global constraints (#6740) (#6750) (#6797). [Yilou Wang] -* Fix resolution of specialized typedefs (#6754) (#6808). [em2machine] +* Fix JSON dump missing output ports (#6751) (#6831). [Oleh Maksymenko] +* Fix resolution of specialized typedefs (#6754) (#6808) (#6834). [em2machine] * Fix UNSUPPORTED on force / release with complex selects (#6755). [Ryszard Rozak, Antmicro Ltd.] * Fix select assignment expansion (#6757). [Geza Lore] * Fix `--lib-create` with multi-bit clocks (#6759). [Geza Lore] @@ -108,9 +111,12 @@ Verilator 5.043 devel * Fix `disable iff` in simple properties (#6783). [Ryszard Rozak, 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 nested struct within parameter port list (#6818) (#6824). [Luca Colagrande] +* Fix member select of variable without randmode (#6800) (#6833). [Yilou Wang] * Fix duplicate name error with interface initial blocks (#6804) (#6805). [Thomas Dybdahl Ahle] +* Fix nested struct within parameter port list (#6818) (#6824). [Luca Colagrande] +* Fix setting thread count in VerilatedContext (#6826 partial) (#6841). [Yangyu Chen] * Fix firing array selects of events (#6829). [Amal Araweelo Almis] +* Fix false IMPLICITSTATIC on localparam (#6835). [Geza Lore] * Fix randcase under fork (#6843). [Amal Araweelo Almis] @@ -552,6 +558,7 @@ Verilator 5.034 2025-02-24 * Optimize labels as final `if` block statements (#5744). * Optimize empty function definition bodies (#5750). * Optimize splitting trigger computation and dump (#5798). [Geza Lore] +* Optimize some DFG multiplexers (#6822). [Yangyu Chen] * Fix error message when call task as a function (#3089). [Matthew Ballance] * Fix force VPI public signal visibility (#5225). [Frédéric Requin] * Fix VPI iteration over hierarchy (#5314) (#5731). [Natan Kreimer] diff --git a/docs/guide/exe_verilator.rst b/docs/guide/exe_verilator.rst index f748f6ea1..1e94aedae 100644 --- a/docs/guide/exe_verilator.rst +++ b/docs/guide/exe_verilator.rst @@ -2495,8 +2495,8 @@ The grammar of control commands is as follows: converted into ``begin``/``end`` blocks. Similar to :option:`/*verilator&32;timing_on*/`, - :option:`/*verilator&32;timing_off*/` metacomments, but interpreted - independtly. If either a control file, or metacommets disable timing + :option:`/*verilator&32;timing_off*/` meta-comments, but interpreted + independently. If either a control file, or meta-comments disable timing constructs, they will be disabled. .. t_dist_docs_style ignore tracing_on diff --git a/docs/spelling.txt b/docs/spelling.txt index a2c00de64..7a68d978e 100644 --- a/docs/spelling.txt +++ b/docs/spelling.txt @@ -4,6 +4,8 @@ Accellera Affe Aleksander Alexandre +Almis +Amal Ami Amir Anastasiadis @@ -13,6 +15,7 @@ Antmicro Antonin Antwerpen Arasanipalai +Araweelo Arjen Arshid Asciidoc @@ -986,6 +989,7 @@ qrqiuren radix randc randcase +randmode randsequence randstate raphmaster