aboutsummaryrefslogtreecommitdiffstats
path: root/CHANGELOG
diff options
context:
space:
mode:
authorMiodrag Milanovic <mmicko@gmail.com>2022-07-04 11:09:06 +0200
committerMiodrag Milanovic <mmicko@gmail.com>2022-07-04 11:09:06 +0200
commit59b96bb1f82b6cf83e004488267e5576dbcfad4b (patch)
tree9da5064e0cbd30c7a8188d065b725305cf7f56d9 /CHANGELOG
parentc39bade1a75efd166e3db1d4c30ca1dbf8d39e1b (diff)
downloadyosys-59b96bb1f82b6cf83e004488267e5576dbcfad4b.tar.gz
yosys-59b96bb1f82b6cf83e004488267e5576dbcfad4b.tar.bz2
yosys-59b96bb1f82b6cf83e004488267e5576dbcfad4b.zip
Upadte documentation and changelog
Diffstat (limited to 'CHANGELOG')
-rw-r--r--CHANGELOG15
1 files changed, 15 insertions, 0 deletions
diff --git a/CHANGELOG b/CHANGELOG
index e32d9d053..16c746957 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -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
--------------------------