Added more stuff to the checklist

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