[ ソース: covered ]
パッケージ: covered (0.7.10-3build1)
covered に関するリンク
Trisquel の資源:
covered ソースパッケージをダウンロード:
メンテナ:
Original Maintainers:
- Debian Electronics Team (メールアーカイブ)
- أحمد المحمودي (Ahmed El-Mahmoudy)
外部の資源:
- ホームページ [covered.sourceforge.net]
類似のパッケージ:
Verilog code coverage analysis tool
Covered is a Verilog code coverage utility that reads in a Verilog design and a generated VCD/LXT dumpfile from that design and generates a coverage file that can be merged with other coverage files or used to create a coverage report. Covered also contains the GUI coverage report utility that reads in a coverage file to allow interactive coverage discovery. Areas of coverage measured by Covered are: line, toggle, memory, combinational logic, FSM state/state-transition and assertion coverage.
その他の covered 関連パッケージ
|
|
|
-
- dep: libc6 (>= 2.11) [armhf]
- GNU C Library: Shared libraries
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
- dep: libc6 (>= 2.14) [amd64]
-
- dep: libtcl8.6 (>= 8.6.0)
- Tcl (the Tool Command Language) v8.6 - run-time library files
-
- 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)
- compression library - runtime