coberto - Online na nuvem

PROGRAMA:

NOME

Coberto - Analisador de Cobertura de Código Verilog

SINTAXE

coberto [opções_globais] Ponto [opções]
coberto [opções_globais] fundir [opções] banco de dados_existente banco de dados_para_mesclar+
coberto [opções_globais] Denunciar [opções] arquivo_banco de dados
coberto [opções_globais] classificar [opções] banco de dados_para_classificação banco de dados_para_classificação+
coberto [opções_globais] excluir [opções] exclusão_id+ arquivo_banco de dados

DESCRIÇÃO

Coberto é uma ferramenta de análise de cobertura de código da Verilog que pode ser útil para determinar como
bem, um conjunto de testes de diagnóstico está cobrindo o design em teste. Leituras cobertas no
Arquivos de projeto Verilog e um arquivo de despejo formatado em VCD, LXT2 ou FST de uma execução de diagnóstico e
gera um arquivo de banco de dados denominado arquivo Coverage Description Database (CDD), usando o
comando de pontuação. O comando de pontuação do Covered pode ser usado alternativamente para gerar um arquivo CDD
e um módulo Verilog para usar o Covered como um módulo VPI em um testbench que pode obter
informações de cobertura em paralelo com a simulação (ver USANDO COBERTO AS A VPI MÓDULO). O
O arquivo CDD resultante pode ser mesclado com outros arquivos CDD do mesmo projeto para criar
cobertura acumulada, usando o comando merge. Depois que um arquivo CDD é criado, o usuário pode
usar Coberto para gerar vários relatórios de cobertura legíveis por humanos em um formato ASCII ou usar
GUI do Covered para olhar interativamente os resultados da cobertura, usando o comando report. Se
pontos de cobertura descobertos são encontrados que o usuário deseja excluir da cobertura, isso pode
ser tratada com o comando de exclusão da linha de comando ou dentro da GUI. Quando múltiplo
Os arquivos CDD são criados a partir do mesmo design, o usuário pode obter uma classificação de cobertura de
esses arquivos CDD para determinar uma ordem ideal para o teste de regressão, bem como compreender
quais arquivos CDD podem ser excluídos das regressões devido à sua incapacidade de atingir novos
pontos de cobertura. Além disso, como parte do comando de pontuação do Coberto, condição de corrida
possibilidades são encontradas nos arquivos de projeto e podem ser ignoradas ou marcadas como avisos
ou sinalizado como erro. Ao especificar condições de corrida como erros, Coberto também pode ser usado
como um verificador de condição de corrida.

CONSIGNAÇÃO OPÇÕES

Essas opções são colocadas imediatamente após a palavra-chave coberto na linha de comando. Elas
pode ser usado para qualquer comando (com exceção de -v e -h) e têm o mesmo efeito em
cada caso.

-B Ofuscar. Ofusca todos os nomes sensíveis ao design antes de enviar
formato legível pelo usuário. Esta opção é útil ao compartilhar a saída com o
desenvolvedores do Coberto para fins de depuração.

-D Depurar. Exibir informações úteis para depurar problemas da ferramenta. Nota: este
opção agora está disponível apenas quando coberto é construído com o --enable-debug
opção de configuração.

-h Ajuda. Exibir essas informações de uso.

-P [nome do arquivo]
Modo de criação de perfil. Ativa o criador de perfil de código-fonte interno que produzirá um
relatório de perfil do comando de execução para o especificado nome do arquivo ou, se não
nome do arquivo está presente, para um arquivo chamado coberto.prof. Esta opção só está disponível
se o --enable-perfiling opção de configuração foi especificada quando Coberto foi
construído.

-Q Modo silencioso. Faz com que todas as saídas sejam suprimidas.

-T Modo conciso. Faz com que toda a saída seja suprimida, com exceção do aviso
mensagens e as informações do cabeçalho coberto.

-v Versão. Exibe a versão atual coberta.

COMANDOS

Ponto Analisa arquivos Verilog e arquivos de despejo VCD / LXT2 / FST para criar arquivo de banco de dados usado para
fusão e relatórios.

fundir Mescla dois ou mais arquivos de banco de dados em um.

