パッケージ: covered (0.7.10-5)

[ ソース: covered  ]

Verilog のコードカバレッジ分析ツール

Covered は Verilog のコードカバレッジユーティリティで、Verilog のデザインと そのデザイン由来の生成された VCD/LXT ダンプファイルを読み取り、カバレッジ ファイルを生成します。このファイルは他のカバレッジファイルと統合したり、カ バレッジレポートを作成する際に利用できます。Covered は GUI 版カバレッジレ ポートユーティリティも含んでいます。これはカバレッジファイルを読み取り、対 話的にカバレッジを発見できます。Covered が測定するカバレッジの範囲は次の通 りです: 信号線、トグル、メモリ、組み合わせ論理、FSM 状態・状態遷移、言明の カバレッジ。

タグ: 分野: 電子工学, 実装言語: C, ユーザインタフェース: interface::commandline, interface::graphical, X ウィンドウシステム, 役割: プログラム, インタフェースツールキット: uitoolkit::tk, use::viewing, X ウィンドウシステム: アプリケーション

その他の 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)

  圧縮ライブラリ - ランタイム

• rec: iverilog

  Icarus verilog compiler

  または verilog

  以下のパッケージによって提供される仮想パッケージです: iverilog

  または gplcver (>= 2.12a-1.1)

  Verilog simulator

covered のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
amd64	544.2 kB	2,409.0 kB	[ファイル一覧]
arm64	463.7 kB	2,501.0 kB	[ファイル一覧]
armel	464.2 kB	2,240.0 kB	[ファイル一覧]
armhf	465.4 kB	1,828.0 kB	[ファイル一覧]
i386	533.6 kB	2,544.0 kB	[ファイル一覧]
mips64el	451.2 kB	2,589.0 kB	[ファイル一覧]
ppc64el	512.5 kB	2,949.0 kB	[ファイル一覧]
riscv64	511.8 kB	2,181.0 kB	[ファイル一覧]
s390x	519.4 kB	2,565.0 kB	[ファイル一覧]