Code Coverage

En option pour ModelSim Designer, PE et LE, inclus dans ModelSim SE

Cette technique permet de vérifier l'efficacité des " Test Bench " de vos designs. Vérifier que toutes les lignes de code ont été exécutées est une chose, mais de savoir dans quels cas elles l'ont été en est une autre. Outre l'aspect de vérification qu'apporte la couverture de code, certaines normes comme la DO254*** ou la EN 50129*** imposent l'emploi de cette technique à des fins de sécurité. ModelSim est référencé sur le site internet dédié à la DO254 comme outil de simulation qui s'efforce d'intégrer les caractéristiques propres de cette norme.

Le fait que la couverture de code fasse directement partie du noyau de ModelSim, permet d'obtenir les meilleures performances possibles. D'autres outils ont besoin de s'interfacer avec un simulateur tierce ce qui ralenti le simulateur.

Principales caractéristiques de la couverture de code de ModelSim:

• Réalisé par instance dans un design : permet de savoir si une ligne de code a été exécutée ou non mais aussi de savoir dans quelle instance elle l'a été.
• La couverture de code supporte aussi bien le VHDL , le Verilog que les designs en langages mixtes.
• Directement accessible depuis l'interface graphique de ModelSim, sa mise en oeuvre est rapide et simple.
• Gestion des branches conditionnelles pour le " if " ou le " case ".
• Vérification dans les expressions : un rapport permet de voir en détail les différents cas rencontrés.
• Vérification de signaux spécifiques : l'outil analyse alors le passage par 0 et 1 mais aussi par l'état Z, ce qui permet de vérifier les signaux de type Bus.
• Exécution possible en mode batch. Les résultats peuvent être visualisés ultérieurement depuis l'interface graphique.
• La couverture de code est cumulative entre différents "Test Bench".

Utilisée pendant la simulation présynthèse, un analyseur de couverture de code récupère des données qui indiquent si le fichier "Test Bench" a bien sollicité toute les portions d'un design HDL. En effet le code HDL non exécuté pourra générer des erreurs de conception qui ne seront détectées que fort tard.

*** DO254: (Design Assurance Guidance for Airborne Electronic Hardware) A l'instar de la certification logicielle pour l'aéronautique , la DO254 en est l'équivalent pour la conception électronique matérielle .Les rapports de couverture de code générés par ModelSim (Designer, PE, LE ou SE) constituent une contribution importante pour tout projet devant répondre à la certification matérielle DO254. Le site internet officiel est: http://www.do254.org.

*** EN50129: est une norme CENELEC (Comité Européen de la Normalisation Electrotechnique) pour la conception électronique dans le domaine ferroviaire. Les rapports de couverture de code générés par ModelSim (Designer, PE, LE ou SE) constituent une contribution importante pour tout projet devant répondre à la certification matérielle EN50129. Le site internet officiel est: http://www.cenelec.org.

Documentation sur Code Coverage                               Note d'application

Solution Mentor pour la DO254

Ce produit vous intéresse ? contactez-nous

 

Haut de la page