An apparatus and method are provided for identifying functionally
sensitized data paths in a logic circuit and storing the identified data
paths in a representation of the logic circuit. The representation of the
logic circuit includes a single occurrence of each identified data path
along with a variable for each single name or path segment identified. The
variable represents a number of times that path segment or signal name was
functionally sensitized.
Ein Apparat und eine Methode werden für das Kennzeichnen der funktionell sensibilisierten Datenwege in einer Koinzidenzschaltung und die Speicherung der gekennzeichneten Datenwege in einer Darstellung der Koinzidenzschaltung zur Verfügung gestellt. Die Darstellung der Koinzidenzschaltung schließt ein einzelnes Auftreten jedes gekennzeichneten Datenweges zusammen mit einer Variable für jedes einzelne gekennzeichnete Name oder Wegsegment ein. Die Variable stellt eine Anzahl von Zeiten dar, die Wegsegment oder Signalname funktionell sensibilisiert wurden.
