Ce score de complexité est destiné à être utile pour la vérification de conduire des plans de test. Heureusement, les concepteurs RTL peuvent utiliser cet outil comme un moyen de gérer la complexité de la conception et comme un guide pour apprendre efficacement la structure des conceptions existantes.
La complexité outil HDL est un outil simple pour fournir des données de mesure. Le concept de conduite étant que vous ne pouvez pas contrôler ce que vous ne pouvez pas mesurer. Nous avons l'intention d'utiliser la recherche existante pour développer un outil qui fonctionne bien sur un ensemble de projets réels.
Les données de défauts réels seront utilisés pour tester la complexité comme une technique pour identifier les composants à risque. Dessins réels seront mesurés afin de déterminer quelles sont les utilisations pratiques de HCT. En fin de compte, cet outil devrait être pratiquement utile à toute personne la conception et / ou la vérification d'un projet matériel complexe.
POSE
& Nbsp; 1. Télécharger dernières sources de http://www.sourceforge.net/hct
& Nbsp; 2. Décompressez les fichiers dans un répertoire
& Nbsp; 3. Exécuter: perl ./install.pl dans ce répertoire
& Nbsp; ** Si vous souhaitez installer sur un système de boîte * nix large, s'il vous plaît en tant que root
& Nbsp; 4. Suivez les instructions de l'installateur
DESIGN
Le HCT est en constante évolution. Nous commençons avec une analyse de complexité cyclomatique McCabe à comprendre la complexité branche. Ensuite, nous améliorons ce avec des scores de complexité plus sophistiqués qui sont calibrées avec des données réelles de défauts.
Une bonne base sur cette technologie est disponible. S'il vous plaît se référer à "Mesure de la complexité des modèles de HDL" par Michael Shaefers. Après nous avons quelques extraits que nous utilisons comme critères de conception pour HCT.
Il ya quelques facteurs de complexité HDL qui sont définis dans ce document:
- La taille
- Nidification
- Flux de contrôle
- Flux d'information
- Hiérarchie
- Localité
- La régularité
- Modularité
- Couplage (des modules ou des instances)
- La concurrence
- Calendrier
Dans ce document, l'idée de la complexité psychologique de HDL est introduit et les aspects communs ainsi que les différences de la complexité de la conception des logiciels contre le matériel sont analysées. Le point est que un bon score de complexité doit adhérer à six règles:
1. La mesure doit être basée sur une fondation formelle
2. La mesure doit être intuitive
3. Les modèles en cours de développement doivent être mesurables
4. Un modèle structuré doit être mesurée comme étant moins complexe que d'une version non structurées
5. Ajout de nouvelles pièces au modèle il faut augmenter la complexité
6. Le remplacement d'une partie du modèle par une partie plus complexe doit accroître la complexité
Ce sont six nobles objectifs lorsque vous commencez à penser à eux. La transitivité implicite par eux va être difficile à atteindre. Cependant, nous tournons pour cela et devons l'utiliser comme un phare.
Nous aurons besoin des utilisateurs en corrélation avec leur histoire de défaut d'affiner nos tentatives. Itération sur un cadre pur et simple analyse et de calcul générique est la clé de la conception itérative efficace. Nous devons nous concentrer sur l'architecture logicielle d'une élégance de notre langue choisie de mise en œuvre.
L'objectif final étant de marquer correctement la complexité psychologique des blocs matériels dans toute HDL et l'utiliser pour prédire les taux de défaut et les risques d'horaire
Ce qui est nouveau dans cette version:.
- Cette version est entièrement redessiné pour des résultats précis de mesure McCabe Cyclomatic complexité, octets de code, octets de commentaires, divers rapports et un système de classement que vous pouvez utiliser pour comprendre la complexit de tous les modules un projet.
- Il fonctionne à la fois sur la ligne Verilog et cyclicité CDL et de commandement de soutien et de formats de sortie CSV.
Exigences :
- Perl
Commentaires non trouvées