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 |