[ sid ]
[ experimental ]
套件:yosys-abc(0.33-5 以及其他的) [debports]
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.1 (>= 2.34)
- GNU C 函式庫:共用函式庫
同時作為一個虛擬套件由這些套件填實: libc6.1-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)