Tool für automatisierte Prüfung von Logic Analyzer Aufzeichnung?

Hallo,

ich frage mich ob es ein Tool gibt, mit dem man die Aufzeichnung eines 
Logic Analyzers automatisiert prüfen kann. Mit "automatisiert" meine 
ich, dass ich in irgendeiner Form die erwarteten Signale definieren kann 
und das dann mit der Aufzeichnung verglichen wird und etwaige 
Abweichungen dann ausgegeben werden.

Ich kenne bisher nur zwei (drei) Möglichkeiten:
1) Sofern der LA Sigrok-kompatibel ist einen entsprechenden Decoder 
schreiben
2) Die LA-Aufzeichnung in eine Datei und ein Format packen, welches mit 
einer HDL-Testbench ausgewertet wird
3) Automatisierung über Labview o.ä.

Nummer drei bedingt vmtl. separate Hardware, um die Signale einzulesen - 
da es mir um ein Tool für Logic Analyzer geht, scheidet das eigentlich 
dann aus (außer der LA wird von solch einem Tool unterstützt).

Vorausgesetzt ich hab nicht völlig falsche Suchbegriffe verwendet, dann 
scheint es ansonsten nichts zu geben, mit dem man automatisiert eine 
LA-Aufzeichnung gegenprüfen kann. Mir ist klar, dass man das ab einer 
gewissen Komplexität nicht völlig automatisieren kann, da wird es 
vermutlich immer noch einen manuellen Blick auf die Diagramme brauchen. 
Es geht mir auch nicht unbedingt um die Prüfung von Timings bis in die 
letzte Picosekunde, sondern eher auf Logikebene, also beispielsweise 
Protokolle oder ob ein Port eines Mikrocontrollers passend reagiert, 
wenn ein entsprechender Befehl kam (hier ist vom Timing her höchstens 
interessant, wieviel Zeit zwischen Empfang des Befehls und Reaktion 
vergeht).
Da ich nichts gefunden habe, frage ich mich ob es tatsächlich nix gibt 
oder ob ich die falschen Suchbegriffe verwendet hab.

Grüße