Denunciar Gera relatórios de cobertura legíveis por humanos a partir de arquivo de banco de dados ou inicia a cobertura
relatório GUI.

classificar Gera um relatório que especifica uma ordem ideal para executar regressões e especifica
Arquivos CDD que não adicionam novas informações de cobertura (e podem, portanto, ser excluídos
de regressões, se desejado).

excluir
Permite um ou mais pontos de cobertura (identificados com IDs de exclusão em um relatório
gerado com a opção -x) para ter sua propriedade de exclusão alternada (incluir para
excluir ou excluir para incluir) e, se a propriedade de exclusão estiver configurada para excluir,
opcionalmente, permitir que um motivo para a exclusão seja associado a ele e armazenado em
o arquivo CDD especificado.

PONTO COMANDO

As seguintes opções são válidas para o comando score:

-A OK Faz com que as asserções OVL sejam usadas para cobertura de afirmações. Esta bandeira deve ser dada
ao comando de pontuação se as métricas de cobertura de asserção forem necessárias no relatório
comando.

-cdd banco de dados
Igual à opção -o. Útil quando o arquivo CDD sendo pontuado é uma entrada para a pontuação
comando.

-cli [nome do arquivo]
Faz com que o depurador de linha de comando seja usado durante a pontuação do arquivo de dump VCD / LXT2 / FST.
If nome do arquivo é especificado, este arquivo contém informações salvas em uma chamada anterior
para salvar o histórico na CLI e faz com que o histórico contido neste arquivo seja reproduzido
antes do prompt de comando CLI. Se nome do arquivo não for especificado, o prompt CLI
estar imediatamente disponível no início da simulação. Esta opção só está disponível
quando Coberto é configurado com o --enable-depurar opção.

-conservador
Se esta opção for especificada, qualquer bloco lógico que contenha código que pode causar
discrepâncias de cobertura que levam a resultados de cobertura potencialmente imprecisos são
removido da consideração de cobertura. Consulte o Guia do usuário para obter mais informações sobre o que
tipo de código pode levar a imprecisões de cobertura.

-dumpvars [nome do arquivo]
Se esta opção for especificada sem as opções -vcd ou -lxt, o design é analisado,
um arquivo CDD é criado e um arquivo de módulo Verilog de nível superior denominado nome do arquivo (se este
valor é especificado) ou "covered_dump.v" (se nome do arquivo não é especificado) é criado.
Este arquivo é usado na compilação do simulador para criar um arquivo de dump que é
otimizado para obter cobertura para o arquivo CDD especificado. Se o -vcd ou
As opções -lxt são especificadas, esta opção não tem efeito. Consulte o Guia do usuário para
mais informações sobre como usar esta opção.

-D define_nome
Define o nome especificado como 1.

-D define_name = value
Define o nome especificado para o valor especificado.

-e nome_do_bloco
Nome do módulo, tarefa, função ou bloco inicial / final nomeado para não pontuar. Causa tudo
os subblocos na árvore Verilog sob este bloco também não serão pontuados.

-ea Exclui todos os bloqueios de sempre de serem considerados para cobertura.

-ec Exclui todas as atribuições contínuas de serem consideradas para cobertura.

-ovo Exclui todos os blocos iniciais de serem considerados para cobertura.

-E se Exclui todos os blocos finais de serem considerados para cobertura.

-ep [nome]
Exclui todos os códigos encontrados entre '// cobertura desligada' e '// cobertura ligada' pragmas
embutido no design. Se nome for especificado, a palavra-chave no pragma irá
ser alterado para esse nome em vez do padrão "cobertura", permitindo ao usuário
mude a aparência do pragma se ele entrar em conflito com qualquer outra ferramenta.

-F module_name = [in_expr,] out_expr
Indica ao analisador onde encontrar o FSM localizado no módulo nome do módulo qual
tem uma expressão de estado de entrada chamada in_expr e expressão de estado de saída chamada
out_expr. Se in_expr não é especificado, out_expr é usado como entrada e
expressão do estado de saída.

-f nome do arquivo
Nome do arquivo que contém argumentos adicionais para analisar.

