blob: 3f1b198d5f9d722650f7cebf8c302c3d17362ee5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
================================
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.)
|