[ sid ]
[ experimental ]
[ 原始碼： yosys ]
套件：yosys-abc（0.33-5 以及其他的）
yosys-abc 的相關連結
Debian 的資源：
下載原始碼套件 yosys：
- [yosys_0.33-5.dsc]
- [yosys_0.33.orig-abc.tar.gz]
- [yosys_0.33.orig.tar.gz]
- [yosys_0.33-5.debian.tar.xz]
維護小組：
- Debian Science Maintainers (QA 頁面, 郵件存檔)
- Ruben Undheim (QA 頁面)
- Sebastian Kuzminsky (QA 頁面)
- Daniel Gröber (QA 頁面)
外部的資源：
- 主頁 [github.com]
相似套件：
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
- high-quality block-sorting file compressor library - runtime
-
- dep: libc6 (>= 2.34)
- GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6-udeb
-
- dep: libgcc-s1 (>= 3.3.1)
- GCC 支援函式庫
-
- dep: libreadline8t64 (>= 6.0)
- GNU readline 與 history 函式庫，執行時期函式庫
-
- dep: libstdc++6 (>= 13.1)
- GNU Standard C++ Library v3
-
- dep: zlib1g (>= 1:1.1.4)
- 壓縮函式庫 - 跑程式時用(runtime)