パッケージ: covered (0.7.10-4) [debports]
covered に関するリンク
Debian の資源:
ソースパッケージをダウンロード:
見つかりませんメンテナ:
外部の資源:
- ホームページ [covered.sourceforge.net]
類似のパッケージ:
Verilog のコードカバレッジ分析ツール
Covered は Verilog のコードカバレッジユーティリティで、Verilog のデザインと そのデザイン由来の生成された VCD/LXT ダンプファイルを読み取り、カバレッジ ファイルを生成します。このファイルは他のカバレッジファイルと統合したり、カ バレッジレポートを作成する際に利用できます。Covered は GUI 版カバレッジレ ポートユーティリティも含んでいます。これはカバレッジファイルを読み取り、対 話的にカバレッジを発見できます。Covered が測定するカバレッジの範囲は次の通 りです: 信号線、トグル、メモリ、組み合わせ論理、FSM 状態・状態遷移、言明の カバレッジ。
その他の covered 関連パッケージ
|
|
|
|
-
- dep: libc6 (>= 2.34)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libtcl8.6 (>= 8.6.0)
- Tcl (Tool Command Language) v8.6 - ランタイムライブラリファイル
-
- dep: libtk8.6 (>= 8.6.0)
- Tk toolkit for Tcl and X11 v8.6 - run-time files
-
- dep: tklib
- standard Tk Library
-
- dep: zlib1g (>= 1:1.1.4)
- 圧縮ライブラリ - ランタイム