Revision 667974a980a9dbc4858afb88b8433ecad18c333b

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/7kzcy7ihq8djh0nlbvh52c4881pdssva-abc-0.0-2.70cb339.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/x8iz3apdmhlawyd4cazz1q9i72w9v2wh-abc-0.0-2.70cb339.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/milvi8i9hvnxv62csfxds3j3pfcxz6sx-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/4gh09lwzk3gng1min0pvxrlai9zxm7m3-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/25mzw8kbnpbwsjmwz6nzmw1v4qyd1skd-abc-0.0-2.70cb339.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/0bxxqjvr4rn18c68g6xnr1zfgd7bghx6-abc-0.0-2.70cb339.drv
x86_64-linuxi686-w64-mingw32/gnu/store/xjqkh1cvig7cdhb71w33xfpl337zm6jl-abc-0.0-2.70cb339.drv
x86_64-linuxi586-pc-gnu/gnu/store/m0cpqjs3cmy16kxna4cc6l04p41xapy0-abc-0.0-2.70cb339.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/xnn7l8l0fl85ff9r5mnl6i7rgz6vl4cp-abc-0.0-2.70cb339.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/cmqp81i8rmh0p2mscpzsjrdszvqc0jr0-abc-0.0-2.70cb339.drv
riscv64-linux/gnu/store/9ifrvp0cs4gl62jwy234daj107av581y-abc-0.0-2.70cb339.drv
powerpc-linux/gnu/store/hphma5zsv0i7jbpvjhp7hrr0xmx8id25-abc-0.0-2.70cb339.drv
    powerpc64le-linux/gnu/store/7kdvzmmrwc5blxzci75vzh7wnic7q47l-abc-0.0-2.70cb339.drv
    mips64el-linux/gnu/store/zkgg3jdr0jka3vdfaif31i2rmxhxkphz-abc-0.0-2.70cb339.drv
      i686-linux/gnu/store/x98z7y3jhd1b5xnbv40lk2f8aspydj7q-abc-0.0-2.70cb339.drv
      i586-gnu/gnu/store/wxjsmgdfbyspfvvmjs7cq90lhl2rva0s-abc-0.0-2.70cb339.drv
      armhf-linux/gnu/store/89z731cpjmvl10bzgw9lkzmd2v0cnchr-abc-0.0-2.70cb339.drv
      aarch64-linux/gnu/store/4ckzymb93gcpiv5545h3z2q87xn1hz25-abc-0.0-2.70cb339.drv

      Lint warnings

      LinterMessageLocation
      No lint warnings ✓