Package: covered (0.7.10-3.1)

Links for covered

Debian Resources:

Download Source Package covered:

Maintainers:

External Resources:

Homepage [covered.sourceforge.net]

Similar packages:

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: interface::commandline, interface::graphical, X Window System, Role: Program, Interface Toolkit: uitoolkit::tk, use::viewing, X Window System: Application

Other Packages Related to covered

depends

recommends

suggests

enhances

dep: libc6 (>= 2.17)

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
dep: libtcl8.6 (>= 8.6.0)

Tcl (Tool Command Language) version 8.6 - biblioteksfiler for kørselstid
dep: libtk8.6 (>= 8.6.0)

Tk-værktøjssæt for Tcl og X11 version 8.6 - kørselstidsfiler
dep: tklib

Standardbibliotek for Tk
dep: zlib1g (>= 1:1.1.4)

Komprimeringsbibliotek - kørselstid

rec: iverilog

Icarus Verilog-kompiler

or verilog

virtual package provided by iverilog

or gplcver (>= 2.12a-1.1)

Verilogsimulator

Download covered

Download for all available architectures
Architecture	Package Size	Installed Size	Files
arm64	469.1 kB	2,385.0 kB	[list of files]