# 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.