summaryrefslogtreecommitdiff
path: root/tests/xsthammer/README
diff options
context:
space:
mode:
Diffstat (limited to 'tests/xsthammer/README')
-rw-r--r--tests/xsthammer/README13
1 files changed, 2 insertions, 11 deletions
diff --git a/tests/xsthammer/README b/tests/xsthammer/README
index 10756dd4..3f1b198d 100644
--- a/tests/xsthammer/README
+++ b/tests/xsthammer/README
@@ -9,15 +9,6 @@ to synthesize them with Yosys and Xilinx XST and perform formal equivialence
checks using the Yosys SAT-based equivialence checker. This will hopefully
reveal some bugs in both applications.. ;-)
-
-Generating the Test Cases:
- clang -Wall -o generate generate.cc -lstdc++
- ./generate
-
-Running XST Synthesis:
- bash run-xst.sh
- rm -rf xst_temp
-
-Running Yosys Synthesis and Check:
- TBD
+Simply run 'make' to generate all test cases and run all the tests.
+(Use 'make -j N' to use N parallel cores.)