diff options
author | Miodrag Milanovic <mmicko@gmail.com> | 2022-07-04 11:09:06 +0200 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-07-04 11:09:06 +0200 |
commit | 59b96bb1f82b6cf83e004488267e5576dbcfad4b (patch) | |
tree | 9da5064e0cbd30c7a8188d065b725305cf7f56d9 /CHANGELOG | |
parent | c39bade1a75efd166e3db1d4c30ca1dbf8d39e1b (diff) | |
download | yosys-59b96bb1f82b6cf83e004488267e5576dbcfad4b.tar.gz yosys-59b96bb1f82b6cf83e004488267e5576dbcfad4b.tar.bz2 yosys-59b96bb1f82b6cf83e004488267e5576dbcfad4b.zip |
Upadte documentation and changelog
Diffstat (limited to 'CHANGELOG')
-rw-r--r-- | CHANGELOG | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -4,6 +4,21 @@ List of major changes and improvements between releases Yosys 0.18 .. Yosys 0.18-dev -------------------------- + * Various + - Added support for $pos cell in btor backend + + * New commands and options + - Added option "-rom-only" to "memory_libmap" pass + - Added option "-smtcheck" to "hierarchy" pass + - Added option "-keepdc" to "memory_libmap" pass + - Added option "-suffix" to "rename" pass + - Added "gatemate_foldinv" pass + + * GateMate support + - Added LUT tree mapping + + * Verific support + - Added option "-pp" to "verific -import" Yosys 0.17 .. Yosys 0.18 -------------------------- |