Alle Optionen
trixie  ] [  forky  ] [  sid  ]
[ Quellcode: yosys  ]

Paket: yosys-abc (0.52-2)

Links für yosys-abc

Screenshot

Debian-Ressourcen:

Quellcode-Paket yosys herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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 Pakete mit Bezug zu yosys-abc

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

yosys-abc herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
alpha (inoffizielle Portierung) 4.581,5 kB14.403,0 kB [Liste der Dateien]
amd64 4.828,6 kB12.925,0 kB [Liste der Dateien]
arm64 4.271,9 kB12.054,0 kB [Liste der Dateien]
armel 4.084,7 kB11.854,0 kB [Liste der Dateien]
armhf 4.254,2 kB8.910,0 kB [Liste der Dateien]
i386 4.902,4 kB13.881,0 kB [Liste der Dateien]
loong64 (inoffizielle Portierung) 4.554,8 kB13.077,0 kB [Liste der Dateien]
m68k (inoffizielle Portierung) 4.525,7 kB13.240,0 kB [Liste der Dateien]
mips64el 4.414,2 kB15.073,0 kB [Liste der Dateien]
ppc64el 4.906,7 kB15.382,0 kB [Liste der Dateien]
riscv64 4.798,1 kB10.774,0 kB [Liste der Dateien]
sh4 (inoffizielle Portierung) 5.338,4 kB11.506,0 kB [Liste der Dateien]
x32 (inoffizielle Portierung) 4.814,7 kB12.689,0 kB [Liste der Dateien]