Пакет: covered (0.7.10-5 и другие)

[ Источник: covered  ]

анализ покрытия кода Verilog

Covered — инструмент анализа покрытия кода на языке Verilog. По описанию на Verilog создаётся дамп-файл VCD/LXT и файл покрытия, который может быть объединён с другими файлами покрытия или использоваться для создания отчёта о покрытии. Также Covered содержит утилиту с графическим интерфейсом, читающую файл покрытия и предоставляющую интерактивный просмотр покрытия. Области покрытия оцениваемые Covered: строки, переключатели, память, комбинаторная логика, состояния/переходы конечных автоматов и утверждения.

Теги: Область: Электроника, Реализовано на: C, Пользовательский интерфейс: interface::commandline, interface::graphical, X Window System, Роль: Программа, Инструментарий интерфейса: uitoolkit::tk, use::viewing, X Window System: Приложение

Другие пакеты, относящиеся к covered

• dep: libc6 (>= 2.34) [не alpha, ia64, sh4]

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

  dep: libc6 (>= 2.40) [sh4]

• dep: libc6.1 (>= 2.34) [alpha]

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6.1-udeb

  dep: libc6.1 (>= 2.36) [ia64]

• 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

  компилятор языка Verilog Icarus

  или verilog

  виртуальный пакет, предоставляемый iverilog

  или gplcver (>= 2.12a-1.1)

  Verilog simulator

Загрузка covered

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	0.7.10-5	493,1 Кб	2 695,0 Кб	[список файлов]
amd64	0.7.10-5	544,2 Кб	2 409,0 Кб	[список файлов]
arm64	0.7.10-5	463,7 Кб	2 501,0 Кб	[список файлов]
armel	0.7.10-5	464,2 Кб	2 240,0 Кб	[список файлов]
armhf	0.7.10-5	465,4 Кб	1 828,0 Кб	[список файлов]
hppa (неофициальный перенос)	0.7.10-5	500,7 Кб	2 350,0 Кб	[список файлов]
i386	0.7.10-5	533,6 Кб	2 544,0 Кб	[список файлов]
ia64 (неофициальный перенос)	0.7.10-4	591,7 Кб	4 022,0 Кб	[список файлов]
m68k (неофициальный перенос)	0.7.10-5	433,6 Кб	2 049,0 Кб	[список файлов]
mips64el	0.7.10-5	451,2 Кб	2 589,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	0.7.10-5	505,7 Кб	3 029,0 Кб	[список файлов]
ppc64el	0.7.10-5	512,5 Кб	2 949,0 Кб	[список файлов]
riscv64	0.7.10-5	511,8 Кб	2 181,0 Кб	[список файлов]
s390x	0.7.10-5	519,4 Кб	2 565,0 Кб	[список файлов]
sh4 (неофициальный перенос)	0.7.10-5	531,8 Кб	2 087,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	0.7.10-5	435,1 Кб	4 703,0 Кб	[список файлов]
x32 (неофициальный перенос)	0.7.10-5	528,4 Кб	2 218,0 Кб	[список файлов]