luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update CHANGELOG

This commit is contained in:
Miodrag Milanovic 2022-11-07 13:16:38 +01:00
parent 96df99dafa
commit cff42f0af5
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
CHANGELOG
View File

@ -8,6 +8,10 @@ Yosys 0.22 .. Yosys 0.22-dev
- Added option "-cross" to "miter" pass. - Added option "-cross" to "miter" pass.
- Added option "-nocheck" to "equiv_opt" 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 * Verific support
- Added support for reading Liberty files using Verific library. - Added support for reading Liberty files using Verific library.
(Optinally enabled with ENABLE_VERIFIC_LIBERTY) (Optinally enabled with ENABLE_VERIFIC_LIBERTY)
@ -15,7 +19,7 @@ Yosys 0.22 .. Yosys 0.22-dev
all cells from verific design. all cells from verific design.
* Various * Various
- MinGW build (Windows) plugin support - MinGW build (Windows) plugin support.
- Added YOSYS_ABORT_ON_LOG_ERROR environment variable for debugging. - Added YOSYS_ABORT_ON_LOG_ERROR environment variable for debugging.
Setting it to 1 causes abort() to be called when Yosys terminates with an Setting it to 1 causes abort() to be called when Yosys terminates with an
error message. error message.