MidnightBSD Maguscad/symbiyosys
SymbiYosys (sby): Front-end for Yosys-based formal verification flows
| Flavor | Version | Run | OSVersion | Arch | License | Restricted | Status | |
|---|---|---|---|---|---|---|---|---|
| 0.63 | 639 | 4.0 | amd64 | iscl | 0 | untested |
License Permissions: dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
Links
Depends On
- devel/gmake (build)
- lang/python311 (build)
- cad/yosys (run)
- lang/python311 (run)
- lang/python311 (test)
Depend Of
Categories
CVEs
- Loading CVE information...