Au lieu des matrices de constantes auxquelles les horloges de l'automate programmable sont traditionnellement comparées et qui proviennent des méthodologies de vérification, on a utilisé des vecteurs de variables d'horloges.
Anstelle von Matrizen mit Konstanten für den Taktabgleich der zeitgesteuerten Automaten mithilfe von Überprüfungsmethoden wurden Vektoren der Taktvariablen eingesetzt.cordis cordis