Paquet : berkeley-abc (1.01+20181130git163bba5+dfsg-1)
Liens pour berkeley-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 berkeley-abc :
- [berkeley-abc_1.01+20181130git163bba5+dfsg-1.dsc]
- [berkeley-abc_1.01+20181130git163bba5+dfsg.orig.tar.xz]
- [berkeley-abc_1.01+20181130git163bba5+dfsg-1.debian.tar.xz]
Responsables :
Ressources externes :
- Page d'accueil [www.eecs.berkeley.edu]
Paquets similaires :
ABC − système de synthèse et de vérification de séquences
ABC est un système pour la synthèse et la vérification de circuits logiques séquentiels binaires apparaissant dans les conceptions matérielles synchrones. ABC combine une optimisation logique adaptable basée sur des graphes AIG (« And-Inverter Graph »), une cartographie technologique basée sur des graphes orientés acycliques de délais optimaux pour les tables de recherche et les cellules standard et des algorithmes innovants pour la synthèse et la vérification de séquences.
ABC fournit une implémentation expérimentale de ces algorithmes et un environnement de programmation pour construire des applications similaires. Le développement futur se concentrera sur l'amélioration des algorithmes et l'autonomisation des paquets. Ainsi, l'utilisateur pourra adapter ABC à ses besoins comme s'il s'agissait d'une boite à outils plutôt que d'un outil complet.
Autres paquets associés à berkeley-abc
|
|
|
|
-
- dep: libbz2-1.0
- Bibliothèque de compression de fichiers (tri de block haute qualité)
-
- dep: libc6 (>= 2.14) [amd64]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.17) [arm64]
- dep: libc6 (>= 2.7) [armhf, i386]
-
- dep: libgcc1 (>= 1:3.0) [amd64, arm64]
- bibliothèque de prise en charge de GCC
- dep: libgcc1 (>= 1:3.5) [armhf]
- dep: libgcc1 (>= 1:4.2) [i386]
-
- dep: libreadline7 (>= 6.0)
- bibliothèques GNU readline et GNU history (exécutables)
-
- dep: libstdc++6 (>= 5)
- bibliothèque standard C++ de GNU v3
-
- dep: zlib1g (>= 1:1.1.4)
- Bibliothèque de compression - binaires
Télécharger berkeley-abc
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 5 276,7 ko | 14 839,0 ko | [liste des fichiers] |
| arm64 | 4 645,9 ko | 14 109,0 ko | [liste des fichiers] |
| armhf | 4 655,3 ko | 10 011,0 ko | [liste des fichiers] |
| i386 | 5 573,5 ko | 17 248,0 ko | [liste des fichiers] |