From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 25 Jul 2014 01:18:16 +0000 (+0200)
Subject: Added more stuff to the checklist
X-Git-Tag: yosys-0.4~440
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e4a0ab9bedcf357551c0faf548317e0998d5a4d1;p=yosys.git

Added more stuff to the checklist
---

diff --git a/CHECKLIST b/CHECKLIST
index c621b7156..7fcdd8e9e 100644
--- a/CHECKLIST
+++ b/CHECKLIST
@@ -29,7 +29,7 @@ Run all tests with "make config-{clang-debug,gcc-debug,gcc-4.7,release}":
 	chromium-browser report.html
 
 
-Then with any config setting:
+Then with default config setting:
 
 	cd ~yosys
 	make manual
@@ -38,6 +38,18 @@ Then with any config setting:
 	    - make cosmetic changes to the .tex files if necessary
 
 
+Also with default config setting:
+
+	cd ~yosys/techlibs/cmos
+	bash testbench.sh
+
+	cd ~yosys/techlibs/xilinx/example_sim_counter
+	bash run_sim.sh
+
+	cd ~yosys/techlibs/xilinx/example_mojo_counter
+	bash example.sh
+
+
 Finally if a current verific library is available:
 
 	cd ~yosys