primeiro nome do arquivo
Nome do arquivo de dump do FST com o qual pontuar o design. Se -vcd, -lxt ou esta opção não for
usado, o Covered criará apenas um arquivo CDD inicial a partir do design e não
tentativa de pontuar o design.

-g [module_name =] (1 | 2 | 3)
Permite ao usuário limitar o analisador a uma geração específica do Verilog
padrão para um módulo específico ou todo o projeto, onde 1 = Verilog-1995,
2 = Verilog-2001, 3 = SystemVerilog. Se module_name = é especificado, o analisador usa o
padrão Verilog especificado apenas para esse módulo, permitindo que o resto do design
usar o padrão global. Por padrão, o padrão global é definido para o mais recente
versão (3). Esta opção pode ser especificada mais de uma vez para uma determinada chamada para o
comando de pontuação; no entanto, se a opção -g especificar mais do que um valor global (ou seja,
sem o módulo = prefixo), apenas o último valor da opção será usado.

-h Exibe essas informações de ajuda.

-I anuário
Diretório para localizar arquivos Verilog incluídos.

-i nome da instância
Referência hierárquica Verilog para o módulo que está no topo da árvore a ser
marcou. Esta opção é necessária se o módulo para verificar a cobertura não for de nível superior
módulo no design. Se não for especificado, -t valor é usado.

-lxt nome do arquivo
Nome do arquivo de dump LXT2 com o qual pontuar o design. Se -vcd, -fst ou esta opção não for
usado, o Covered criará apenas um arquivo CDD inicial a partir do design e não
tentativa de pontuar o design.

-m mensagem
Permite que o usuário especifique informações sobre este arquivo CDD. Esta informação pode
ser qualquer coisa (as mensagens com espaço em branco devem ser colocadas entre aspas duplas
marcas), mas pode incluir algo sobre os argumentos de simulação para mais facilmente
vincular o arquivo CDD à sua simulação para fins de recriar o arquivo CDD.

-o banco de dados
Nome do banco de dados para gravar as informações de cobertura. Se não for especificado, a saída
O nome do arquivo do banco de dados será "cov.cdd".

-p nome do arquivo
Substitui o nome de arquivo padrão usado para armazenar a saída do pré-processador intermediário.

-P parâmetro_scope = valor
Executa um defparam no parâmetro especificado com valor.

-rS Quando as verificações de condição de corrida são violadas, os blocos lógicos ofensivos são removidos
da consideração de cobertura e toda a saída é suprimida em relação à corrida
violação de condição. Consulte a documentação do usuário para obter mais informações sobre raça
uso de verificação de condição.

-rW Quando as verificações de condição de corrida são violadas, os blocos lógicos ofensivos são removidos
da consideração de cobertura e a violação da condição de corrida é produzida. Isto é
o comportamento padrão para tratamento de condição de corrida. Veja a documentação do usuário para mais
informações sobre o uso de verificação de condição de corrida.

-ré Quando as verificações de condição de corrida são violadas, o motivo é apresentado e a pontuação termina
imediatamente. Consulte a documentação do usuário para obter mais informações sobre a condição de corrida
verificando o uso.

-rI [=módulo nome]
If módulo nome não for especificado, a verificação da condição de corrida é totalmente ignorada para
todo o design. Se módulo nome é especificado, a verificação da condição de corrida é ignorada
para o módulo especificado. Consulte a documentação do usuário para obter mais informações sobre raça
uso de verificação de condição.

-rP [=nome])
Usa pragmas incorporados para ignorar determinado código da verificação de condição de corrida
consideração (se nome é especificado, ele é usado como a palavra-chave pragma). Ver usuário
documentação para obter mais informações sobre o uso de verificação de condição de corrida.

-S Emite estatísticas de simulação após a simulação ser concluída. Esta informação é
atualmente útil apenas para os desenvolvedores do Covered.

-t nível superior módulo
Especifica o nome do módulo do módulo superior que será medido. Observe que
este módulo não precisa ser o módulo superior do simulador. Este campo
é necessário para todas as chamadas para o comando score.

