[ Source: covered ]
Package: covered-doc (0.7.10-5)
Links for covered-doc
Debian Resources:
Download Source Package covered:
Maintainers:
External Resources:
- Homepage [covered.sourceforge.net]
Similar packages:
Verilogs analyseværktøj for kodedækning - dokumentation
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.
Denne pakke indeholder dokumentationen.
Download covered-doc
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 1,650.5 kB | 2,438.0 kB | [list of files] |