Revision ffa73f8ef2a6cb2b93deb38b1c88a94707e7d907

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/0i5rkgmmqphs9x9dk0a9wcdld26qgdix-abc-0.0-2.70cb339.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/lpw0nxlwdsknk8nvqgjmah59zmhyyns5-abc-0.0-2.70cb339.drv
x86_64-linuxx86_64-linux-gnux32/gnu/store/m5s4l4xlpb78ljr7ja375w1r9vnv71m8-abc-0.0-2.70cb339.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/4wdbx9bg7yac690y9rgbd0506v03jigf-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/whixbd4q4cxik7ma65bpk4yk7byk3nbz-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc64-linux-gnu/gnu/store/yzzyy60y3vwygawkywkjg4sr8i5wxpqh-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/vkh726qy75580wr63m2qil0mp5hc6jlv-abc-0.0-2.70cb339.drv
x86_64-linuxor1k-elf/gnu/store/pd09kvbfzpwr8mpym4j0zmc4mhvblm7b-abc-0.0-2.70cb339.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/qb1h9qgfmd5yi4jgprjkl11d0m43fl6y-abc-0.0-2.70cb339.drv
x86_64-linuxi686-w64-mingw32/gnu/store/8frw7s5liy61cp0ayb6vrbwcylcsk0d2-abc-0.0-2.70cb339.drv
x86_64-linuxi586-pc-gnu/gnu/store/ig5vwbcq1gcbsgn2i6ad12z4mf7db8wx-abc-0.0-2.70cb339.drv
x86_64-linuxavr/gnu/store/r6hkwk9wz8lv7fdpp4hnh82w5c446ryx-abc-0.0-2.70cb339.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/dn2jbhrmbvxyplq04ya9fpzhfmmppplv-abc-0.0-2.70cb339.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/v1x4jlvg2qylz8rzpbiq6sg8224dyz09-abc-0.0-2.70cb339.drv
riscv64-linux/gnu/store/65sxmg7y1mmz4hch9iifk3vcx00229p6-abc-0.0-2.70cb339.drv
powerpc-linux/gnu/store/krhk9l04b8r3fb0iddg5m0qdl2kj9jqa-abc-0.0-2.70cb339.drv
    powerpc64le-linux/gnu/store/3a9hykd65mrcw24gi78parx5llblx5vd-abc-0.0-2.70cb339.drv
    mips64el-linux/gnu/store/mgph9yr3g5dnz8vml6q7zwx6ic24qprk-abc-0.0-2.70cb339.drv
      i686-linux/gnu/store/p6rc1sjb8lgz1hal7n4nmmihq25z70z8-abc-0.0-2.70cb339.drv
      i586-gnu/gnu/store/4pk31r3vkqrki9b7l689k53n91p4nxk8-abc-0.0-2.70cb339.drv
      armhf-linux/gnu/store/9anjs2p9zkw92s5bfhand02j09y32vcs-abc-0.0-2.70cb339.drv
      aarch64-linux/gnu/store/gyj6l2pss16m9vv8h2jdx09y19hdvs2z-abc-0.0-2.70cb339.drv

      Lint warnings

      LinterMessageLocation
      No lint warnings ✓