套件：covered（0.7.10-3.1）

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 視窗系統, 角色: 程式, Interface Toolkit: uitoolkit::tk, use::viewing, X 視窗系統: 應用程式

其他與 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 (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)

壓縮函式庫 - 跑程式時用(runtime)

rec: iverilog

Icarus verilog compiler

或者 verilog

本虛擬套件由這些套件填實： iverilog

或者 gplcver (>= 2.12a-1.1)

Verilog simulator

下載 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	[檔案列表]