Package: berkeley-abc (1.01+20191006git52a8ebb+dfsg-1)
Links for berkeley-abc
Debian Resources:
Download Source Package berkeley-abc:
- [berkeley-abc_1.01+20191006git52a8ebb+dfsg-1.dsc]
- [berkeley-abc_1.01+20191006git52a8ebb+dfsg.orig.tar.xz]
- [berkeley-abc_1.01+20191006git52a8ebb+dfsg-1.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [www.eecs.berkeley.edu]
Similar packages:
ABC - un sistema per verifica e sintesi sequenziale
Questo è un sistema software in crescita per la sintesi e la verifica di circuiti logici sequenziali che appaiono in progetti di hardware sincrono. ABC combina ottimizzazioni di logica scalabile basate su And-Inverter Graph (AIG), technology mapping con ritardi ottimali basata su DAG per tabelle di associazione e celle standard, e algoritmi innovativi per verifica e sintesi sequenziale.
ABC fornisce un'implementazione sperimentale di tali algoritmi e un ambiente di programmazione per costruire applicazioni simili. Sviluppi futuri si concentreranno nel migliorare gli algoritmi e nel rendere autonoma la maggior parte dei pacchetti. Ciò permetterà agli utenti di personalizzare ABC per le loro necessità come se fosse un insieme di strumenti piuttosto che uno strumento completo.
Other Packages Related to berkeley-abc
|
|
|
|
-
- dep: libbz2-1.0
- libreria compressione file a ordinamento blocchi di alta qualità - runtime
-
- dep: libc6 (>= 2.29)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libgcc1 (>= 1:3.0)
- Package not available
-
- dep: libreadline8 (>= 6.0)
- librerie GNU readline ed history, librerie eseguibili
-
- dep: libstdc++6 (>= 5)
- libreria GNU Standard C++, versione 3
-
- dep: zlib1g (>= 1:1.1.4)
- libreria di compressione - runtime
Download berkeley-abc
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| mips64el | 4,687.2 kB | 17,317.0 kB | [list of files] |