mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-24 08:24:35 +00:00
Code Activity
yosys/tests/xsthammer
History
Clifford Wolf 3fd37061bf Added work-around to isim bug in xsthammer report script
2013-07-05 15:29:03 +02:00
..
.gitignore Added xsthammer report generator 2013-07-05 14:46:06 +02:00
cy_cells.v Improved xsthammer quartus support 2013-07-04 21:26:49 +02:00
generate.cc Progress in xsthammer 2013-07-03 11:19:18 +02:00
Makefile Added xsthammer report generator 2013-07-05 14:46:06 +02:00
README Further improved and extended xsthammer 2013-06-11 19:49:35 +02:00
report.sh Added work-around to isim bug in xsthammer report script 2013-07-05 15:29:03 +02:00
run-check.sh Improved xsthammer quartus support 2013-07-04 21:26:49 +02:00
run-quartus.sh Added Altera Quartus support to xsthammer 2013-07-03 20:40:54 +02:00
run-vivado.sh Progress in xsthammer 2013-07-03 11:19:18 +02:00
run-xst.sh Progress in xsthammer 2013-07-03 11:19:18 +02:00
xl_cells.v Added CARRY4 Xilinx cell to xsthammer cell lib 2013-07-05 14:46:33 +02:00
xl_cells_tb.v More xsthammer improvements (using xst 14.5 now) 2013-06-13 17:23:51 +02:00
xl_cells_tb.ys More xsthammer improvements (using xst 14.5 now) 2013-06-13 17:23:51 +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.)