symbiyosys
SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware verification flows.
- Overview
- Files 2
- Labels 1
- Badges
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
linux-64/symbiyosys-0.0_74_g091222b-20210112_164013.tar.bz2 | conda | 0.0_74_g091222b | linux-64 | main | Jan 12, 2021, 05:19 PM | 23.4 MB | 442 | |
linux-64/symbiyosys-0.0.0_0074_g091222b-20201202_112618.tar.bz2 | conda | 0.0.0_0074_g091222b | linux-64 | main | Dec 3, 2020, 05:41 AM | 23.43 MB | 16 |