Paquet : berkeley-abc (1.01+20221019git70cb339+dfsg-4)

Liens pour berkeley-abc

Ressources Debian :

Télécharger le paquet source berkeley-abc :

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

dépendances

recommandations

suggestions

enhances

dep: libbz2-1.0

Bibliothèque de compression de fichiers (tri de block haute qualité)
dep: libc6 (>= 2.34)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libgcc-s1 (>= 3.0) [arm64, ppc64el, s390x]

bibliothèque de prise en charge de GCC

dep: libgcc-s1 (>= 3.4) [amd64, mips64el]

dep: libgcc-s1 (>= 3.5) [armel, armhf]

dep: libgcc-s1 (>= 4.2) [i386, mipsel]
dep: libreadline8 (>= 6.0)

bibliothèques GNU readline et GNU history (exécutables)
dep: libstdc++6 (>= 11)

bibliothèque standard C++ de GNU v3
dep: zlib1g (>= 1:1.1.4)

Bibliothèque de compression - binaires

Télécharger berkeley-abc

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	5 554,4 ko	15 580,0 ko	[liste des fichiers]
arm64	4 835,3 ko	14 804,0 ko	[liste des fichiers]
armel	4 643,3 ko	14 266,0 ko	[liste des fichiers]
armhf	4 850,8 ko	10 382,0 ko	[liste des fichiers]
i386	5 858,5 ko	18 093,0 ko	[liste des fichiers]
mips64el	4 910,3 ko	18 333,0 ko	[liste des fichiers]
mipsel	4 956,1 ko	17 959,0 ko	[liste des fichiers]
ppc64el	5 678,6 ko	19 477,0 ko	[liste des fichiers]
s390x	4 946,1 ko	16 568,0 ko	[liste des fichiers]