Sequential logic synthesis and formal verification
ABC is a program for sequential logic synthesis and formal verification.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/57pgvpgji2d5g9mgf0vmmahadkprbk0m-abc-0.0-1-5ae4b975c.drv | ||
mips64el-linux | /gnu/store/v32p13bicgz6a7lv4p10zxch7i3482f1-abc-0.0-1-5ae4b975c.drv | ||
i686-linux | /gnu/store/i73x24svxsyxs7qmhs5f8yz71j1f3s5n-abc-0.0-1-5ae4b975c.drv | ||
armhf-linux | /gnu/store/30bq6m3g0flb3yb6aby8x51n1brj5kym-abc-0.0-1-5ae4b975c.drv | ||
aarch64-linux | /gnu/store/hbvm6mhvpcy3p7j33n3ihsnkm0amybrl-abc-0.0-1-5ae4b975c.drv |
Linter | Message | Location |
---|---|---|
No lint warnings ✓ |