From 749b0345df24db0b58f3d225e26139b01434ad9e Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Sat, 23 Nov 2024 22:06:07 -0500 Subject: [PATCH] Commentary: Changes update --- Changes | 4 ++++ docs/guide/exe_verilator.rst | 16 ++++++++-------- 2 files changed, 12 insertions(+), 8 deletions(-) diff --git a/Changes b/Changes index f1863246f..35974cbf0 100644 --- a/Changes +++ b/Changes @@ -16,6 +16,8 @@ Verilator 5.031 devel * Support queue's assignment `push_back/push_front('{})` (#5585) (#5586). [Yilou Wang] * Support basic constrained random for multi-dimensional dynamic array and queue (#5591). [Yilou Wang] * Support vpiDefName (#3906) (#5572). [Krzysztof Starecki] +* Support parameter names in pattern initialization (#5593) (#5596). [Greg Davill] +* Support randomize size constraints with restrictions (#5582 partial) (#5611). [Ryszard Rozak, Antmicro Ltd.] * Support `pure constraint`. * Add `--no-std-waiver` and default reading of standard lint waivers file (#5607). * Add `--no-std-package` as subset-alias of `--no-std` (#5607). @@ -25,6 +27,7 @@ Verilator 5.031 devel * Add error on `wait` with missing `.triggered` (#4457). * Add error when improperly storing to parameter (#5147). [Gökçe Aydos] * Add coverage point hierarchy to coverage reports (#5575) (#5576). [Andrew Nolte] +* Add warning on global constraints (#5625). [Ryszard Rozak, Antmicro Ltd.] * Add error on `solve before` or soft constraints of `randc` variable. * Improve concatenation performance (#5598) (#5599) (#5602). [Geza Lore] * Fix dotted reference in delay value (#2410). @@ -38,6 +41,7 @@ Verilator 5.031 devel * Fix duplicate scope identifiers decoding (#5584). [Bartłomiej Chmiel, Antmicro Ltd.] * Fix `rand` dynamic arrays with null handles (#5594). [Ryszard Rozak, Antmicro Ltd.] * Fix NBAs to unpacked arrays of unpacked structs (#5603). [Geza Lore] +* Fix array of struct member overwrites on member update (#5605) (#5618) (#5628). [sumpster] Verilator 5.030 2024-10-27 diff --git a/docs/guide/exe_verilator.rst b/docs/guide/exe_verilator.rst index 87cd928c3..9b252f51e 100644 --- a/docs/guide/exe_verilator.rst +++ b/docs/guide/exe_verilator.rst @@ -1364,7 +1364,7 @@ Summary: .. option:: --no-std Prevents parsing standard input files, alias for - :opt:`--no-std-package`, :opt:`--no-std-waiver`. This may be extended + :vlopt:`--no-std-package`, :vlopt:`--no-std-waiver`. This may be extended to prevent reading other standardized files in future versions. .. option:: --no-std-package @@ -1655,12 +1655,12 @@ Summary: .. option:: --waiver-multiline - When using :vlopt:`--waiver-output \`, include a match - expression that includes the entire multiline error message as a match - regular expression, as opposed to the default of only matching the first - line of the error message. This provides a starting point for creating - complex waivers, but such generated waivers will likely require editing - for brevity before being reused. + When using :vlopt:`--waiver-output \ <--waiver-output>`, + include a match expression that includes the entire multiline error + message as a match regular expression, as opposed to the default of only + matching the first line of the error message. This provides a starting + point for creating complex waivers, but such generated waivers will + likely require editing for brevity before being reused. .. option:: --waiver-output @@ -2111,7 +2111,7 @@ The grammar of configuration commands is as follows: the :code:`-rule`, :code:`-file`, and :code:`-contents` also match. The wildcard should be designed to match a single line; it is unspecified if the wildcard is allowed to match across multiple lines. The input - contents does not include :vlopt:`--std` standard files, nor + contents does not include :vlopt:`--std <--no-std>` standard files, nor configuration files (with :code:`verilator_config`). Typical use for this is to match a version number present in the Verilog sources, so that the waiver will only apply to that version of the sources.