[ trixie ]
[ sid ]
パッケージ: yosys-abc (0.33-6) [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
- 高品質なブロックソートファイル圧縮器 - ランタイム
-
- dep: libc6 (>= 2.38)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libgcc-s1 (>= 3.3.1)
- GCC 共有ライブラリ
-
- dep: libreadline8t64 (>= 6.0)
- GNU readline および history ライブラリ - ランタイムライブラリ
-
- dep: libstdc++6 (>= 13.1)
- GNU 標準 C++ ライブラリ v3
-
- dep: zlib1g (>= 1:1.1.4)
- 圧縮ライブラリ - ランタイム