Revision 59b102cab9d66ba0c561ed9ed8df04f9fc340bd2

Language
View JSON

Package: abc @ 0.0-2.70cb339

Synopsis

Sequential logic synthesis and formal verification

Description

ABC is a program for sequential logic synthesis and formal verification.

Home page
https://people.eecs.berkeley.edu/~alanmi/abc/
Location
gnu/packages/fpga.scm (line: 70, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/3ymkr299ncsa48ffv1qagz3ifpg96ads-abc-0.0-2.70cb339.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/akm3dhzq4swmxj2ga68kdjdzgaks3y6b-abc-0.0-2.70cb339.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/6j3602095hc43i0nrmacvll2hcga9wij-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/nwjx0glyyw3i7csc5z6vfaga2dxxkmxx-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/s2xh90z54bi84wwzs7c2rqir9r2v25wm-abc-0.0-2.70cb339.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/pb3gav5xnfkxhigj4wz9937glavm005a-abc-0.0-2.70cb339.drv
x86_64-linuxi686-w64-mingw32/gnu/store/d7jiag741mmwc5lzmnzv3q3ga3bvmc9s-abc-0.0-2.70cb339.drv
x86_64-linuxi586-pc-gnu/gnu/store/kc65cnnlaiwdjixbcii7xw616i847zw5-abc-0.0-2.70cb339.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/vpsf80km755vdxvihh94h7pblrclfvz9-abc-0.0-2.70cb339.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/xkzl0rlmi31867kk86wvj5dj86hsjn3c-abc-0.0-2.70cb339.drv
riscv64-linux/gnu/store/nlmrnzxfwyvv2x51zxh40qkky2pqnxly-abc-0.0-2.70cb339.drv
    powerpc-linux/gnu/store/ylrvhcfa01i2nhg2sf3pqn3imh4kfczq-abc-0.0-2.70cb339.drv
      powerpc64le-linux/gnu/store/9g23ch002l666mj9yq5glmvqamsmnjs9-abc-0.0-2.70cb339.drv
      mips64el-linux/gnu/store/vpqm2i28wcp1ljj3s87ayif73gjmkm8z-abc-0.0-2.70cb339.drv
        i686-linux/gnu/store/kshcww0df6ls53gjsj87lf6ijigg62xp-abc-0.0-2.70cb339.drv
        i586-gnu/gnu/store/jkp7wvajdmgxmsi9z5dz8fmi0in9l7x7-abc-0.0-2.70cb339.drv
        armhf-linux/gnu/store/ky55s5xfsc027v4bw222d9v627kkshlg-abc-0.0-2.70cb339.drv
        aarch64-linux/gnu/store/5ldxid5qj0ay80rxyrgl2vv69hjfd5fp-abc-0.0-2.70cb339.drv

        Lint warnings

        LinterMessageLocation
        No lint warnings ✓