alle opties
trixie  ] [  forky  ] [  sid  ]
[ Bron: yosys  ]

Pakket: yosys-abc (0.52-2)

Verwijzigingen voor yosys-abc

Screenshot

Debian bronnen:

Het bronpakket yosys downloaden:

Beheerders:

Externe bronnen:

Vergelijkbare pakketten:

Sequential Logic Synthesis and Verification Algorithms

ABC is a system for synthesis and verification of binary sequential logic circuits appearing in synchronous hardware designs. It combines scalable logic optimization based on And-Inverter Graphs (AIGs), optimal-delay DAG-based technology mapping for look-up tables and standard cells, and innovative algorithms for sequential synthesis and verification.

This is a fork of berkeley-abc maintained by the YosysHQ team for use in the yosys RTL synthesis framework.

Andere aan yosys-abc gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

yosys-abc downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
alpha (unofficial port) 4.581,5 kB14.403,0 kB [overzicht]
amd64 4.828,6 kB12.925,0 kB [overzicht]
arm64 4.271,9 kB12.054,0 kB [overzicht]
armel 4.084,7 kB11.854,0 kB [overzicht]
armhf 4.254,2 kB8.910,0 kB [overzicht]
i386 4.902,4 kB13.881,0 kB [overzicht]
loong64 (unofficial port) 4.554,8 kB13.077,0 kB [overzicht]
m68k (unofficial port) 4.525,7 kB13.240,0 kB [overzicht]
mips64el 4.414,2 kB15.073,0 kB [overzicht]
ppc64el 4.906,7 kB15.382,0 kB [overzicht]
riscv64 4.798,1 kB10.774,0 kB [overzicht]
sh4 (unofficial port) 5.338,4 kB11.506,0 kB [overzicht]
x32 (unofficial port) 4.814,7 kB12.689,0 kB [overzicht]