Paquet : yosys-abc (0.51-1 et autres)
Liens pour yosys-abc
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source yosys :
- [yosys_0.51-1.dsc]
- [yosys_0.51.orig-abc.tar.gz]
- [yosys_0.51.orig.tar.gz]
- [yosys_0.51-1.debian.tar.xz]
Responsables :
- Debian Science Maintainers (Page QA, Archive du courrier électronique)
- Ruben Undheim (Page QA)
- Sebastian Kuzminsky (Page QA)
- Daniel Gröber (Page QA)
Ressources externes :
- Page d'accueil [github.com]
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
|
|
|
|
-
- dep: libbz2-1.0
- Bibliothèque de compression de fichiers (tri de block haute qualité)
-
- dep: libc6 (>= 2.38) [non alpha, loong64, sh4]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.40) [sh4]
- dep: libc6 (>= 2.41) [loong64]
-
- dep: libc6.1 (>= 2.38) [alpha]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb
-
- dep: libgcc-s1 (>= 3.0) [alpha, amd64, mips64el, riscv64]
- bibliothèque de prise en charge de GCC
- dep: libgcc-s1 (>= 3.3.1) [sh4, x32]
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- bibliothèque de prise en charge de GCC
-
- dep: libreadline8t64 (>= 6.0)
- bibliothèques GNU readline et GNU history (exécutables)
-
- dep: libstdc++6 (>= 13.1)
- bibliothèque standard C++ de GNU v3
-
- dep: zlib1g (>= 1:1.1.4) [non m68k, sh4]
- Bibliothèque de compression - binaires
- dep: zlib1g (>= 1:1.2.3.3) [m68k, sh4]
Télécharger yosys-abc
Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|---|
alpha (portage non officiel) | 0.51-1 | 4 261,8 ko | 13 364,0 ko | [liste des fichiers] |
amd64 | 0.51-1 | 4 487,5 ko | 11 895,0 ko | [liste des fichiers] |
arm64 | 0.51-1 | 3 965,0 ko | 11 139,0 ko | [liste des fichiers] |
loong64 (portage non officiel) | 0.51-1 | 4 225,9 ko | 12 035,0 ko | [liste des fichiers] |
m68k (portage non officiel) | 0.51-1 | 4 227,4 ko | 12 297,0 ko | [liste des fichiers] |
mips64el | 0.51-1 | 4 101,3 ko | 14 001,0 ko | [liste des fichiers] |
ppc64el | 0.51-1 | 4 550,2 ko | 14 211,0 ko | [liste des fichiers] |
riscv64 | 0.51-1 | 4 456,4 ko | 9 959,0 ko | [liste des fichiers] |
sh4 (portage non officiel) | 0.33-6 | 5 831,5 ko | 13 788,0 ko | [liste des fichiers] |
x32 (portage non officiel) | 0.33-6 | 5 347,4 ko | 14 605,0 ko | [liste des fichiers] |