3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-05 22:14:08 +00:00
Find a file
William D. Jones 43c7db77d4 Gate Unix-specific functionality from resources and fcntl.
Signed-off-by: William D. Jones <thor0505@comcast.net>
2019-03-10 00:43:55 -05:00
docs Add --dumptasks to documentation 2019-03-08 12:20:08 -08:00
sbysrc Gate Unix-specific functionality from resources and fcntl. 2019-03-10 00:43:55 -05:00
.gitignore Add aiger engine 2017-02-19 23:53:01 +01:00
Makefile Add "mkdir -p" to "make install" 2018-03-07 12:31:56 +01:00
README.md Update README.md 2018-08-27 19:35:25 +02:00

SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware verification flows. See http://symbiyosys.readthedocs.io/ for documentation on how to use SymbiYosys.

Many example designs using SymbiYosys have been published on the ZipCPU blog. Please consider browsing the formal verification page of the ZipCPU blog for examples and commentary.