diff options
Diffstat (limited to 'tests/xsthammer/README')
| -rw-r--r-- | tests/xsthammer/README | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/tests/xsthammer/README b/tests/xsthammer/README new file mode 100644 index 000000000..10756dd46 --- /dev/null +++ b/tests/xsthammer/README @@ -0,0 +1,23 @@ + + ================================ + This is work under construction! + ================================ + + +This is going to be a collection of auto-generated test cases. The goal is +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 + |