allerdings muss ich nachtragen, dass ich nicht wirklich viel von SPS verstehe, insbesondere bereitet es mir Schwierigkeiten mit vorzustellen wie man simultanes Schaltungsverhalten mit einem sequentiellen Programm simulieren könnte...

das Programm stellt doch letztendlich eine sehr große Statemachine dar, deren Zustände über Eingangs und Ausgangssignalen definiert werden.

Ein Brute-Force-Ansatz wäre ein großes Array oder Hash zu bauen, dass die Zustandübergänge abbildet.


Hmm ... im Inf-Nebenfach-Grundstudium haben wir Schaltungslogik als Polynome darstellen müssen und die Aufgabe gehabt diese in eine minimale Darstellung überzuführen. Wortproblem oder so...

Habe das Gefühl die Problematik ist verwandt ...



Du kannst doch Schaltungen bauen die durch Rückbezüge zu unvorhersehbaren Zuständen führen, oder? Wie will man diese simulieren?


Naja nur ein paar Gedanken, das Thema ist mir vielleicht zu hoch ...