diff options
Diffstat (limited to 'tests/xsthammer/README')
| -rw-r--r-- | tests/xsthammer/README | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/tests/xsthammer/README b/tests/xsthammer/README index 10756dd46..3f1b198d5 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.) |