[ sid ]
[ experimental ]
[ Quellcode: yosys ]
Paket: yosys-abc (0.33-6~exp3)
Links für yosys-abc
Debian-Ressourcen:
Quellcode-Paket yosys herunterladen:
- [yosys_0.33-6~exp3.dsc]
- [yosys_0.33.orig-abc.tar.gz]
- [yosys_0.33.orig.tar.gz]
- [yosys_0.33-6~exp3.debian.tar.xz]
Betreuer:
- Debian Science Maintainers (QS-Seite, E-Mail-Archiv)
- Ruben Undheim (QS-Seite)
- Sebastian Kuzminsky (QS-Seite)
- Daniel Gröber (QS-Seite)
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
Experimentelles Paket
Warnung: Dieses Paket stammt aus der Experimental-Distribution. Dies bedeutet, dass es höchstwahrscheinlich instabil oder fehlerhaft ist und sogar Datenverlust verursachen kann. Bitte lesen Sie den Changelog und andere möglicherweise verfügbare Dokumentation, bevor Sie es benutzen.
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.
Andere Pakete mit Bezug zu yosys-abc
|
|
|
|
-
- dep: libbz2-1.0
- Hochwertiger, Blöcke sortierender Dateikomprimierer - Laufzeitbibliothek
-
- dep: libc6 (>= 2.38)
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libgcc-s1 (>= 3.3.1)
- GCC Support-Bibliothek
-
- dep: libreadline8t64 (>= 6.0)
- GNU readline- und History-Bibliotheken, Laufzeitbibliotheken
-
- dep: libstdc 6 (>= 13.1)
- GNU-Implementierung der Standard-C -Bibliothek (Version 3)
-
- dep: zlib1g (>= 1:1.1.4)
- Kompressions-Bibliothek - Laufzeit
yosys-abc herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| riscv64 | 5.403,6 kB | 13.023,0 kB | [Liste der Dateien] |