An algorithm for the verification of timing diagrams realizability

In this paper, we present a new method for verifying the realizability of a timing diagram with linear timing constraints, thus ensuring that the implementation of the underlying interface is feasible. The method is based on the consistency of the timing constraints derived from the timing diagram and accepts unknown occurrence times for events produced by the environment. Keywords Timing diagrams, timing constraints, consistency, realizability.

• Type: Conference
• Year: 1999
• Where: ISCAS
• Authors: A. El-Aboudi, El Mostapha Aboulhamid
• Keywords: Hardware, ISCAS 1999, Linear Timing Constraints, Timing Constraints, Timing Diagrams