[ 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:
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 projeto Verilog e um arquivo dump VCD/LXT gerado a partir desse projeto e gera um arquivo de cobertura que pode ser mesclado com outros arquivos de cobertura ou usado para criar um relatório de cobertura. Covered também contém o utilitário gráfico (GUI) de relatório de cobertura que lê um arquivo de cobertura para permitir descoberta de cobertura interativa. Áreas de cobertura medidas pelo Covered são: cobertura de linha, interruptor, memória, lógica combinacional, estado da máquina finita de estados e transição de estados e asserção.
Este pacote contém a documentação.
Download covered-doc
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 1,650.5 kB | 2,438.0 kB | [list of files] |