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 | x86_64 |
Size | 37.6KiB |
Installed size | 220.0KiB |
Origin | symbiyosys |
Maintainer | Patrycja Rosa |
Build time | 2023-12-18 21:13:48 |
Commit | ca0780ad800af3f8af8c598e4324f5a619123aea | Merge request | 57051 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |