summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-07-25 12:16:23 +0200
committerClifford Wolf <clifford@clifford.at>2014-07-25 12:16:23 +0200
commita8706b73a2c14c6b34e4fb7136866c0bc959acbb (patch)
treeaa6d6c831fed16414005070c31fb1acbb7ab75f1
parent1488bc0c4f80b32cabd096232830b7fdfc400bbf (diff)
Added more stuff to checklist
-rw-r--r--CHECKLIST4
1 files changed, 4 insertions, 0 deletions
diff --git a/CHECKLIST b/CHECKLIST
index 7fcdd8e9..35de389b 100644
--- a/CHECKLIST
+++ b/CHECKLIST
@@ -32,6 +32,10 @@ Run all tests with "make config-{clang-debug,gcc-debug,gcc-4.7,release}":
Then with default config setting:
cd ~yosys
+ ./yosys -p 'proc; show' tests/simple/fiedler-cooley.v
+ ./yosys -p 'proc; opt; show' tests/simple/fiedler-cooley.v
+
+ cd ~yosys
make manual
- sanity check the figures in the appnotes and presentation
- if there are any odd things -> investigate