From e4a0ab9bedcf357551c0faf548317e0998d5a4d1 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 25 Jul 2014 03:18:16 +0200 Subject: [PATCH] Added more stuff to the checklist --- CHECKLIST | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) 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 -- 2.30.2