Package: covered (0.7.10-1)

[ 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: interface::commandline, interface::x11, Role: Program, Interface Toolkit: Tk, Purpose: use::viewing, x11::application

Other Packages Related to covered

• dep: libc6 (>= 2.7)

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

• dep: tcl8.5 (>= 8.5.0)

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

• dep: tk8.5 (>= 8.5.0)

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

• dep: tklib

  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
mipsel	796.7 kB	2,612.0 kB	[list of files]