mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-12 06:00:55 +00:00
Code Activity

Added first xsthammer scripts

Browse source
This commit is contained in:
Clifford Wolf 2013-06-10 01:40:20 +02:00
parent 08e2fa978c
commit af83ed168e
4 changed files with 183 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

23
tests/xsthammer/README Normal file
View file

@ -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