mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-08 18:31:51 +00:00
Code Activity
yosys/tests/xsthammer
History
Clifford Wolf bf2c149329 Another fix for a bug found using xsthammer
2013-06-12 19:09:14 +02:00
..
.gitignore Further improved and extended xsthammer 2013-06-11 19:49:35 +02:00
generate.cc Another fix for a bug found using xsthammer 2013-06-12 19:09:14 +02:00
Makefile Further improved and extended xsthammer 2013-06-11 19:49:35 +02:00
README Further improved and extended xsthammer 2013-06-11 19:49:35 +02:00
run-check.sh Further improved and extended xsthammer 2013-06-11 19:49:35 +02:00
run-xst.sh Further improved and extended xsthammer 2013-06-11 19:49:35 +02:00
xl_cells.v Progress on xsthammer 2013-06-10 12:37:05 +02:00
xl_cells_tb.v Progress in xsthammer: working proof for cell models 2013-06-10 14:02:11 +02:00
xl_cells_tb.ys Progress in xsthammer: working proof for cell models 2013-06-10 14:02:11 +02:00

README 

	================================
	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.)