Пакунок: covered (0.7.10-4) [debports]

Links for covered

Debian Resources:

Bug Reports

Download Source Package :

Не знайдено

Maintainers:

External Resources:

Homepage [covered.sourceforge.net]

Similar packages:

Інструмент для аналізу покриття коду Verilog

Covered — інструмент для коду Verilog, який опрацьовує структуру Verilog та створює файли VCD/LXT, з яких ці структури створюють файли покриття, які потім можуть бути імпортовані до інших файлів покриття чи використані для створення звітів про покриття. Covered також має інструмент створення звітів про покриття з графічним інтерфейсом, який опрацьовує файли покриття для того, щоб мати можливість інтерактивного дослідження покриття. Covered використовується для вимірювання лінії, перемикачів, пам’яті, комбінаторної логіки, скінченних автоматів, зміни станів, зони спостереження.

Інші пакунки пов'язані з covered

depends

recommends

suggests

enhances

dep: libc6 (>= 2.34)

Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc6-udeb
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)

Бібліотека стискання даних (виконавчий модуль)

rec: iverilog

Icarus verilog compiler

or verilog

virtual package provided by iverilog

or gplcver (>= 2.12a-1.1)

Verilog simulator

Завантажити covered

Завантаження для всіх доступних архітектур
Архітектура	Розмір пакунка	Розмір після встановлення	Файли
ppc64 (unofficial port)	504.3 kB	3,029.0 kB	[список файлів]