aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-06-08 15:28:36 +0200
committerClifford Wolf <clifford@clifford.at>2014-06-08 15:28:36 +0200
commitca125bf41b6de9251f6396fd06ba7a50c7eb48c0 (patch)
treefc847263c87ee70a203ca9b1db2d7a508e1705cb
parent94e9ee6baba2952c8dd055dbab45fb3c9c64121e (diff)
downloadyosys-ca125bf41b6de9251f6396fd06ba7a50c7eb48c0.tar.gz
yosys-ca125bf41b6de9251f6396fd06ba7a50c7eb48c0.tar.bz2
yosys-ca125bf41b6de9251f6396fd06ba7a50c7eb48c0.zip
Tagging Yosys 0.3.0
-rw-r--r--CHANGELOG48
-rw-r--r--Makefile2
2 files changed, 47 insertions, 3 deletions
diff --git a/CHANGELOG b/CHANGELOG
index c014f4586..77d7551bf 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -3,10 +3,54 @@ List of changes and major improvements between releases
=======================================================
-Yosys 0.2.0 .. Yoys 0.2.0+
+Yosys 0.2.0 .. Yoys 0.3.0
--------------------------
- ... TBD ...
+ * Driver program and overall behavior:
+ - Added "design -push" and "design -pop"
+ - Added "tee" command for redirecting log output
+
+ * Changes in the internal cell library:
+ - Added $dlatchsr and $_DLATCHSR_???_ cell types
+
+ * Improvements in Verilog frontend:
+ - Improved support for const functions (case, always, repeat)
+ - The generate..endgenerate keywords are now optional
+ - Added support for arrays of module instances
+ - Added support for "`default_nettype" directive
+ - Added support for "`line" directive
+
+ * Other front- and back-ends:
+ - Various changes to "write_blif" options
+ - Various improvements in EDIF backend
+ - Added "vhdl2verilog" pseudo-front-end
+ - Added "verific" pseudo-front-end
+
+ * Improvements in technology mapping:
+ - Added support for recursive techmap
+ - Added CONSTMSK and CONSTVAL features to techmap
+ - Added _TECHMAP_CONNMAP_*_ feature to techmap
+ - Added _TECHMAP_REPLACE_ feature to techmap
+ - Added "connwrappers" command for wrap-extract-unwrap method
+ - Added "extract -map %<design_name>" feature
+ - Added "extract -ignore_param ..." and "extract -ignore_parameters"
+ - Added "techmap -max_iter" option
+
+ * Improvements to "eval" and "sat" framework:
+ - Now include a copy of Minisat (with build fixes applied)
+ - Switched to Minisat::SimpSolver as SAT back-end
+ - Added "sat -dump_vcd" feature
+ - Added "sat -dump_cnf" feature
+ - Added "sat -initsteps <N>" feature
+ - Added "freduce -stop <N>" feature
+ - Added "fredure -dump <prefix>" feature
+
+ * Integration with ABC:
+ - Updated ABC rev to 7600ffb9340c
+
+ * Improvements in the internal APIs:
+ - Added RTLIL::Module::add... helper methods
+ - Various build fixes for OSX (Darwin) and OpenBSD
Yosys 0.1.0 .. Yoys 0.2.0
diff --git a/Makefile b/Makefile
index 38e404ce0..c0c6fe3f3 100644
--- a/Makefile
+++ b/Makefile
@@ -39,7 +39,7 @@ else
LDLIBS += -lrt
endif
-YOSYS_VER := 0.2.0+
+YOSYS_VER := 0.3.0
GIT_REV := $(shell git rev-parse --short HEAD || echo UNKOWN)
OBJS = kernel/version_$(GIT_REV).o