パッケージ: yosys (0.33-5 など) [debports]
Framework for Verilog RTL synthesis
This is a framework for Verilog RTL synthesis. It currently has extensive Verilog-2005 support and provides a basic set of synthesis algorithms for various application domains.
Yosys can be adapted to perform any synthesis job by combining the existing passes (algorithms) using synthesis scripts and adding additional passes as needed by extending the yosys C++ code base.
その他の yosys 関連パッケージ
|
|
|
|
-
- dep: libc6 (>= 2.38)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libffi8 (>= 3.4)
- Foreign Function Interface ランタイムライブラリ
-
- dep: libgcc-s1 (>= 3.3.1)
- GCC 共有ライブラリ
-
- dep: libreadline8t64 (>= 6.0)
- GNU readline および history ライブラリ - ランタイムライブラリ
-
- dep: libstdc++6 (>= 13.1)
- GNU 標準 C++ ライブラリ v3
-
- dep: libtcl8.6 (>= 8.6.0)
- Tcl (Tool Command Language) v8.6 - ランタイムライブラリファイル
-
- dep: python3
- interactive high-level object-oriented language (default python3 version)
-
- dep: python3-click
- Command-Line Interface Creation Kit - Python 3.x
-
- dep: yosys-abc (>= 0.32-1)
- Sequential Logic Synthesis and Verification Algorithms
-
- dep: zlib1g (>= 1:1.2.0)
- 圧縮ライブラリ - ランタイム
-
- rec: xdot
- interactive viewer for Graphviz dot files