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/0zgpnh41hqypwplg19izs3r0p9is9p6p-abc-0.0-1-5ae4b975c.drv | ||
x86_64-linux | arm-linux-gnueabihf | /gnu/store/9q5h5lphr951yl8lx3iclhwdyhm1dglp-abc-0.0-1-5ae4b975c.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/r80wb1hki8pbqfh7q4alk21xms8m76mg-abc-0.0-1-5ae4b975c.drv | |
mips64el-linux | /gnu/store/vxjkvrz9i1z69s089iscdl84gnfg1jvc-abc-0.0-1-5ae4b975c.drv | ||
i686-linux | /gnu/store/1iyjaw5295aw0wp3klkqd3w16q3iyfdr-abc-0.0-1-5ae4b975c.drv | ||
armhf-linux | /gnu/store/gvald576i0caagia4mvgsg1cp5apfv3f-abc-0.0-1-5ae4b975c.drv | ||
aarch64-linux | /gnu/store/bpx3mb9sk8f5bkq730y93xng00935c7w-abc-0.0-1-5ae4b975c.drv |
Linter | Message | Location |
---|---|---|
No lint warnings ✓ |