diff --git a/Changes b/Changes index 2c9335b3e..818b14433 100644 --- a/Changes +++ b/Changes @@ -22,6 +22,7 @@ Verilator 5.029 devel * Change to use maximum for cover point aggregation (#5402). [Andrew Nolte] * Change `--main` and `--binary` to use a TOP hierarchy name of "" (#5482). * Support IEEE-compliant intra-assign delays (#3711) (#5441). [Krzysztof Bieganski, Antmicro Ltd.] +* Support `wor`, `trior`, `wand`, `triand` (#5386) (#5496). [Zhou Shen] * Support unconstrained randomization for unions (#5395) (#5396). [Yilou Wang] * Support basic constrained queue randomization (#5413). [Arkadiusz Kozdra, Antmicro Ltd.] * Support packed/unpacked and dynamic array unconstrained randomization (#5414) (#5415). [Yilou Wang] @@ -33,6 +34,7 @@ Verilator 5.029 devel * Support DPI imports and exports with double underscores (#5481). * Support ccache when compiling Verilated files with cmake. * Support `local` and `protected` on `typedef` (#5460). +* Support unconstrained randomization for associative array and queue (#5515). [Yilou Wang] * Add error on misused genvar (#408). [Alex Solomatnikov] * Add error on instances without parenthesis. * Add Docker pre-commit hook (#5238) (#5452). [Chris Bachhuber] diff --git a/docs/spelling.txt b/docs/spelling.txt index bd26f521c..7623a65e3 100644 --- a/docs/spelling.txt +++ b/docs/spelling.txt @@ -1027,6 +1027,8 @@ traceEverOn tran treei tri +triand +trior tristate tristates trunc @@ -1102,6 +1104,7 @@ warmup waveforms whitespace widthed +wor wreal writeb writeme