Revision 9350347dabd0f25f89fd2a703a250b20872ad911

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/ylw0asc73sh47rblb4bqs90zpdg078sk-abc-0.0-2.70cb339.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/rnhgpl8hlkji1gj6kkqrmhinxk7v7di8-abc-0.0-2.70cb339.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/4s9i65ad1whd2ld870k5sbnjc2v2md55-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/553i5n47kybzzi8m421272wbyim3dd1f-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/lcl01r2cvkvs7wgm5859wx62fpm0p363-abc-0.0-2.70cb339.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/naig0agfvgmycvgr1ynx7r04gp8b31b4-abc-0.0-2.70cb339.drv
x86_64-linuxi686-w64-mingw32/gnu/store/jbf0s3cqnd1v6zzm6gmfdxxaw52ag3b1-abc-0.0-2.70cb339.drv
x86_64-linuxi586-pc-gnu/gnu/store/k04a6n3c6z4ny5p8iqj3gqs3mp73j2yg-abc-0.0-2.70cb339.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/x3l2nbq4j8ws6xcxsb9sikk4bk5bfsp5-abc-0.0-2.70cb339.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/9y47h1wqhqrs14dqxcg3cld0046x6z11-abc-0.0-2.70cb339.drv
riscv64-linux/gnu/store/h6pr1p487lbl8z6cd8f4za978m5mq06j-abc-0.0-2.70cb339.drv
    powerpc-linux/gnu/store/lh0c738dak440m7ac6b2rvkhjxd6sf0n-abc-0.0-2.70cb339.drv
      powerpc64le-linux/gnu/store/211qg6labppb9afiq0b30fpppq92fpd0-abc-0.0-2.70cb339.drv
      mips64el-linux/gnu/store/p0nkgcqkv56s42m297dy9jw327shxsaw-abc-0.0-2.70cb339.drv
        i686-linux/gnu/store/c3dslji9h7qfj8ks22cr8fsbsjymdl81-abc-0.0-2.70cb339.drv
        i586-gnu/gnu/store/9swyiwwsfzhm0syz6ggvz5k2j38m7spz-abc-0.0-2.70cb339.drv
        armhf-linux/gnu/store/7yci7x4hx5yxqpd5224adlk4cnzkzblv-abc-0.0-2.70cb339.drv
        aarch64-linux/gnu/store/0jxmmj027hxyi4if3957c8abmdx4c7r3-abc-0.0-2.70cb339.drv

        Lint warnings

        LinterMessageLocation
        No lint warnings ✓