Revision 6faac6a31a9a9ebf009427564103f7839ff35c77

Language
View JSON

Package: abc-yosyshq @ 0.63

Synopsis

Sequential logic synthesis and formal verification

Description

ABC is a program for sequential logic synthesis and formal verification. This is the Yosyshq fork of ABC.

Home page
https://github.com/YosysHQ/abc/
Location
gnu/packages/electronics.scm (line: 278, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/45afyylzva9z152jlv0kpxnwb4kk2ai5-abc-yosyshq-0.63.drv
x86_64-linuxxtensa-ath9k-elf/gnu/store/cw3a2smcl7ymgvnvmj52hdf31v9cifl7-abc-yosyshq-0.63.drv
    x86_64-linuxx86_64-w64-mingw32/gnu/store/sasqp2x1gp49wr45qr1i89rbjr9y20am-abc-yosyshq-0.63.drv
    x86_64-linuxx86_64-pc-gnu/gnu/store/9lnxhxwx60msnzb623a8jfrf0z3x1ivy-abc-yosyshq-0.63.drv
    x86_64-linuxx86_64-linux-gnux32/gnu/store/23j1g9dqbqj9bnjvrg12qyvvzddwzwvg-abc-yosyshq-0.63.drv
      x86_64-linuxriscv64-linux-gnu/gnu/store/3rlglz9pzy87h8n60s2fkcnrspf7dm8j-abc-yosyshq-0.63.drv
      x86_64-linuxpowerpc-linux-gnu/gnu/store/4aar88azylg6ymyfh9ajmj9rykpg29l2-abc-yosyshq-0.63.drv
        x86_64-linuxpowerpc64-linux-gnu/gnu/store/az8xixp5mzdlqq9ljffryif9drnqbbvg-abc-yosyshq-0.63.drv
          x86_64-linuxpowerpc64le-linux-gnu/gnu/store/wix0a58qkzcw2b5x5jwcr6kmkdy94rlh-abc-yosyshq-0.63.drv
          x86_64-linuxor1k-elf/gnu/store/1qd9yvf22qbdz3vk2vd9kh8hgni7brb6-abc-yosyshq-0.63.drv
            x86_64-linuxmips64el-linux-gnu/gnu/store/jp8n5rfm7v1b7xc6af9dy6pp8i5cp859-abc-yosyshq-0.63.drv
              x86_64-linuxloongarch64-linux-gnu/gnu/store/7cycqjqgnknxa6d1kzhd9n17wri602z4-abc-yosyshq-0.63.drv
              x86_64-linuxi686-w64-mingw32/gnu/store/p8gm7a43pa166wj6p09s26yppi7g5lks-abc-yosyshq-0.63.drv
                x86_64-linuxi586-pc-gnu/gnu/store/z7jk5jz2nzj71n4jhyg62w02byqij8cp-abc-yosyshq-0.63.drv
                x86_64-linuxavr/gnu/store/bb9sszk6bhr991j254nhfblm2hp3fzxh-abc-yosyshq-0.63.drv
                  x86_64-linuxarm-linux-gnueabihf/gnu/store/43k48bivdi5b57gkdvvw7wgrj140n8ip-abc-yosyshq-0.63.drv
                  x86_64-linuxaarch64-linux-gnu/gnu/store/0j8v976l5y1za33fq1n9xsik1vmg3j6x-abc-yosyshq-0.63.drv
                  x86_64-gnu/gnu/store/r50klpgwvqw06nnk2jxs1aiciz4r0qpl-abc-yosyshq-0.63.drv
                    riscv64-linux/gnu/store/cwmzznpyjcbffcn3df9cwqldylyjwg3q-abc-yosyshq-0.63.drv
                    powerpc-linux/gnu/store/p9pdlr65dd9b764yzs85knmbwkv3cpml-abc-yosyshq-0.63.drv
                      powerpc64le-linux/gnu/store/cbkfmk5j1mkdxl556k4j1wdfxlx0qqin-abc-yosyshq-0.63.drv
                      mips64el-linux/gnu/store/p348gamaf6ddajh3pcnqlngqnvvn9jkc-abc-yosyshq-0.63.drv
                        i686-linux/gnu/store/6kgw2zqsvfk58ck77fk6cr61n5yxbjb8-abc-yosyshq-0.63.drv
                        i586-gnu/gnu/store/nim4i6kyaih1kk07ygg489ciqkdf7hy1-abc-yosyshq-0.63.drv
                          armhf-linux/gnu/store/azshacqlh213knimsc4hg9ch5my213pm-abc-yosyshq-0.63.drv
                          aarch64-linux/gnu/store/brlhnqiwdlfg8hxa9a8xc6kp1qqjz6qj-abc-yosyshq-0.63.drv

                          Lint warnings

                          LinterMessageLocation
                          No lint warnings ✓