Added more stuff to the checklist

diff --git a/CHECKLIST b/CHECKLIST
index c621b715614c6bdc6440439d073fbea27fd91de0..7fcdd8e9e8e0484802dd848273e81f5b0051b3c7 100644 (file)
--- 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