Abordado

coberto é uma ferramenta de análise de cobertura de código Verilog.
Baixe Agora

Abordado Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • GPL
  • Preço:
  • FREE
  • Nome do editor:
  • Trevor Williams
  • Site do editor:

Abordado Tag


Abordado Descrição

Coberto é uma ferramenta de análise de cobertura de código Verilog. Coberto é uma ferramenta de análise de cobertura de código Verilog. Coberto pode ser útil para determinar o quão bem um conjunto de teste de diagnóstico está cobrindo o projeto sob teste.typicamente no fluxo de trabalho de verificação de design, um engenheiro de verificação de design desenvolverá um conjunto de testes de teste para verificar os elementos / funções especificadas por uma especificação de design. documento.Quando o conjunto de testes contém todos os testes exigidos pela especificação de design, o escritor de teste pode estar se perguntando: "Quanta lógica no design está sendo exercida?" ", Meu teste de teste cobre todos os Lógica em teste? ", E" Eu fiz escrevendo testes para a lógica? "Quando a verificação de design chega a este ponto, muitas vezes é útil obter algumas métricas para determinar a cobertura lógica. É aqui que um utilitário de cobertura de código, como coberto, é muito útil. O que há de novo nesta versão: · Avisos de compilação fixa ao compilar em plataformas de 64 bits Mac OS X e Debian. · Atualizações para construir scripts para ajudar a jusante do Debian Releases. · Bug fixo 2880705. $ ID: palavras-chave que contêm novas linhas agora são tratadas corretamente. Além disso, fixar problemas com módulos instanciados dentro de um bloco gerado. · Corrigido bug 2881869. Corrigido uma questão de transbordamento de pilha na função Gen_Item_Resolve que causaria falhas de segmentação quando muitos itens estavam sendo gerados dentro de um único bloco gerado. · Corrigido bug 2882433. Corrigido o "Erro! O parâmetro usado na expressão, mas não definido no erro do módulo atual" quando uma instância de módulo gerado possui um substituto de parâmetro de um parâmetro com o mesmo nome que o parâmetro dentro do módulo que contém o bloco gerado.


Abordado Software Relacionado

Aclit

backup e restaurar POSIX ACLs em sistemas de arquivos Linux ...

63

Download

Spamwars.

uma proteção anti-spam 100% eficiente, sem perda de correspondência de boa fé ...

132

Download