Пакунок: covered (0.7.10-5)
Links for covered
Debian Resources:
Download Source Package covered:
Maintainers:
External Resources:
- Homepage [covered.sourceforge.net]
Similar packages:
Інструмент для аналізу покриття коду Verilog
Covered — інструмент для коду Verilog, який опрацьовує структуру Verilog та створює файли VCD/LXT, з яких ці структури створюють файли покриття, які потім можуть бути імпортовані до інших файлів покриття чи використані для створення звітів про покриття. Covered також має інструмент створення звітів про покриття з графічним інтерфейсом, який опрацьовує файли покриття для того, щоб мати можливість інтерактивного дослідження покриття. Covered використовується для вимірювання лінії, перемикачів, пам’яті, комбінаторної логіки, скінченних автоматів, зміни станів, зони спостереження.
Інші пакунки пов'язані з covered
|
|
|
|
-
- 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)
- Бібліотека стискання даних (виконавчий модуль)
Завантажити covered
Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
---|---|---|---|
ppc64el | 512.5 kB | 2,949.0 kB | [список файлів] |