Alle Optionen
sid  ] [  experimental  ]
[ Quellcode: yosys  ]

Paket: yosys-abc (0.33-5 und andere)

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 Version Paketgröße Größe (installiert) Dateien
alpha (inoffizielle Portierung) 0.33-5+b2 5.056,0 kB17.179,0 kB [Liste der Dateien]
amd64 0.33-5+b2 5.315,4 kB14.688,0 kB [Liste der Dateien]
arm64 0.33-5+b2 4.750,9 kB14.504,0 kB [Liste der Dateien]
armel 0.33-5+b2 4.564,0 kB13.830,0 kB [Liste der Dateien]
armhf 0.33-5+b2 4.726,5 kB10.542,0 kB [Liste der Dateien]
i386 0.33-5+b2 5.544,8 kB16.397,0 kB [Liste der Dateien]
m68k (inoffizielle Portierung) 0.33-5+b2 5.145,3 kB15.917,0 kB [Liste der Dateien]
mips64el 0.33-5+b2 4.868,0 kB18.271,0 kB [Liste der Dateien]
ppc64el 0.33-5+b2 5.526,4 kB18.473,0 kB [Liste der Dateien]
riscv64 0.33-5+b3 5.446,0 kB13.108,0 kB [Liste der Dateien]
sh4 (inoffizielle Portierung) 0.33-5+b2 5.847,3 kB13.853,0 kB [Liste der Dateien]
x32 (inoffizielle Portierung) 0.33-5+b2 5.312,8 kB14.410,0 kB [Liste der Dateien]