-top_ts calendário
Esta opção só é válida quando as opções -vpi ou -dumpvars foram especificadas.
Esta opção permite ao usuário especificar uma escala de tempo para o módulo Verilog gerado
criado com a opção -vpi / -dumpvars. Se esta opção não for especificada, não
escala de tempo será criada para o módulo gerado. O valor de calendário is
especificado da seguinte forma:

(1|10|100)(s|ms|us|ns|ps|fs)/(1|10|100)(s|ms|us|ns|ps|fs)

Se for necessário um espaço em branco entre os vários valores, coloque todo o conteúdo de
calendário entre aspas duplas.

-ts número
Quando a pontuação ocorre, esta opção permite ao usuário ver o quão longe o simulador
progrediu enviando o passo de tempo atual para a saída padrão. O valor de
número especifica quantos passos de tempo podem ser simulados antes da saída
o timestep atual (resulta em menos chamadas para o fluxo de saída).

-T (min | typ | max)
Especifica qual valor usar ao encontrar uma expressão de atraso na forma:
min: typ: max. Se esta opção não for especificada, a seleção 'typ' é usada por padrão.

-v nome do arquivo
Nome do arquivo Verilog específico para pontuação.

-vcd nome do arquivo
Nome do arquivo de despejo VCD com o qual pontuar o design. Se -lxt, -fst ou esta opção não for
usado, o Covered criará apenas um arquivo CDD inicial a partir do design e não
tentativa de pontuar o design.

-vpi [nome do arquivo]
Se esta opção for especificada sem as opções -vcd, -lxt ou -fst, o design é
analisado, um arquivo CDD é criado e um arquivo de módulo Verilog de nível superior denominado nome do arquivo
(se este valor for especificado) ou "covered_vpi.v" (se nome do arquivo não é especificado) é
criado junto com um arquivo de tabela PLI chamado nome do arquivo.ta b ou "covered_vpi.v.ta b".
Ambos os arquivos são usados ​​na compilação do simulador para usar Coberto como
um módulo VPI. Se as opções -vcd, -lxt ou -fst forem especificadas, esta opção
não tem efeito.

-Wignore
Suprima a saída de avisos durante a análise e simulação de código.

-y anuário
Diretório para localizar arquivos Verilog não especificados.

+ libext +.extensão[+.extensão]*+
Extensões de arquivos Verilog para permitir a pontuação.

MERGE COMANDO

As seguintes opções são válidas para o comando merge:

-d nome do arquivo
Diretório para pesquisar os arquivos CDD a serem incluídos. Esta opção é usada em conjunto
com o -ext opção que especifica a extensão do arquivo a ser usada para determinar
quais arquivos no diretório são arquivos CDD.

-R (primeiro|último|todos os|novo|velho)
Especifica como lidar com a resolução do motivo de exclusão. Se dois ou mais arquivos CDD
sendo mesclados têm motivos de exclusão especificados para o mesmo ponto de cobertura, o
o motivo da exclusão precisa ser resolvido (a menos que seja o mesmo valor de string). Se
esta opção não é especificada e um conflito é encontrado, Coberto interativamente
solicite informações para cada exclusão sobre como lidar com isso. Se esta opção for
especificado, ele informa ao Coberto como lidar com todos os conflitos de motivos de exclusão. o
os valores são os seguintes: .br

primeiro - O arquivo CDD que continha o primeiro motivo de exclusão é usado.

último - O arquivo CDD que continha o último motivo de exclusão é usado.

todos os - Todos os motivos de exclusão são usados ​​(concatenados).

novo - Use o motivo de exclusão mais recente especificado.

velho - Use o motivo de exclusão mais antigo especificado.

-ext extensão
Usado em conjunto com o -d opção. Se não -ext as opções são especificadas no
linha de comando, o valor padrão de '.cdd' é usado. Observe que um ponto (.) Deve
ser especificado.

-f nome do arquivo
Nome do arquivo que contém argumentos adicionais para analisar.

-h Exibe essas informações de ajuda.

-m mensagem
Permite que o usuário especifique informações sobre este arquivo CDD. Esta informação pode
ser qualquer coisa (as mensagens com espaço em branco devem ser colocadas entre aspas duplas
marcas).

