パッケージ: covered (0.7.7-1) [universe]
covered に関するリンク
Ubuntu の資源:
covered ソースパッケージをダウンロード:
メンテナ:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Electronics Team (メールアーカイブ)
- أحمد المحمودي (Ahmed El-Mahmoudy)
It should generally not be necessary for users to contact the original maintainer.
外部の資源:
- ホームページ [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.7)
- Embedded GNU C Library: Shared libraries
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: tcl8.5 (>= 8.5.0)
- Tcl (the Tool Command Language) v8.5 - run-time files
-
- dep: tk8.5 (>= 8.5.0)
- Tk toolkit for Tcl and X11, v8.5 - run-time files
-
- dep: tklib
- the standard Tk Library
-
- dep: zlib1g (>= 1:1.1.4)
- compression library - runtime