verilator_coverage_bin_dbg - On-line na nuvem

PROGRAMA:

NOME

verilator_coverage - analisador de cobertura do Verilator

SINOPSE

verilator_coverage --help
verilator_coverage --versão

verilator_coverage --annotate

verilator_coverage -write merged.dat -read ...

Verilator_coverage processa relatórios de cobertura do Verilator.

Com --anotate, ele lê o arquivo de dados especificado e gera o código-fonte anotado com
métricas de cobertura anotadas. Se houver vários pontos de cobertura na mesma linha,
linhas adicionais serão inseridas para relatar os pontos adicionais.

Argumentos padrão Verilog adicionais especificam os caminhos de pesquisa necessários para encontrar o
código-fonte no qual a análise de cobertura foi realizada.

Para obter as porcentagens de cobertura corretas, você pode querer ler logs / verification.pl no Emacs e
faça um Mx keep-lines para incluir apenas as estatísticas de interesse.

Para condições Verilog que nunca devem ocorrer, você deve adicionar uma instrução $ stop. Esse
irá remover a cobertura durante a próxima construção.

ARGUMENTOS

nome do arquivo
Especifique o arquivo de dados de entrada, pode ser repetido para ler várias entradas. Se nenhum arquivo de dados for
especificado, por padrão, a cobertura.dat é lida.

--anotar diretório de saída
Espalha o nome do diretório que os arquivos de origem com dados de cobertura anotados devem ser
escrito para.

--anotar-tudo
Especifica que todos os arquivos devem ser mostrados. Por padrão, apenas os arquivos de origem que têm
baixa cobertura são gravadas no diretório de saída.

--anotar-min contar
Especifica a contagem mínima de ocorrência que deve ser sinalizada se o ponto de cobertura
não inclui um limite especificado. O padrão é 10.

--Socorro
Exibe esta mensagem e a versão do programa e sai.

--classificação
Imprima um relatório experimental listando a importância relativa de cada teste na cobertura
todos os pontos de cobertura. O relatório mostra "Coberto", que indica o número de
pontos que o teste cobre; um teste é considerado para cobrir um ponto se tiver um balde
contagem de pelo menos 1. A coluna "classificação" tem um número maior t indica que o teste é mais
importante e a classificação 0 significa que o teste não precisa ser executado para cobrir os pontos.
"RankPts" indica o número de pontos de cobertura para o qual este teste contribuirá em geral
cobertura se todos os testes forem executados na ordem da classificação mais alta para a mais baixa.

--desvincular
Ao usar --write para combinar dados de cobertura, desvincule todos os arquivos de entrada após a saída
foi criado.

--versão
Exibe a versão do programa e sai.

--escrever nome do arquivo
Especifica que os resultados agregados da cobertura, somados em todos os arquivos, devem ser
escrito para o nome de arquivo fornecido. Isso é útil em scripts para combinar muitos
executa em um arquivo de cobertura mestre.

VERÍLOGO ARGUMENTOS

Os seguintes argumentos são compatíveis com GCC, VCS e a maioria dos programas Verilog.

+ libext +ext+ext...
Define as extensões para arquivos Verilog.

+ definir +var+valor = item -Dvar=valor
Define a variável fornecida.

+ incdir +dir = item -Idir
Especifica um diretório para localizar arquivos de inclusão.

-f lima
Especifica um arquivo contendo argumentos de linha de comando adicionais.

-y dir
Especifica um diretório de pesquisa de módulo.

DISTRIBUIÇÃO

A última versão está disponível emhttp://www.veripool.org/>.

Copyright 2003-2015 de Wilson Snyder. O Verilator é um software livre; você pode redistribuí-lo
e / ou modificar os componentes internos do Verilator sob os termos do GNU Lesser General
Licença Pública Versão 3 ou a Licença Artística Perl Versão 2.0.

AUTORES

Wilson Snyder[email protegido]>

Use verilator_coverage_bin_dbg on-line usando serviços onworks.net