Language

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/lq0gdkzys4az8whch9iig95kb8ipnnfa-abc-0.0-2.70cb339.drv
x86_64-linuxxtensa-ath9k-elf/gnu/store/j1xb2vk56c11319bibxdi0b6s8xn978p-abc-0.0-2.70cb339.drv
    x86_64-linuxx86_64-w64-mingw32/gnu/store/pq93d173d2pz50hd72g5c76ml8crbzy3-abc-0.0-2.70cb339.drv
    x86_64-linuxx86_64-linux-gnux32/gnu/store/mc77rqdjl88f0rlvffilmd4mdlv9mnjy-abc-0.0-2.70cb339.drv
      x86_64-linuxriscv64-linux-gnu/gnu/store/8b1qi0q6y669l5g34cr689c0yaa7rhqy-abc-0.0-2.70cb339.drv
      x86_64-linuxpowerpc-linux-gnu/gnu/store/x4rhx7hhg22s64ap4ci50arlg1gk6m79-abc-0.0-2.70cb339.drv
      x86_64-linuxpowerpc64-linux-gnu/gnu/store/f4ck5qijndjcarvrhffjsnyka6w53mra-abc-0.0-2.70cb339.drv
        x86_64-linuxpowerpc64le-linux-gnu/gnu/store/dyp9ghvj5aa2bagy793x3iwrw3ccvaj1-abc-0.0-2.70cb339.drv
        x86_64-linuxor1k-elf/gnu/store/56k2vs98yccnz2lgzpgdggqfagn8rkgw-abc-0.0-2.70cb339.drv
        x86_64-linuxmips64el-linux-gnu/gnu/store/02b23n13xrsw2nn7rkr88k9rj7a8nm00-abc-0.0-2.70cb339.drv
        x86_64-linuxi686-w64-mingw32/gnu/store/cp6m3qzz1c2bg92fjclw7bc0h5636dyw-abc-0.0-2.70cb339.drv
        x86_64-linuxi586-pc-gnu/gnu/store/xm0vjychry54i7sh33h0q1zzk8b3idm9-abc-0.0-2.70cb339.drv
        x86_64-linuxavr/gnu/store/nzwi6yidsvmdhdq68cdpyn2iripy4zyv-abc-0.0-2.70cb339.drv
          x86_64-linuxarm-linux-gnueabihf/gnu/store/mrp44q0jjxa65w39a9g8xpj5jiapkgjx-abc-0.0-2.70cb339.drv
          x86_64-linuxaarch64-linux-gnu/gnu/store/v0sh99adxis6qs5g6f8b7garxidvi9hs-abc-0.0-2.70cb339.drv
          riscv64-linux/gnu/store/vhxsjp7m5xcrs3ryq0rzkgn5m2vr72wy-abc-0.0-2.70cb339.drv
          powerpc-linux/gnu/store/4zgib7hax8v60skwwmzzcg7rxwicnkbv-abc-0.0-2.70cb339.drv
            powerpc64le-linux/gnu/store/sbl94mm9nh0z5rm480njss2slabzfw40-abc-0.0-2.70cb339.drv
            mips64el-linux/gnu/store/cnnynfn796xbbnpkmsrmi40df7mmr4rm-abc-0.0-2.70cb339.drv
              i686-linux/gnu/store/5b6iy9c257f59frps5jwspp4xl1l7vsf-abc-0.0-2.70cb339.drv
              i586-gnu/gnu/store/v1zmz4knar1fmz4fyhmh3br7r8iki9br-abc-0.0-2.70cb339.drv
              armhf-linux/gnu/store/hvvfncmgb0a8fq3ghipw6x50rx68zqsp-abc-0.0-2.70cb339.drv
              aarch64-linux/gnu/store/kq8n9c1rdby3fwibz1c2snb7hhz98qv8-abc-0.0-2.70cb339.drv

              Lint warnings

              LinterMessageLocation
              No lint warnings