Пакунок: 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:
Експериментальний пакунок
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.
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.
Інші пакунки пов'язані з yosys-abc
|
|
|
|
-
- dep: libbz2-1.0
- Стискання файлів за алгоритмом Барроуза-Уїлера — виконавчий модуль
-
- dep: libc6 (>= 2.34) [not alpha, riscv64, sh4]
- Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.37) [sh4]
- dep: libc6 (>= 2.38) [riscv64]
-
- dep: libc6.1 (>= 2.34) [alpha]
- Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc6.1-udeb
-
- dep: libgcc-s1 (>= 3.3.1) [not armel, armhf, m68k]
- Допоміжна бібліотека GCC
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- Допоміжна бібліотека GCC
-
- dep: libreadline8 (>= 6.0) [not armel, armhf, m68k, riscv64, sh4]
- Бібліотеки GNU readline та history, динамічні бібліотеки
-
- dep: libreadline8t64 (>= 6.0) [armel, armhf, m68k, riscv64, sh4]
- Бібліотеки GNU readline та history, динамічні бібліотеки
-
- dep: libstdc++6 (>= 13.1)
- Стандартна бібліотека C++ GNU, версії 3
-
- dep: zlib1g (>= 1:1.1.4) [not armel, armhf, m68k, sh4]
- Бібліотека стискання даних (виконавчий модуль)
- dep: zlib1g (>= 1:1.2.3.3) [armel, armhf, m68k, sh4]
Завантажити yosys-abc
Архітектура | Версія | Розмір пакунка | Розмір після встановлення | Файли |
---|---|---|---|---|
alpha (unofficial port) | 0.33-6~exp2 | 5,096.9 kB | 17,498.0 kB | [список файлів] |
amd64 | 0.33-6~exp2 | 5,320.1 kB | 14,691.0 kB | [список файлів] |
arm64 | 0.33-6~exp2 | 4,749.8 kB | 14,503.0 kB | [список файлів] |
armel | 0.33-6~exp2+b1 | 4,554.9 kB | 13,830.0 kB | [список файлів] |
armhf | 0.33-6~exp2+b1 | 4,728.2 kB | 10,542.0 kB | [список файлів] |
i386 | 0.33-6~exp2 | 5,543.9 kB | 16,396.0 kB | [список файлів] |
m68k (unofficial port) | 0.33-6~exp2+b1 | 5,147.0 kB | 15,917.0 kB | [список файлів] |
mips64el | 0.33-6~exp2 | 4,869.3 kB | 18,270.0 kB | [список файлів] |
ppc64el | 0.33-6~exp2 | 5,525.4 kB | 18,472.0 kB | [список файлів] |
riscv64 | 0.33-6~exp2+b1 | 5,446.8 kB | 13,108.0 kB | [список файлів] |
sh4 (unofficial port) | 0.33-6~exp2+b1 | 5,847.0 kB | 13,853.0 kB | [список файлів] |
x32 (unofficial port) | 0.33-6~exp2 | 5,308.9 kB | 14,409.0 kB | [список файлів] |