weiter oberhalb

Verfahren nach Anspruch 1 oder 2, bei dem der Bewertungsschritt für jeden der Taktzyklen durchgeführt wird und folgende Unterschritte aufweist: a) Bestimmen, ob ein Schaltkreiselement ein getaktes oder ein nichtgetaktes Schaltkreiselement ist (654); b) Speichern der logischen Zustände eines jeden getakteten Schaltkreiselements für die Verarbeitung an unterschiedlichen Taktzyklen; c) Speichern der logischen Zustände der Ausgänge eines jeden nichtgetakteten Schaltkreiselements; d) Verändern des logischen Zustands eines jeden Eingangs eines jeden nichtgetakteten Schaltkreiselements jeweils separat, um festzustellen, ob der Wechsel im logischen Eingangszustand den logischen Ausgangszustand beeinflußt (664); e) Eliminieren von weiter oberhalb liegenden Signalpfaden für jeden Eingang, wenn eine Veränderung des logischen Zustands des Eingangs den logischen Ausgangszustand nicht beeinflußt; und f) erneutes Speichern eines veränderten logischen Eingangszustands, bevor der logische Zustand eines anderen Eingangs verändert wird.

The method according to claim 1 or 2, wherein the evaluating step is performed for each one of the clock cycles and comprises the sub-steps of: a) determining if a circuit element is a clocked or a non-clocked circuit element (654); b) storing the logic states of each clocked circuit element for processing at a different one of said clock cycles; c) storing the logic states of the outputs of each non-clocked circuit element; d) changing the logic state of each input of each non-clocked circuit element separately to determine if the change in input logic state affects the output logic state (664); e) eliminating signal paths upstream of each input when a change in logic state of the input does not affect the output logic state; and f) restoring a changed input logic state before changing the logic state of another input.