diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-11-07 13:16:38 +0100 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-11-07 13:16:38 +0100 |
| commit | cff42f0af5953b66760df293bfce5d0f37a8504c (patch) | |
| tree | 1d0db41e2d3269bdfd54d9efb15544b0f4562ef1 /CHANGELOG | |
| parent | 96df99dafa5a175200036015030c3427758b872c (diff) | |
| download | yosys-cff42f0af5953b66760df293bfce5d0f37a8504c.tar.gz yosys-cff42f0af5953b66760df293bfce5d0f37a8504c.tar.bz2 yosys-cff42f0af5953b66760df293bfce5d0f37a8504c.zip | |
Update CHANGELOG
Diffstat (limited to 'CHANGELOG')
| -rw-r--r-- | CHANGELOG | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -8,6 +8,10 @@ Yosys 0.22 .. Yosys 0.22-dev - Added option "-cross" to "miter" pass. - Added option "-nocheck" to "equiv_opt" pass. + * Formal Verification + - yosys-smtbmc: Added "--detect-loops" option for checking if states are + unique in temporal induction counter examples. + * Verific support - Added support for reading Liberty files using Verific library. (Optinally enabled with ENABLE_VERIFIC_LIBERTY) @@ -15,7 +19,7 @@ Yosys 0.22 .. Yosys 0.22-dev all cells from verific design. * Various - - MinGW build (Windows) plugin support + - MinGW build (Windows) plugin support. - Added YOSYS_ABORT_ON_LOG_ERROR environment variable for debugging. Setting it to 1 causes abort() to be called when Yosys terminates with an error message. |