Paquet : berkeley-abc (1.01+20191006git52a8ebb+dfsg-1)

[ Paquet source : berkeley-abc  ]

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.29)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

• dep: libgcc1 (>= 1:4.2)

  Paquet indisponible

• dep: libreadline8 (>= 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

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
i386	5 538,1 ko	17 168,0 ko	[liste des fichiers]