Package details
| Package | symbiyosys |
|---|---|
| Version | 0.35-r0 |
| Description | Front-end for Yosys-based formal verification flows |
| Project | https://github.com/YosysHQ/sby |
| License | ISC |
| Branch | edge |
| Repository | testing |
| Architecture | x86 |
| Size | 37.58 kB |
| Installed size | 220 kB |
| Origin | symbiyosys |
| Maintainer | Patrycja Rosa |
| Build time | 2023-11-16 21:26:26 |
| Commit | 6b1cf157c5d255f5c89b4a6ac4b02deb579defe4 |
| Git repository | Git repository |
| Build log | Build log |
| Contents | Contents of package |