Couvert Outil d'analyse de couverture de code Verilog gratuit et open source
Télécharger maintenant

Couvert Classement & Résumé

Couvert Mots clés

lire produire analyser Lire le fichier Verilog l'analyse des fichiers Verilog Générer CDD

Couvert La description

Outil d'analyse de couverture de code Verilog gratuit et open source Verilog Lectures couvertes dans les fichiers de conception Verilog et un VCD ou LXT formaté Dumpfile à partir d'une exécution de diagnostic et génère un fichier de base de données appelé fichier de base de données de description de couverture (CDD), à l'aide de la commande Score. La commande de marque de couverture peut également être utilisée pour générer un fichier CDD et un module Verilog pour l'utilisation du module VPI dans une testbench qui peut obtenir des informations de couverture en parallèle avec la simulation. Le fichier CDD résultant peut être fusionné avec d'autres fichiers CDD à partir de la même conception pour créer une couverture accumulée, à l'aide de la commande FusionGE. Une fois qu'un fichier CDD est créé, l'utilisateur peut utiliser Cover pour générer divers rapports de couverture lisibles par l'homme dans un format ASCII ou utiliser l'interface graphique de l'utilisateur pour examiner de manière interactive les résultats de la couverture, à l'aide de la commande de rapport. De plus, dans le cadre de la commande de score de Cover, les possibilités de condition de course figurent dans les fichiers de conception et peuvent être signalées comme des erreurs, Ignoredor marquée comme des avertissements. En spécifiant des conditions de race comme étant des erreurs, couvert peut également être utilisé comme un vérificateur de condition de course.Vovered prend actuellement en charge Verilog-1995, Verilog-2001 (à l'exception des blocs de configuration actuellement) et de certaines constructions SystemVerilog. Les métriques générées sont les suivantes: · Couverture de la ligne · Couverture à bascule · Couverture de la mémoire · Couverture de la logique combinatoire · Couverture de l'état FSM et de la transition de l'état · Assesstion (fonctionnelle) Couverture Quoi de neuf dans cette version: · Ajout de support pour $ aléatoire et $ urandom system appels à une couverture inlined. · Inclut toutes les corrections apportées à la libération stable de 0,7,5.5. · Ajout de la prise en charge des appels système $ PlusArgs à une couverture inlined. · Distance de la réparation avec les déclarations générées. · Ajout de la documentation de l'utilisateur pour les options de flux de couverture inlinettes et de score. · Élément de fixation avec le code généré interrompt les relevés d'affectation séparés par des virgules. · La simplification du code effectué et l'amélioration des performances avec la manière dont les déclarations ont été traitées en interne. · Supprimé les appels inutiles vers des fonctions de simulation lors de l'utilisation d'une couverture de code inlinette (cela a ajouté une pénalité de performance). · Amélioration des performances du générateur de code inliné pour le dimensionnement des signaux générés. · Problèmes d'indexation de la mémoire fixe liés à la couverture de la mémoire. · Ajout de la prise en charge de la fonction statique et des opérateurs ternaires statiques pour une couverture de code inlinette. · Ajout de code pour différencier les fonctions utilisées de manière statique et ne pas faire la bonne chose pour une accumulation d'accumulation de couverture de code inlinettes. · Ajout du script VCD_DIFF qui vérifie la sortie Dumpfile à partir de fichiers de conception non inlinés et inlinés pour vérifier que le générateur de code inlinécule ne change pas le résultat. Ce chèque fait maintenant partie de toutes les pistes de régression inlinettes. · A apporté plusieurs améliorations de performance au lecteur de fichiers VCD. Le lecteur est maintenant de 10 à 20% plus rapide. · Ajout de la prise en charge des régressions Verilator exécute et a porté quelques diagnostics au format Verilator. · Ajout de la vérification pour vous assurer qu'un fichier CDD sans réglage de mode inlinédique qui lit un fichier VCD contenant des données de couverture inlinettes émet une erreur à l'utilisateur et sort gracieusement. · Ajout d'une option de score de profondeur-peigne ajoutée pour permettre à l'utilisateur de spécifier une profondeur de couverture de combinaison de combinaison moins profonde à générer - améliorant la simulation inlinette et la performance de couverture. · Pour les exécutions de Verilator, des pragmes insérés autour des signaux d'expression de logique combinés intermédiaires pour les exclure d'être la sortie des fichiers VCD. Cela améliore les performances de la simulation et de la couverture pour les exécutions Verilator (d'autres simulateurs qui ont un VPI qui retirent automatiquement ces signaux de la génération de rappels de changement). · Effectuer un code remplacer de certains code réel avec des valeurs d'expression intermédiaire pré-calculées pour d'autres améliorations de performance de la simulation. · Ajout de l'option "E" aux métriques de ligne qui permet une couverture d'événement d'être activée / désactivée indépendamment d'une autre couverture logique de combinaison. Cela permet d'autres simulations et des améliorations de la performance de la couverture (en particulier pour les exécutions de verilator). · Ajout d'une optimisation qui provoque la sauvegarde de la génération de code pour les fichiers d'affirmation lorsque la couverture d'affirmation n'est pas requise. · Les régressions complètes fonctionnent désormais proprement avec tous les changements de code.

Couvert Logiciels associés