Revision 0540f4e20de3172ea09e27182e98b66b73c92421

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/pg9609jpcr5dg0rzhjb5h0bw23psdkkw-abc-0.0-2.70cb339.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/69yh5a04kd8b4iagypqnan6bfw29sqln-abc-0.0-2.70cb339.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/c5h21kdvfgf0xmkdyl6l4aqcrn2l3xny-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/1phj3v1yyw7j49ys2mqywnmb7qd4bslp-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/pj5li6k8yb645vckxv62f2baj9w9jgkv-abc-0.0-2.70cb339.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/aaplwh1j7wj41pksr75y846hcwk5snk3-abc-0.0-2.70cb339.drv
x86_64-linuxi686-w64-mingw32/gnu/store/cic6w5hb69kvkvx6s3zx3icj0m8w139i-abc-0.0-2.70cb339.drv
x86_64-linuxi586-pc-gnu/gnu/store/3w2nc0kmr7cvm864ls0x465nmm17krp4-abc-0.0-2.70cb339.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/am72c4c9w5psvffrn0pv75nmahzv59np-abc-0.0-2.70cb339.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/kick1vdmllv4cmz5vsqpyx0v1a9m5na2-abc-0.0-2.70cb339.drv
riscv64-linux/gnu/store/891407v6ixi6wa2bh7rmh371ka2hn7kg-abc-0.0-2.70cb339.drv
powerpc-linux/gnu/store/0av6mqwfx70bvbv6c1b16f33bmb1288a-abc-0.0-2.70cb339.drv
    powerpc64le-linux/gnu/store/zplxic22h77isk96anngrkxm5jc75xnd-abc-0.0-2.70cb339.drv
    mips64el-linux/gnu/store/ygfcg1d3hiyf913hsbw8sqcb40hrdf3y-abc-0.0-2.70cb339.drv
      i686-linux/gnu/store/7g6zph8mwbz6i1rc0k0rf5xsqlv8hakv-abc-0.0-2.70cb339.drv
      i586-gnu/gnu/store/g4qkwzvfshsm6v7ha2xam2q9y01byn18-abc-0.0-2.70cb339.drv
      armhf-linux/gnu/store/z7dddbyz58ic81g668bv8lvy37lvjvpz-abc-0.0-2.70cb339.drv
      aarch64-linux/gnu/store/ihc3j8mznz0m7s17f15fa95lgjndw1h5-abc-0.0-2.70cb339.drv

      Lint warnings

      LinterMessageLocation
      No lint warnings ✓