[ sid ]
[ experimental ]
[ Source: yosys ]
Package: yosys-abc (0.33-6~exp2 and others)
Links for yosys-abc
Debian Resources:
Download Source Package yosys:
- [yosys_0.33-6~exp2.dsc]
- [yosys_0.33.orig-abc.tar.gz]
- [yosys_0.33.orig.tar.gz]
- [yosys_0.33-6~exp2.debian.tar.xz]
Maintainers:
- Debian Science Maintainers (QA Page, Mail Archive)
- Ruben Undheim (QA Page)
- Sebastian Kuzminsky (QA Page)
- Daniel Gröber (QA Page)
External Resources:
- Homepage [github.com]
Similar packages:
Experimental package
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
Sekventiel logiksyntese og verifikationsalgoritmer
BC er et system til syntese og verifikation af binær sekventiel logikkredsløb, der optræder i synkrone udstyrsdesign. Systemet kombinerer skalerbar logisk optimering baseret på And-Inverter Graphs (AIG'er), optimal-delay DAG-baseret teknologikortlægning til opslagstabeller og standardceller samt innovative algoritmer til sekventiel syntese og verifikation.
Dette er en forgrening af berkeley-abc, der vedligeholdes af YosysHQ-holdet til brug i yosys RTL-synteseramme.
Other Packages Related to yosys-abc
|
|
|
|
-
- dep: libbz2-1.0
- højkvalitets bloksorteringsfilpakningsbibliotek - kørselstid
-
- dep: libc6 (>= 2.34)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.5)
- GCC støttebibliotek
-
- dep: libreadline8t64 (>= 6.0)
- GNU bibliotekerne readline og history - kørselstid
-
- dep: libstdc++6 (>= 13.1)
- GNU Standard C++ bibliotek v3
-
- dep: zlib1g (>= 1:1.2.3.3)
- Komprimeringsbibliotek - kørselstid
Download yosys-abc
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| armhf | 0.33-6~exp2+b1 | 4,728.2 kB | 10,542.0 kB | [list of files] |