Boolsches System mit Zeitglieder beschreiben

Ne nicht ganz simulieren. Ich möchte Testen.

Ein Beispiel:
Jemand hat ein XOR Gatter auf den Controller programmiert. Nun kann er ja das falsch programmiert haben. Das will ich mit LabView testen. Die Beschreibung eines XOR Gatter ist wie folgt:
E1 E2 A1
0 0 0
0 1 1
1 0 1
1 1 0
so das LabView bekommt jetzt diese Tabelle. Denn wenn ich ein UND Gatter habe, will ich nicht ein neues LabView Programm schreiben, sondern über Excel die obige Tabelle übertragen.

LabView nimmt die Daten und tut folgendes:
E1 auf 0 setzen, E2 auf 0 setzen. Wenn A1 = 0 ist AUsgabe richtig, andernfalls Ausgabe Fehler
E1 auf 0 setzen, E2 auf 1 setzen. Wenn A1 = 1 ist AUsgabe richtig, andernfalls Ausgabe Fehler
usw....

mit diesem LabView programm kann ich dann jedes Gatter und jede belibige Gatterverknüofung testen indem ich die obige Tabelle in Excel eintrage.

Wenn ich aber jetzt noch ein SR-FlipFlop habe und ein Halteglied und das alles miteinander Verknüpft, weiß ich nicht wie ich die Informationen in Excel darstellen soll um dem LabView meine gesamtes System zu erklären. Eine Beschreibungsmöglichkeit wäre zB Impulsdiagramme. Aber bei 10 Ein und Ausgängen wird man sehr viele Fehler machen die Impulsdiagramme zu erstellen.

In der Regelungstechnik macht man sowas über Laplace. Man bekommt einen Wirkplan mit Integrierer, Differenzierer und Multipliziere erstellt daraus die Laplace Transformierte und das System ist Lückenlos, vollständig beschrieben.

Und sowas in der Art bräuchte ich für die logischen Operatoren mit FlipFlop und Halteglieder und Einschaltverzögerer.

Ich hoffe das wurde etwas klarer. Mir fällt absolut nix ein.