Ouvrir l'Analyse Combinatoire

L'essentiel du module d'Analyse Combinatoire est accessible par une seule fenêtre du même nom qui vous permet de voir la table de vérité et les expressions booléennes. Cette fenêtre s'ouvre de deux manières.

Via le menu Window

Sélectionnez l'analyse combinatoire et la fenêtre "Analyse Combinatoire" apparaîtra. Si vous n'avez encore jamais vu cette fenêtre, cette dernière ne représente aucun circuit.

Il ne peut y avoir qu'une seule fenêtre "Analyse Combinatoire" dans Logisim, quel que soit le nombre de projets ouverts. Il n'y a aucun moyen d'ouvrir deux fenêtre "Analyse Combinatoire" en même temps.

Via le menu Projet

Depuis une fenêtre d'édition de circuit, il est aussi possible de demander à Logisim l'analyse du circuit courant en sélectionnant l'option "Analyser le circuit" depuis le menu Projet. Avant que Logisim ouvre la fenêtre, il va élaborer les expression booléennes et la table de vérité correspondante au circuit et les afficher pour la visualisation.

Pour qu'une analyse soir couronnée de succès, chaque entrée doit être liée à un pin d'entrée et chaque sortie à un pin de sortie. Logisim n'analysera que les circuits avec au plus huit entrées ou huit sorties, et toutes devront être des pin simples. Dans le cas contraire, vous verrez un message d'erreur et la fenêtre n'apparaîtra pas.

Dans l'élaboration d'expressions booléennes correspondant à un circuit, Logisim essayera d'abord de construire une expression booléenne correspondant exactement aux portes logiques du circuit. Mais si le circuit utilise des composants qui ne sont pas des portes logiques (comme par exemple un multiplexeur), ou si le circuit a plus de 100 niveaux de profondeur (imporbable), alors il affichera une boîte de dialogue pour vous avertir qu'il n'est pas possible de dériver des expressions booléennes et Logisim va à la place dériver des expressions basées sur la table de vérité qui sera elle-même dérivée en testant (silencieusement) chaque combinaison en entrée et en lisant le résultat en sortie (méthode brute-force).

Après l'analyse du circuit, il n'y pas de liaison entre le circuit et l'analyse combinatoire. Ce qui veut dire que des changements dans le circuit ne vont pas être reflétés dans la fenêtre et des changements dans les expressions booléennes et/ou la table de vérité n'auront pas d'impact sur le circuit. Vous pouvez bien sûr toujours ré-analyser le circuit; et comme nous le verrons plus tard, vous pouvez remplacer le circuit par un circuit correspondant à ce qui apparaît dans la fenêtre d'analyse combinatoire.

Limitations

Logisim n'essayera pas de détecter des circuits séquentiels: si vous demandez l'analyse d'un circuit séquentiel, il créera une table de vérité et les expressions booléennes correspondantes, bien que cela ne reflétera pas correctement le comportement du circuit. (En fait la détection de circuits séquentiels peut être prouvée comme impossible), comme cela reviendrait à résoudre le problème de l'arrêt. Vous pouvez bien sûr espérer que Logisim fera quelques essais - mais ce n'est pas le cas.) En conséquence, le système d'analyse combinatoire ne devrait pas être utilisé sans discernement: ne l'utilisez que si vous être sûrs que le circuit à analyser est vraiment combinatoire!

Logisim effectuera peut-être des changements inattendus au circuit original: le système d'analyse combinatoire exige que chaque entrée et sortie ait un nom unique qui soit conforme aux règles des identifiants Java. (En gros, chaque caractère doit être soir une lettre, soir un chiffre and le premier caractère doit être une lettre. Les espaces ne sont pas autorisés!) Il essaye d'utiliser les labels existants des pins and d'utiliser une liste de valeurs par défaut si les labels n'existent pas. Si un seul label ne respecte pas les règles des identifiants Java, alors Logisim essayera si possible d'inférer un label valide.

Incidemment, l'ordre des entrées dans la table de vérité correspondra à l'ordre descendant dans le circuit original, avec des liens découpés dans l'ordre gauche-droite. (Le même ordre s'applique pour les

Suivant: Editer la table de vérité.