Schwachstellen

Logisims Ausbreitungsalgorithmus ist mehr als ausgereift genug für fast alle Ausbildungszwecke; aber er ist nicht ausgereift genug für den industriellen Schaltungsentwurf. Um von den meisten verdammenden zu den wenigsten verdammenden zu gelangen, sind die Unzulänglichkeiten von Logisims Ausbreitungstechnik zu nennen:

Abgesehen von der Frage der Gate-Verzögerungen kümmert sich Logisim nicht besonders um Zeitfragen. Er ist sehr idealisiert, so dass ein Paar NOR-Gatter in einer S-R-Latch-Konfiguration unendlich lange im Lockstep toggeln wird, anstatt dass die Schaltung schließlich in einen stabilen Zustand übergeht.
Logisim kann keine Teilschaltungen simulieren, deren Pins sich manchmal als Eingänge und manchmal als Ausgänge verhalten. Mit Java gebaute Komponenten können jedoch solche Pins haben: Innerhalb der eingebauten Bibliotheken enthält der RAM-Schaltkreis der Speicherbibliothek einen D-Pin, der sich sowohl als Eingang als auch als Ausgang verhalten kann.
Logisim bricht seine Simulation nach einer festen Anzahl von Iterationen ab, wobei angenommen wird, dass ein Schwingungsfehler vorliegt. Es ist denkbar, dass eine große Schaltung, die nicht schwingt, zu Problemen führen kann.
Logisim unternimmt nichts bezüglich der Unterscheidung von Spannungspegeln: Ein Bit kann nur an, aus, unspezifiziert oder fehlerhaft sein.
Es gibt auch noch weitere Mängel, die ich ausgelassen habe, weil sie so unklar sind, dass, wenn man sich ihrer bewusst wäre, es offensichtlich wäre, dass Logisim nicht annähernd an dieses Niveau heranreicht. Als extremes Beispiel habe ich einen Freund, der für einen großen Chiphersteller arbeitet, und sein Job ist es, sich über "Blasen" in den nanometerbreiten Drähten der Chips zu sorgen, die wachsen und zu einer zufälligen Trennung führen.
Auch darüber hinaus bin ich kein Schaltungsentwurfsspezialist; es kann also durchaus Fehler in der Ausbreitungstechnik geben, die mir nicht bekannt sind. Ich begrüße Korrekturen von Experten.

Weiter: Leitfaden für Benutzer von Logisim.