Vérification en ligne de commande

Sous-sections :
Substituer des librairies
Autres options de vérifications
Tester de multiples fichiers
Tester avec des vecteurs de test

Logisim inclut un support de base pour l'exécution de circuits à partir de la ligne de commande. Cela vise à faciliter la vérification par script des conceptions de circuit et à aider les instructeurs à effectuer des tests automatisés des solutions des étudiants.

Nous allons commencer par voir comment lancer un circuit à partir de la ligne de commande. Pour notre exemple, nous supposerons que nous avons construit le circuit ci-dessous dans un fichier nommé adder-test.circ. Il utilise un additionneur à deux bits comme sous-circuit et effectue une itération à l'aide d'un compteur via les 16 entrées possibles.

Une fois ce circuit construit, nous exécutons Logisim à partir de la ligne de commande, en indiquant le nom du projet et l’option -tty et le paramètre table.

java -jar logisim-evolution.jar adder-test.circ -tty table

Sans affichage de la fenêtre graphique, Logisim charge le circuit et commence la simulation, il fait avancer les horloges aussi vite que possible tout en traitant les propagations entre chaque tic. Après chaque propagation, Logisim compare les valeurs générées des broches de sortie. Si des modifications ont été apportées à la propagation précédente, toutes les valeurs sont affichées dans un format délimité par des tabulations. Il est possible de tester la fin de la simulation à l'aide d'une broche spéciale labellisée halt (Sensible au casse). Elle ne s'affiche pas, mais quand elle change d'état vers le niveau haut (1) cela termine la simulation.

Dans notre exemple, Logisim affiche le tableau ci-dessous. Dans notre affichage nous avons trois colonnes a, b et sum. Deux correspondent aux entrées a et b de l'additionneur et sum correspond à la sortie de l'additionneur à deux bits. L'affichage des colonnes dans la sortie console est organisé de gauche à droite et correspond à l'ordre descendant du positionnement des broches dans le schéma du circuit.

00      00      000
01      00      001
10      00      010
11      00      011
00      01      001
01      01      010
10      01      011
11      01      100
00      10      010
01      10      011
10      10      100
11      10      101
00      11      011
01      11      100
10      11      101
11      11      110

Suite : Substituer des librairies.