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/9fjxwn76b710f7dq1yjx9lya09y5l39y-abc-0.0-2.70cb339.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/7jgp94lrr020cdjb8fr7rrsx7ni93n00-abc-0.0-2.70cb339.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/nrmymfy4h5v5pdyj35r9dmzl778x2li3-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/9ixyks3zh35ndariv56vmya5q56ziw1i-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc64-linux-gnu/gnu/store/l6s7apvv1d9j0a2rnj70cln2qhdi2nix-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/8piak2scvn7iandlxkgllnp74p5nkh0v-abc-0.0-2.70cb339.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/fjm90v22752mxkn9x07swaml1zgcdgh8-abc-0.0-2.70cb339.drv
x86_64-linuxi686-w64-mingw32/gnu/store/4bb79q0manf0a10j6k05a86vxqiipimg-abc-0.0-2.70cb339.drv
x86_64-linuxi586-pc-gnu/gnu/store/zl23d6kq8f5xfif0jncjlm72nbyr5hgm-abc-0.0-2.70cb339.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/z705pbiy2rm921027z4gznywggxn2sc2-abc-0.0-2.70cb339.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/4yg96plfilc9n2djndxqv2cj9ycdxas7-abc-0.0-2.70cb339.drv
riscv64-linux/gnu/store/wx25k9k2l5q4v107lp5cipi90grxw088-abc-0.0-2.70cb339.drv
powerpc-linux/gnu/store/lpyabi2bxjimkmzl68rd4i05lim0l8p4-abc-0.0-2.70cb339.drv
    powerpc64le-linux/gnu/store/adbswdqx9dircwp9hc581q3mrvamq2pa-abc-0.0-2.70cb339.drv
    mips64el-linux/gnu/store/9va4nflava2izc2x3xkrq4w6hpgi6gi8-abc-0.0-2.70cb339.drv
      i686-linux/gnu/store/z789cmrlqg4w920k0c87wxdcrql1figh-abc-0.0-2.70cb339.drv
      i586-gnu/gnu/store/ws6s2dl301jl64gcar5dz52212381fxa-abc-0.0-2.70cb339.drv
      armhf-linux/gnu/store/gggdzm712njf1pr3avgy3280fyshh2sr-abc-0.0-2.70cb339.drv
      aarch64-linux/gnu/store/33jshv91zsvwzhbrzg0mnmx7l9m72ylb-abc-0.0-2.70cb339.drv

      Lint warnings

      LinterMessageLocation
      No lint warnings