toutes les options
trixie  ] [  sid  ]
[ Paquet source : yosys  ]

Paquet : yosys-abc (0.51-1 et autres)

Liens pour yosys-abc

Screenshot

Ressources Debian :

Télécharger le paquet source yosys :

Responsables :

Ressources externes :

Paquets similaires :

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.

Autres paquets associés à yosys-abc

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger yosys-abc

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
alpha (portage non officiel) 0.51-1 4 261,8 ko13 364,0 ko [liste des fichiers]
amd64 0.51-1 4 487,5 ko11 895,0 ko [liste des fichiers]
arm64 0.51-1 3 965,0 ko11 139,0 ko [liste des fichiers]
loong64 (portage non officiel) 0.51-1 4 225,9 ko12 035,0 ko [liste des fichiers]
m68k (portage non officiel) 0.51-1 4 227,4 ko12 297,0 ko [liste des fichiers]
mips64el 0.51-1 4 101,3 ko14 001,0 ko [liste des fichiers]
ppc64el 0.51-1 4 550,2 ko14 211,0 ko [liste des fichiers]
riscv64 0.51-1 4 456,4 ko9 959,0 ko [liste des fichiers]
sh4 (portage non officiel) 0.33-6 5 831,5 ko13 788,0 ko [liste des fichiers]
x32 (portage non officiel) 0.33-6 5 347,4 ko14 605,0 ko [liste des fichiers]