mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-02-22 19:27:40 +00:00
Code Activity
No description
97 commits 13 branches 37 tags 3 MiB
Find a file
jhol 0619c7428b
Merge 4d5b60cb55 into 055b305c81
2018-03-07 03:33:26 +00:00
docs Update verific.rst 2018-03-06 23:46:52 +01:00
sbysrc Merge branch 'master' of github.com:cliffordwolf/SymbiYosys 2018-03-06 23:42:09 +01:00
.gitignore Add aiger engine 2017-02-19 23:53:01 +01:00
Makefile Makefile: Use install to guarantee existance of the installation directory 2018-03-06 15:22:51 -07:00
README.md Add README.md 2017-01-22 16:59:51 +01:00

README.md

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