Revision 3eac1c82f7f1547aa6819db867b071a4ee7de8e3

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/0z5bx1jjqhvq3svn7rwyrwhr7xk3jgn2-abc-0.0-2.70cb339.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/1vhrx008arbfkrf32ngwgah8k86zsfnp-abc-0.0-2.70cb339.drv
x86_64-linuxx86_64-linux-gnux32/gnu/store/s3m5pdxnrzsv63zwhd01a35c5mwx309b-abc-0.0-2.70cb339.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/88mkmgzc17ann9vhz9z1139v9dbxiknz-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/y8zxprkinrgq54hvmxn5z21h3qz1fqqj-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc64-linux-gnu/gnu/store/9qskhv6jxhkqh4jdg0c1mnf42pj2awv5-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/5b82r9cqwkb36x07l29g27v935qjxi1k-abc-0.0-2.70cb339.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/pzvihpmsp9r620x1q76c7khgwpbrf2mi-abc-0.0-2.70cb339.drv
x86_64-linuxi686-w64-mingw32/gnu/store/qkgzqwaalqh18z7ql0d6mv0aljvkn81w-abc-0.0-2.70cb339.drv
x86_64-linuxi586-pc-gnu/gnu/store/10gsmlyiyrabgnk6xi28l64ay2pakqdj-abc-0.0-2.70cb339.drv
x86_64-linuxavr/gnu/store/x8niqdf2jd0xin1hms6aq3kwsghhbl3s-abc-0.0-2.70cb339.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/xwd10c7a0py5h5r9v70y0sc5zikc75nv-abc-0.0-2.70cb339.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/0p1bclxz9kikmpl2amka8a1mcdqhg91p-abc-0.0-2.70cb339.drv
riscv64-linux/gnu/store/p5w5g75klvdwhx8zfb2i9jzwjxvgqy2g-abc-0.0-2.70cb339.drv
powerpc-linux/gnu/store/zmx8537nmx77l3prxjsxx64xihvpc91z-abc-0.0-2.70cb339.drv
    powerpc64le-linux/gnu/store/v7xf3h64x24bqkl10r43mdcrbswvaa78-abc-0.0-2.70cb339.drv
    mips64el-linux/gnu/store/2snj4yqba7li4y5rcvwvv6ccdd8ir3kp-abc-0.0-2.70cb339.drv
      i686-linux/gnu/store/l7q6105iarki8ngrl564wvz7fwsd9lpa-abc-0.0-2.70cb339.drv
      i586-gnu/gnu/store/lbzaz5jazik9616hwh22mf4dllimpxxf-abc-0.0-2.70cb339.drv
      armhf-linux/gnu/store/n3058nz5hnsbi3s0sxp9fzhkanmhb7vw-abc-0.0-2.70cb339.drv
      aarch64-linux/gnu/store/mva9gs0jcddr70pvkpfnvyns4m1fpp19-abc-0.0-2.70cb339.drv

      Lint warnings

      LinterMessageLocation
      No lint warnings ✓