symbiyosys
SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware verification flows.
Installation
To install this package, run one of the following:
Usage Tracking
v0.0_74_g091222b
v0.0_69_g93d65cc
0.0_74_g091222b
0.0.0_0074_g091222b
0.0.0_0069_g93d65cc
5 / 8 versions selected
Downloads (Last 6 months): 0
About
Summary
SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware verification flows.
Last Updated
Jan 12, 2021 at 17:19
License
ISC
Total Downloads
554
Supported Platforms
linux-64