verilator_coverage_bin_dbg - En ligne dans le cloud

PROGRAMME:

Nom

verilator_coverage - Analyseur de couverture Verilator

SYNOPSIS

verilator_coverage --help
verilator_coverage --version

verilator_coverage --annoter

verilator_coverage -write merged.dat -read ...

Verilator_coverage traite les rapports de couverture Verilator.

Avec --anotate, il lit le fichier de données spécifié et génère le code source annoté avec
métriques de couverture annotées. Si plusieurs points de couverture existent sur la même ligne,
des lignes supplémentaires seront insérées pour signaler les points supplémentaires.

Des arguments Verilog standard supplémentaires spécifient les chemins de recherche nécessaires pour trouver le
code source sur lequel l'analyse de couverture a été effectuée.

Pour obtenir des pourcentages de couverture corrects, vous pouvez lire logs/coverage.pl dans Emacs et
faire une ligne de garde Mx pour n'inclure que les statistiques d'intérêt.

Pour les conditions Verilog qui ne devraient jamais se produire, vous devez ajouter une instruction $stop. Cette
supprimera la couverture lors de la prochaine construction.

ARGUMENTS

nom de fichier
Spécifiez le fichier de données d'entrée, peut être répété pour lire plusieurs entrées. Si aucun fichier de données n'est
spécifié, par défaut, la couverture.dat est lu.

--annoter répertoire de sortie
Spécifie le nom du répertoire que les fichiers source avec des données de couverture annotées doivent être
écrit à.

--annoter-tout
Spécifie que tous les fichiers doivent être affichés. Par défaut, seuls les fichiers sources qui ont
faible couverture sont écrites dans le répertoire de sortie.

--annoter-min compter
Spécifie le nombre d'occurrences minimum qui doit être signalé si le point de couverture
n'inclut pas de seuil spécifié. La valeur par défaut est 10.

--Aidez-moi
Affiche ce message et la version du programme et quitte.

--rang
Imprimez un rapport expérimental énumérant l'importance relative de chaque test dans la couverture
tous les points de couverture. Le rapport indique « Couvert » qui indique le nombre de
les points couverts par le test ; un test est considéré comme couvrant un point s'il a un seau
compte d'au moins 1. La colonne "rang" a un nombre plus élevé t indique que le test est plus
important, et le rang 0 signifie que le test n'a pas besoin d'être exécuté pour couvrir les points.
« RankPts » indique le nombre de points de couverture auxquels ce test contribuera globalement
couverture si tous les tests sont exécutés dans l'ordre du rang le plus élevé au plus faible.

--dissocier
Lors de l'utilisation de --write pour combiner les données de couverture, dissociez tous les fichiers d'entrée après la sortie
a été créé.

--version
Affiche la version du programme et quitte.

--écrivez nom de fichier
Spécifie que les résultats de couverture agrégés, additionnés sur tous les fichiers, doivent être
écrit sur le nom de fichier donné. Ceci est utile dans les scripts pour combiner plusieurs séquences
fonctionne dans un fichier de couverture principal.

VÉRILOGUE ARGUMENTS

Les arguments suivants sont compatibles avec GCC, VCS et la plupart des programmes Verilog.

+libext+poste+poste...
Définit les extensions des fichiers Verilog.

+définir+var+Plus-value =élément -Dvar=Plus-value
Définit la variable donnée.

+indiquer+dir =article -Idir
Spécifie un répertoire pour rechercher les fichiers d'inclusion.

-f filet
Spécifie un fichier contenant des arguments de ligne de commande supplémentaires.

-y dir
Spécifie un répertoire de recherche de module.

DISTRIBUTION

La dernière version est disponible surhttp://www.veripool.org/>.

Copyright 2003-2015 par Wilson Snyder. Verilator est un logiciel libre ; vous pouvez le redistribuer
et/ou modifier les composants internes de Verilator selon les termes du GNU Lesser General
Licence Publique Version 3 ou Perl Artistique Version 2.0.

AUTEURS

Wilson Snyder[email protected]>

Utilisez verilator_coverage_bin_dbg en ligne à l'aide des services onworks.net