[ Source: covered ]
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.
Other Packages Related to covered
|
|
|
|
-
- dep: libc6 (>= 2.11) [not amd64, arm64, ppc64el]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.14) [amd64]
- dep: libc6 (>= 2.17) [arm64, ppc64el]
-
- 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
Download covered
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 537.4 kB | 2,393.0 kB | [list of files] |
| arm64 | 469.1 kB | 2,385.0 kB | [list of files] |
| armel | 456.0 kB | 2,220.0 kB | [list of files] |
| armhf | 462.6 kB | 1,800.0 kB | [list of files] |
| i386 | 530.8 kB | 2,536.0 kB | [list of files] |
| mips64el | 444.1 kB | 2,611.0 kB | [list of files] |
| mipsel | 452.6 kB | 2,442.0 kB | [list of files] |
| ppc64el | 512.6 kB | 2,949.0 kB | [list of files] |
| s390x | 468.9 kB | 2,525.0 kB | [list of files] |