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
Depends (3)
Required by (0)
Sub Packages (0)