diff options
Diffstat (limited to 'tests/xsthammer/README')
-rw-r--r-- | tests/xsthammer/README | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/tests/xsthammer/README b/tests/xsthammer/README deleted file mode 100644 index 3f1b198d..00000000 --- a/tests/xsthammer/README +++ /dev/null @@ -1,14 +0,0 @@ - - ================================ - 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.. ;-) - -Simply run 'make' to generate all test cases and run all the tests. -(Use 'make -j N' to use N parallel cores.) - |