-o nome do arquivo
Arquivo para o qual enviar o novo banco de dados. Se este argumento não for especificado, o
banco de dados_existente é usado como o nome do banco de dados de saída.

RELATÓRIO COMANDO

As seguintes opções são válidas com o comando report:

-b Se a saída detalhada da lógica combinacional for relatada e a expressão for um vetor
operação, esta opção produz as informações de cobertura em uma base bit a bit.

-c If -v é especificado, exibe apenas as métricas cobertas. O padrão é exibir descoberto
Apenas informação.

-d (s | d | v)
Nível de detalhe a ser fornecido nas informações do relatório de cobertura (s = resumo, d =
detalhado, v = detalhado). O padrão é resumo.

-e Produz todos os pontos de cobertura excluídos para o arquivo de relatório junto com qualquer
razões de exclusão se o -d d or -d v opções são especificadas.

-f nome do arquivo
Nome do arquivo que contém argumentos adicionais para analisar.

-h Exibe essas informações de ajuda.

-i Fornece informações de cobertura para instâncias em vez de módulo.

-m [l] [t] [c] [f] [r] [a] [m]
Tipo (s) de métricas a relatar. l = linha, t = alternar, c = lógica combinacional, f = estado FSM
e transição de estado, r = condições de corrida, a = afirmação, m = memória. O padrão é ltcf.

-o nome do arquivo
Arquivo para o qual enviar informações de relatório. O padrão é a saída padrão.

-s Suprime a saída de módulos / instâncias que não contêm informações de cobertura
para o relatório. Usado para ajudar a eliminar informações potencialmente sem sentido do
relatar.

-v Descontinuada. Substituído por '-dd' ou '-d v'.

-Visão Inicia a interface GUI para relatórios de cobertura interativos.

-w (número)
Especifica a largura máxima da linha (em caracteres) que pode ser usada para a saída Verilog
em formação. Se esta opção não for especificada, todo o código Verilog no relatório irá
retém a mesma formatação especificada no código Verilog original. Se este
opção for especificada, o código Verilog será formatado para usar o máximo do atual
linha possível, quebrando o texto quando a linha atinge a largura máxima de linha. o
a largura máxima padrão da linha é de 115 caracteres (este valor é usado se nenhum número for
especificado com a opção -w). Se um número for especificado com a opção -w, este
valor é usado para a largura máxima da linha.

-x Produz os IDs de exclusão de todos os pontos de cobertura descobertos e excluídos dentro
parênteses antes da saída detalhada associada do ponto de cobertura. o
IDs de exclusão podem ser usados ​​para excluir / incluir pontos de cobertura por meio do exclude
comando.

RANK COMANDO

As seguintes opções são válidas com o comando rank:

-d nome do arquivo
Diretório para pesquisar os arquivos CDD a serem incluídos. Esta opção é usada em conjunto
com o -ext opção que especifica a extensão do arquivo a ser usada para determinar
quais arquivos no diretório são arquivos CDD.

-profundidade número
Especifica o número mínimo de arquivos CDD necessários para atingir cada ponto de cobertura. o
valor de número deve ser maior que zero. O padrão é 1.

-ext extensão
Usado em conjunto com o -d opção. Se não -ext as opções são especificadas no
linha de comando, o valor padrão de '.cdd' é usado. Observe que um ponto (.) Deve
ser especificado.

-f nome do arquivo
Nome do arquivo que contém argumentos adicionais para analisar.

-h Exibe informações de ajuda para o comando rank.

-nomes-only
Se especificado, produz apenas os nomes de arquivo CDD necessários que precisam ser executados no
ordem que eles precisam ser executados. Se esta opção não for definida, uma saída em estilo de relatório é
fornecido com informações adicionais. Esta opção deve ser útil em scripts
que deseja que apenas nomes de arquivos CDD sejam executados como saída.

-o nome do arquivo
Nome do arquivo para o qual enviar as informações de classificação. O padrão é a saída padrão.

-requerido-cdd nome do arquivo
Nome do CDD que deve ser considerado um CDD necessário para classificação (ou seja, não pode ser
excluídos por qualquer motivo).

