软件包：covered（0.7.10-3 以及其他的）

covered 的相关链接

Debian 的资源：

下载源码包 covered：

维护小组：

外部的资源：

主页 [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.

标签: 领域: 电子学, 实做语言: C, 用户接口: interface::commandline, interface::graphical, X 窗口系统, 角色: 程序, 界面工具箱: uitoolkit::tk, use::viewing, X 窗口系统: 应用程序

其他与 covered 有关的软件包

依赖

推荐

建议

增强

dep: libc6 (>= 2.11) [armhf, i386]

GNU C 语言运行库：共享库
同时作为一个虚包由这些包填实： libc6-udeb

dep: libc6 (>= 2.14) [amd64]

dep: libc6 (>= 2.17) [arm64]
dep: libtcl8.6 (>= 8.6.0)

Tcl (the Tool Command Language) v8.6 - run-time library files
dep: libtk8.6 (>= 8.6.0)

用于 Tcl 和 X11 的 Tk 工具箱 8.6 版 - 运行时文件
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	0.7.10-3+b1	531.1 kB	2,394.0 kB	[文件列表]
arm64	0.7.10-3+b1	433.3 kB	2,254.0 kB	[文件列表]
armhf	0.7.10-3+b1	461.0 kB	1,813.0 kB	[文件列表]
i386	0.7.10-3+b1	536.5 kB	2,537.0 kB	[文件列表]