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/vscvwmkyjald6b3k3p7fqckqr4bq91vl-abc-0.0-1-5ae4b975c.drv | ||
mips64el-linux | /gnu/store/4idfs22lk7s3vc7qa16fjv76wh6ap878-abc-0.0-1-5ae4b975c.drv | ||
i686-linux | /gnu/store/a76ak2ahh8y9smz8ds27s85sq9frzs1l-abc-0.0-1-5ae4b975c.drv | ||
armhf-linux | /gnu/store/lrbv4xkkbmxj1anhgbq89jj743fslayi-abc-0.0-1-5ae4b975c.drv | ||
aarch64-linux | /gnu/store/mrjrvnmhlaigssh2g8j4qi7z3a49j3qy-abc-0.0-1-5ae4b975c.drv |
Linter | Message | Location |
---|---|---|
No lint warnings ✓ |