Language

Package: abc @ 0.0-3.707442e

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: 78, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/g79930ax1r5clzh496pqpnrwgk258ghp-abc-0.0-3.707442e.drv
x86_64-linuxxtensa-ath9k-elf/gnu/store/q550rdkkp4dg5x7g07rndfgn621ph8dg-abc-0.0-3.707442e.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/6iay20yw17hfkv7qiwb6p6d4p3diwx2w-abc-0.0-3.707442e.drv
x86_64-linuxx86_64-linux-gnux32/gnu/store/yz9mm22sz5kbww4ji5hnwkx37jkp10b5-abc-0.0-3.707442e.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/nh726hzyazzn4sgbvbqgwm756yag5dpr-abc-0.0-3.707442e.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/x2nqzwqa2mp5mj4g3yk73kji36mclsrv-abc-0.0-3.707442e.drv
x86_64-linuxpowerpc64-linux-gnu/gnu/store/18md8fv4m5si5y6fi5365wxj9f0rqdf3-abc-0.0-3.707442e.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/bmqq9cafcadkd76rm1333g9lpwx0slba-abc-0.0-3.707442e.drv
x86_64-linuxor1k-elf/gnu/store/149sa650h0xl9gy9pbicfrn3gybl2jk4-abc-0.0-3.707442e.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/2zwnz9y8xp9sfb0a93nkkzkvp67sns4v-abc-0.0-3.707442e.drv
x86_64-linuxi686-w64-mingw32/gnu/store/cp3yyjwp657mhl95v15lak2kba6wv9l7-abc-0.0-3.707442e.drv
x86_64-linuxi586-pc-gnu/gnu/store/89l1yknzdxfzgwi7bbhnzzbipwk22cn9-abc-0.0-3.707442e.drv
x86_64-linuxavr/gnu/store/vjakbqlad3p02imhbw0xip4y0a8r9c2g-abc-0.0-3.707442e.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/0719kdmgjcbj588y6p5gb8zq1n6j0dlv-abc-0.0-3.707442e.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/bcnyzkvj8pa8zqamd0ywdprjb3az6b00-abc-0.0-3.707442e.drv
riscv64-linux/gnu/store/qvr7i5j5qkp9raw3mp9kny7h4hkd7jgn-abc-0.0-3.707442e.drv
powerpc-linux/gnu/store/svz2jk9lr052d64ipbkksy3bw1n3nlnp-abc-0.0-3.707442e.drv
    powerpc64le-linux/gnu/store/9dgil6sp7g50d3hy91vppsm32yf31q1k-abc-0.0-3.707442e.drv
    mips64el-linux/gnu/store/8hc3fy11chahxmvwl7g2kww9a9gmnjj9-abc-0.0-3.707442e.drv
      i686-linux/gnu/store/6libxg8kpibp1cc5jw2373ywr20692yr-abc-0.0-3.707442e.drv
      i586-gnu/gnu/store/cxl5g7adxac5fw561386x5smbmm8v119-abc-0.0-3.707442e.drv
        armhf-linux/gnu/store/wv6vs1048j364sykp82bdhr0hi5xym0m-abc-0.0-3.707442e.drv
        aarch64-linux/gnu/store/aap6jbsyfv6h7ypbgk5cipamr3f8fmsf-abc-0.0-3.707442e.drv

        Lint warnings

        LinterMessageLocation
        No lint warnings