-lista de requisitos nome do arquivo
Nome de um arquivo que contém uma lista de CDDs que devem ser considerados CDDs obrigatórios
Classificar. Os nomes dos arquivos devem ser separados por espaços em branco ou caracteres de nova linha
dentro do arquivo.

-v Faz com que a saída detalhada seja exibida quando o comando rank é executado. Produz
informações de diagnóstico sobre cada uma das diferentes fases do algoritmo de classificação
incluindo tempo de execução, número de arquivos CDD incluídos / excluídos e número de cobertura
pontos atingidos por CDDs classificados durante cada fase. Esta informação deve ser
útil para aqueles interessados ​​no algoritmo de classificação e seu desempenho.

-peso-afirmar número
Especifica uma ponderação relativa para cobertura de asserção usada para classificar não exclusivo
pontos de cobertura. O valor de número é relativo aos valores usados ​​no
-peso-alternar, -peso-memória, -peso-pente, -peso-fsm e -peso-linha classificar
opções de comando.

-peso-pente número
Especifica uma ponderação relativa para a cobertura lógica combinacional usada para classificar
pontos de cobertura não exclusivos. O valor de número é relativo aos valores usados ​​em
que o -peso-alternar, -peso-memória, -peso-afirmar, -peso-fsm e -peso-linha
opções de comando de classificação.

-peso-fsm número
Especifica uma ponderação relativa para o estado FSM e cobertura de transição de estado usada para
classificar pontos de cobertura não exclusivos. O valor de número é relativo aos valores
usado no -peso-alternar, -peso-memória, -peso-pente, -peso-afirmar e
-peso-linha opções de comando de classificação.

-peso-linha número
Especifica uma ponderação relativa para a cobertura de linha usada para classificar a cobertura não exclusiva
pontos. O valor de número é relativo aos valores usados ​​no -peso-alternar,
-peso-memória, -peso-pente, -peso-fsm e -peso-afirmar opções de comando de classificação.

-peso-memória número
Especifica uma ponderação relativa para a cobertura de memória usada para classificar a cobertura não exclusiva
pontos. O valor de número é relativo aos valores usados ​​no -peso-alternar,
-peso-linha, -peso-pente, -peso-fsm e -peso-afirmar opções de comando de classificação.

-peso-alternar número
Especifica uma ponderação relativa para alternar a cobertura usada para classificar a cobertura não exclusiva
pontos. O valor de número é relativo aos valores usados ​​no -peso-memória,
-peso-linha, -peso-pente, -peso-fsm e -peso-afirmar opções de comando de classificação.

EXCLUIR COMANDO

As seguintes opções são válidas com o comando exclude:

-f nome do arquivo
Especifica o nome de um arquivo que contém mais opções para o comando de exclusão.
Esta opção pode ser especificada quantas vezes forem necessárias para uma única chamada para o
excluir comando.

-h Gera informações de uso para o comando exclude.

-m Permite que uma mensagem de exclusão seja associada a quaisquer pontos de cobertura em andamento
do estado incluído para o estado excluído. Para cada ponto de cobertura que atende
este requisito, o usuário será solicitado a inserir um motivo. O motivo pode ser
qualquer comprimento e qualquer número de linhas; no entanto, todos os caracteres de formatação (ou seja,
novas linhas, tabulações, espaços extras, etc.) serão removidos e substituídos por um único
espaço quando for exibido posteriormente. Para encerrar a entrada de uma mensagem, pressione um retorno,
insira um único caractere ponto (.) e pressione Enter novamente. O período final
personagem não fará parte da mensagem de exclusão.

-p Faz com que todos os pontos de cobertura especificados imprimam seu status de exclusão atual e
razão de exclusão (se houver um para o ponto de cobertura excluído) para o padrão
saída. Se esta opção for especificada, o -m opção será ignorada.

USANDO COBERTO AS A VPI MÓDULO

