Package: covered (0.7.8-2)

[ Source: covered  ]

Verilogs analyseværktøj for kodedækning

Covered er et Verilogredskab til kodedækning som læser i et Verilogdesign og opretter en VCD/LXT-dumpfil ud fra det design og derefter opretter en dækningsfil som kan sammenføjes med andre dækningsfiler eller bruges til at oprette en dækningsrapport. Covered indeholder også redskabet til en grafisk brugergrænseflade som læser en dækningsfil for at tillade interaktiv dækningsopdagelse. Områder som Coverede dækker er: linje, toggle, hukommelse, kombineret logik, FSM-tilstand/tilstandsovergang og assertiondækning.

Tags: Field: Electronics, Implemented in: C, User Interface: Command Line, X Window System, Role: Program, Interface Toolkit: Tk, Purpose: Data Visualization, X Window System: Application

Other Packages Related to covered

• dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]

  Indlejret GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc0.1-udeb

• dep: libc6 (>= 2.7) [not ia64, kfreebsd-amd64, kfreebsd-i386]

  Indlejret GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

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

  Indlejret GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6.1-udeb

• dep: libgcc1 (>= 1:4.4.0) [armel]

  GCC støttebibliotek

• dep: tcl8.5 (>= 8.5.0) [not mips, mipsel]

  Tcl (the Tool Command Language) v8.5 - filer til kørselstid

• dep: tk8.5 (>= 8.5.0) [not mips, mipsel]

  Tk-værktøjssæt for Tcl og X11, v8.5 - kørselstidsfiler

• dep: tklib

  the standard Tk Library

• dep: zlib1g (>= 1:1.1.4)

  Komprimeringsbibliotek - kørselstid

• rec: iverilog

  Icarus Verilog-kompiler

  or verilog

  Icarus Verilog-kompiler - overgangspakke

  or gplcver (>= 2.12a-1.1)

  Verilog simulator

Download covered

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	812.0 kB	2,264.0 kB	[list of files]
armel	783.4 kB	2,176.0 kB	[list of files]
i386	732.9 kB	2,168.0 kB	[list of files]
ia64	1,130.1 kB	4,028.0 kB	[list of files]
kfreebsd-amd64	812.6 kB	2,318.0 kB	[list of files]
kfreebsd-i386	734.6 kB	2,174.0 kB	[list of files]
mips	768.0 kB	2,520.0 kB	[list of files]
mipsel	761.5 kB	2,508.0 kB	[list of files]
powerpc	798.3 kB	2,396.0 kB	[list of files]
s390	823.0 kB	2,348.0 kB	[list of files]
sparc	777.9 kB	2,352.0 kB	[list of files]