Commentary: Changes update

Changes

@@ -11,10 +11,15 @@ contributors that suggested a given feature are shown in []. Thanks!
 Verilator 5.035 devel
 ==========================
 
-**Other:**
+**Major:**
 
+* Add `--trace-saif` for SAIF power traces (#5812). [Mateusz Gancarz]
 * Change `--output-groups` to default to value of `--build-jobs` (#5751).
   Those using build farms may need to now use `--output-groups 0` or otherwise.
+
+**Other:**
+
+* Support force/release with a variable reference (#5721) (#5810). [Bartłomiej Chmiel, Antmicro Ltd.]
 * Add check for `let` misused in statement context (#5733).
 * Add used language to `--preproc-resolve` output (#5795). [Kamil Rakoczy, Antmicro Ltd.]
 * Add empty veriuser.h for legacy compatibility.
@@ -24,7 +29,9 @@ Verilator 5.035 devel
 * Fix tcmalloc static link and non-22.04 builds (#5817) (#5818). [Geza Lore]
 * Fix UNOPTFLAT warnings with `--coverage-trace` and always_comb (#5821).
 * Fix function locals in SenExprBuilder (#5822). [Geza Lore]
+* Fix type_id package scope resolution (#5826). [Krzysztof Bieganski, Antmicro Ltd.]
 * Fix `rand_mode` method with cast (#5831).
+* Fix invalidating variable caches in SenExprBulider (#5834) (#5835). [Geza Lore]
 
 
 Verilator 5.034 2025-02-24

README.rst

@@ -1,7 +1,7 @@
 .. Github doesn't render images unless absolute URL
 .. Do not know of a conditional tag, "only: github" nor "github display" works
 
-|badge1| |badge2| |badge3| |badge4| |badge5| |badge6| |badge7|
+|badge1| |badge2| |badge3| |badge4| |badge5| |badge7|
 
 .. |badge1| image:: https://img.shields.io/badge/Website-Verilator.org-181717.svg
     :target: https://verilator.org
@@ -13,8 +13,6 @@
     :target: https://repology.org/project/verilator/versions
 .. |badge5| image:: https://img.shields.io/docker/pulls/verilator/verilator
     :target: https://hub.docker.com/r/verilator/verilator
-.. |badge6| image:: https://api.codacy.com/project/badge/Grade/fa78caa433c84a4ab9049c43e9debc6f
-    :target: https://www.codacy.com/gh/verilator/verilator
 .. |badge7| image:: https://github.com/verilator/verilator/workflows/build/badge.svg
     :target: https://github.com/verilator/verilator/actions?query=workflow%3Abuild
 
@@ -134,7 +132,7 @@ Related Projects
 - `GTKwave <http://gtkwave.sourceforge.net/>`_ - Waveform viewer for
   Verilator traces.
 
-- `Icarus Verilog`_ - Icarus is a full-featured interpreted Verilog
+- `Icarus Verilog`_ - Icarus is a highly-featured interpreted Verilog
   simulator. If Verilator does not support your needs, perhaps Icarus may.
 
 

docs/guide/exe_verilator.rst

@@ -1629,7 +1629,8 @@ Summary:
 .. option:: --trace-saif
 
    Enable SAIF tracing in the model. This overrides :vlopt:`--trace`.
-   Specification of this format can be found in `IEEE 1801-2018<https://ieeexplore.ieee.org/document/8686430>`_ (see Annex I).
+   Specification of this format can be found in `IEEE 1801-2018
+   <https://ieeexplore.ieee.org/document/8686430>`_ (see Annex I).
 
 .. option:: --trace-structs
 

docs/guide/languages.rst

@@ -452,12 +452,15 @@ force, release
   Verilator supports the procedural `force` (and corresponding `release`)
   statement. However, the behavior of the `force` statement does not
   entirely comply with IEEE 1800-2023:
-  1. Using forced variable as a value to another force statement is currently
-     not supported. The dependant force statement is forced by an initial
-     constant value.
-  2. Force/release with procedural continuous assignment is not supported.
-     Assignment is treated as a procedural one.
-  3. Expressions using multiple variable references or function calls on
+
+  #. Using forced variable as a value to another force statement is
+     currently not supported. The dependent force statement is forced by an
+     initial constant value.
+
+  #. Force/release with procedural continuous assignment is not supported.
+     The assignment is treated as procedural.
+
+  #. Expressions using multiple variable references or function calls on
      forced right-hand side are not sensitive to dependency changes.
 
 inside

docs/spelling.txt

@@ -962,6 +962,7 @@ runtime
 runtimes
 rw
 sVerilator
+saif
 sawatzke
 sc
 scalared
@@ -1096,6 +1097,7 @@ verilator
 verilog
 verilogmod
 verimake
+veriuser
 vl
 vlopt
 vlt