Além de usar o comando de pontuação de Covered para analisar um arquivo VCD, LXT2 ou FST para resumir
informações de cobertura, Coberto também pode ser usado como um módulo VPI dentro de um simulador para
extraia esta informação. As vantagens de usar o Covered como um VPI em vez de um leitor de dumpfile
inclui o seguinte. Primeiro, os arquivos VCD podem ser extremamente grandes, especialmente por longos
simulações, usando valioso espaço em disco. Em segundo lugar, se você estiver usando um simulador que
despeja arquivos em um formato diferente de VCD, LXT2 ou FST e você deseja converter esses arquivos de despejo
tipos de arquivo para uma dessas versões, o custo de espaço em disco e tempo pode tornar a criação
dumpfiles que cobertos requerem indesejáveis. Além disso, embora use Coberto como um VPI
módulo irá desacelerar sua velocidade de simulação, é mais provável que o tempo total gasto
simular seu projeto e pontuar o projeto em uma etapa será mais curto do que fazê-lo em
dois passos. Como resultado, o utilitário de configuração do Covered pode gerar bibliotecas prontas para VPI para
os seguintes simuladores gratuitos e comerciais (Icarus Verilog, CVER e VCS).

Para construir automaticamente os arquivos de biblioteca prontos para VPI ao gerar Coberto a partir da fonte,
simplesmente especifique um ou mais dos seguintes ao executar o utilitário "configure" no
Diretório coberto básico: --with-iv = , --with-vcs =
caminho>, --with-cver = . Depois que o Coberto for configurado, basta digitar
'make' e 'make install'. Isso instalará os arquivos de biblioteca prontos para VPI no
diretório de instalação libexec (por padrão, este caminho será / usr / local / libexec).

Antes de estar pronto para compilar o design, você deve primeiro criar um arquivo CDD, um arquivo de nível superior
Arquivo Verilog e um arquivo de tabela PLI (o último arquivo só é necessário para o compilador VCS).
Isso é feito especificando o -vpi (nome do arquivo) opção para o comando de pontuação do Coberto. Se não
nome do arquivo é especificado após -vpi, os arquivos covered_vpi.v e covered_vpi.ta b serão
criado junto com o arquivo de cobertura gerado. Observe que esta etapa só precisa ser
executado uma vez, a menos que os arquivos de design sejam alterados. Agora você está pronto para compilar o
simulador.

Se você estiver compilando uma simulação Icarus Verilog, basta adicionar '-m
/usr/local/libexec/covered.vpi covered_vpi.v 'para a linha de comando' iverilog '. Uma vez
a compilação estiver completa, execute o arquivo executável gerado normalmente.

Se você estiver compilando uma simulação CVER, basta adicionar
'+ loadvpi = / usr / local / libexec / covered.cver.so: vpi_compat_bootstrap covered_vpi.v' para o
linha de comando 'cver'.

Se você estiver compilando uma simulação VCS, basta adicionar '+ vpi -load
/usr/local/libexec/covered.vcs.so:covered_register covered_vpi.v 'para' vcs '
linha de comando. Assim que a compilação for concluída, execute o arquivo executável gerado enquanto você
normalmente faria.

Se você estiver compilando uma simulação NC-Verilog, mude para o comando irun do NC-Verilog para carregar
o objeto compartilhado coberto: '-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
e habilite todos os acessos com '-access + rwc'. Você pode codificar a chamada $ covered_sim em
seu RTL ou você pode executá-lo dinamicamente usando a CLI, adicionando o -input input.tcl
mudar para irun. Onde o arquivo input.tcl se parece com o seguinte e tb.dut é o
instância de cobertura:
chamar -systf {$ covered_sim} {"Score.cdd"} tb.dut
corrida

Existem dois plusargs que podem ser passados ​​para o executável gerado quando é executado que
Coberto irá analisar. O '+ covered_cdd = 'opção fará com que Covered produza o
pontuou o conteúdo do design para o arquivo CDD especificado por . Isso permite várias execuções
do simulador para gerar vários arquivos CDD diferentes sem a necessidade de recompilar para
ocorrer. A opção '+ covered_debug' fará com que o Covered descarregue uma grande quantidade de saída excessiva
sobre seu estado de tempo de execução interno durante a simulação. Esta saída só será gerada
se Coberto foi configurado com a opção --enable-debug. Esta opção plusarg não deve
ser usado por usuários regulares, pois tem como objetivo principal ajudar os desenvolvedores do
depuração.

AUTORES

Trevor Williams[email protegido]>

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