SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware verification flows. See http://symbiyosys.readthedocs.io/ for documentation.
awygle / symbiyosys Goto Github PK
View Code? Open in Web Editor NEWThis project forked from yosyshq/sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows