abc
ABC: System for Sequential Logic Synthesis and Formal Verification
homepage ↗ github: YosysHQ/abc
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| qsx GitHub ↗ | 1.01_p20220701 | 1 | 2 yr | details › |
ABC: System for Sequential Logic Synthesis and Formal Verification
homepage ↗ github: YosysHQ/abc
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| qsx GitHub ↗ | 1.01_p20220701 | 1 | 2 yr | details › |