Package details
Package | symbiyosys |
---|---|
Version | 0.36-r0 |
Description | Front-end for Yosys-based formal verification flows |
Project | https://github.com/YosysHQ/sby |
License | ISC |
Branch | edge |
Repository | testing |
Architecture | armv7 |
Size | 37.55 kB |
Installed size | 220 kB |
Origin | symbiyosys |
Maintainer | Patrycja Rosa |
Build time | 2023-12-18 21:13:48 |
Commit | ca0780ad800af3f8af8c598e4324f5a619123aea |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |