Voici un exemple de fichier de vecteur de test :
# mon vecteur de test pour add32 A[8] B[8] C[8] Cin Cout 0000_0000 0000_0000 0000_0000 0 0 -2 0x05 3 0 0 0 0o3 3 0 0
Avant tout, le format de fichier est simple. Les en-têtes correspondent aux broches d'entrée/sortie du circuit. En dessous se trouvent les valeurs à tester.
La première ligne non vide et non commentaire liste le nom de chaque broche d'entrée du circuit et sa largeur en bits (si > 1), séparés par des espaces.
Une chose qui déroute souvent les débutants est que la largeur en bits doit être spécifiée dans l'en-tête chaque fois qu'elle n'est pas de 1 bit.
NOTE : La largeur en bits n'est pas nécessairement la même que le nombre de caractères dans la valeur. Par exemple, une valeur de 4 bits de 13 peut être représentée comme 1101, 00001101, 0x0d, 0o15, 15, ou 0b1101, etc.
Les lignes vides sont ignorées. Tout ce qui suit un caractère '#' est un commentaire. La première ligne non vide et non commentaire liste le nom de chaque broche d'entrée du circuit et sa largeur (si > 1), séparés par des espaces.
Les lignes restantes listent chaque valeur séparée par des espaces. Les valeurs peuvent être en hexadécimal, octal, binaire ou décimal signé. Les valeurs hexadécimales doivent avoir le préfixe '0x'. Les valeurs octales doivent avoir le préfixe '0o'. Le binaire et le décimal sont distingués par le nombre de chiffres : les valeurs binaires doivent toujours avoir exactement autant de chiffres que la largeur de la colonne ; les valeurs décimales doivent toujours en avoir moins, ne doivent pas avoir de zéros en tête, et peuvent avoir un signe négatif.
Pour améliorer la lisibilité, vous pouvez utiliser des underscores (_) n'importe où
dans les valeurs numériques. Les underscores sont ignorés lors de l'analyse. Exemples :
0x0000_1111, 0o1234_5670, 1111_0000,
1_234, ou -5_000.
Pour les valeurs hexadécimales, octales et binaires, un chiffre 'x' spécifie quatre, trois ou un bit "peu importe". Ainsi, la valeur 101xx est une valeur binaire de cinq bits, avec les deux derniers bits non spécifiés, et 0x1ax5 est une valeur hexadécimale avec quatre bits non spécifiés. De tels "peu importe" ne peuvent pas être utilisés en notation décimale.
Précédent : Fenêtre Vecteur de test | Suivant : Valeurs spéciales.