LES IDE PAR RAPPORT AUX NORMES POUR LA VERIFICATION DE MATERIEL

摘要

→ Avec les plugins appropriés, les IDE peuvent être utilisés pour vérifier non seulement la syntaxe et la sémantique d'un langage, mais aussi tes méthodologies. La vérification est basée sur les règles et les bibliothèques de classe associées à ces normes. Voici quelques références clés qui peuvent être supportées par des IDE dans le domaine de vérification de matériel: → e: le langage de vérification de matériel e est supporté par le produit Specman de la société Cadence (produit par Verisity). Présenté au milieu des années 1990, il est le premier langage largement adopté pour supporter la fonction de Constrained Random Test Génération et la mesure du Coverage. Le langage e est décrit selon le projet de norme IEEE, P1647.