[ Source: covered ]
Package: covered-doc (0.7.10-3.1)
Links for covered-doc
Debian Resources:
Download Source Package covered:
Maintainers:
External Resources:
- Homepage [covered.sourceforge.net]
Similar packages:
Ferramenta de análise de cobertura de código Verilog - documentação
Covered é um utilitário de cobertura de código Verilog que lê um projecto do Verilog e um ficheiro de descarga VCD/LXT gerado a partir desse projecto e gera o ficheiro de cobertura que pode ser fundido com outros ficheiros de cobertura ou usado para criar um relatório de cobertura. Covered também contém a GUI utilitária de relatório de cobertura que lê um ficheiro de cobertura para permitir a descoberta interactiva de cobertura. As áreas de cobertura medidas pelo Covered são: cobertura de linha, alternação, memória, lógica combinacional, estado/transição-de-estado FSM e asserção.
Este pacote contém a documentação.
Download covered-doc
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 1,650.8 kB | 2,439.0 kB | [list of files] |