[ ソース: covered ]
パッケージ: covered (0.7.10-3.1)
covered に関するリンク
Debian の資源:
covered ソースパッケージをダウンロード:
メンテナ:
外部の資源:
- ホームページ [covered.sourceforge.net]
類似のパッケージ:
Verilog のコードカバレッジ分析ツール
Covered は Verilog のコードカバレッジユーティリティで、Verilog のデザインと そのデザイン由来の生成された VCD/LXT ダンプファイルを読み取り、カバレッジ ファイルを生成します。このファイルは他のカバレッジファイルと統合したり、カ バレッジレポートを作成する際に利用できます。Covered は GUI 版カバレッジレ ポートユーティリティも含んでいます。これはカバレッジファイルを読み取り、対 話的にカバレッジを発見できます。Covered が測定するカバレッジの範囲は次の通 りです: 信号線、トグル、メモリ、組み合わせ論理、FSM 状態・状態遷移、言明の カバレッジ。
その他の covered 関連パッケージ
|
|
|
|
-
- dep: libc6 (>= 2.11) [amd64, arm64, ppc64el 以外]
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
- dep: libc6 (>= 2.14) [amd64]
- dep: libc6 (>= 2.17) [arm64, ppc64el]
-
- 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)
- 圧縮ライブラリ - ランタイム
covered のダウンロード
アーキテクチャ | パッケージサイズ | インストールサイズ | ファイル |
---|---|---|---|
amd64 | 537.4 kB | 2,393.0 kB | [ファイル一覧] |
arm64 | 469.1 kB | 2,385.0 kB | [ファイル一覧] |
armel | 456.0 kB | 2,220.0 kB | [ファイル一覧] |
armhf | 462.6 kB | 1,800.0 kB | [ファイル一覧] |
i386 | 530.8 kB | 2,536.0 kB | [ファイル一覧] |
mips64el | 444.1 kB | 2,611.0 kB | [ファイル一覧] |
mipsel | 452.6 kB | 2,442.0 kB | [ファイル一覧] |
ppc64el | 512.6 kB | 2,949.0 kB | [ファイル一覧] |
s390x | 468.9 kB | 2,525.0 kB | [ファイル一覧] |