Back to results
US 5,212,783 AGranted
System which directionally sums signals for identifying and resolving timing inconsistencies
AssigneeDigital Equipment Corporation
InventorSteven K. Sherman
Life of this patent
Estimating the term…
Abstract
Method and means for storing and analyzing timing information for electronic components and systems. Timing intervals and state transitions are represented as the edges and vertices, respectively, of a graph. Timing inconsistencies are detected where graph edges form a closed loop, and the sum of the values of the edges around the loop (taking account of path direction and interval signs) is non-zero. After identifying timing inconsistencies, the invention indicates which, if any, timing dependences are eligible for adjustment to bring the edge sum to zero and thereby alleviate the inconsistency.
Claims14
Apparatus for detecting incompatibilities among related signals, the apparatus comprising:
- a. memory means for storing data representative of relationships among a plurality of signals, the data for each signal relationship including a comparison parameter, a time interval having magnitude and direction, a signal location and a priority level;
- b. output means for communicating with a user;
- and
- c. processor means for detecting incompatibilities among the signals characterized by the data, such means including
- i. means for identifying at least one group of signals characterized by locations and timing intervals that are related to one another as a loop;
- ii. means for determining whether the sum of the time intervals within the loop, taking account of interval directions, equals zero;
- and
- iii. means for causing the output means to report compatibility among the signals in each group in which the sum equals zero.
5 more elements
Apparatus for detecting incompatibilities among related signals, the apparatus comprising:
- a. memory means for storing data representative of relationships among a plurality of signals, the data for each signal relationship including a comparison parameter, a time interval having magnitude and direction, a signal location and a priority level;
- b. output means for communicating with a user;
- and
- c. processor means for detecting incompatibilities among the signals characterized by the data, such means including
- i. means for identifying at least one group of signals characterized by locations and timing intervals that are related to one another as a loop;
- ii. means for determining whether the sum of the time intervals within the loop, taking account of interval directions, equals zero;
- iii. means for causing the output means to report compatibility among the signals in each group in which the sum equals zero;
- v. means for searching for at least one signal relationship eligible for conversion to a lower priority level if said sum does not equal zero;
- and
- vi. means for altering the timing interval of each eligible signal relationship to bring said sum to zero.
7 more elements
Apparatus for detecting incompatibilities among related signals, the apparatus comprising:
- a. first memory means for storing data representative of relationships among a plurality of signals, the data for each signal relationship including a comparison parameter, a time interval having magnitude and direction, two signal transitions and a priority level;
- b. second memory means for storing graphical signal-relationship data;
- and
- c. processor means for detecting incompatibilities among the signals characterized by the data stored in the first memory means, such means including
- i. means for constructing, in the second memory means, a graph representative of the data in the first memory means, the vertices of the graph corresponding to the signal transitions and the edges of the graph corresponding to and having values representative of the time intervals;
- ii. means for analyzing the data to identify loops within the graph;
- iii. means for calculating the sums of the edge values of each loop, taking account of interval directions;
- iv. means for identifying signal relationships eligible for conversion to a lower priority level;
- v. means for searching, in each loop in which the sum of the edge values is non-zero, for at least one signal relationship identified as eligible for conversion to a lower priority level so that its edge value may be altered to bring the sum of the edge values of the loop to zero;
- and
- d. output means for communicating each such signal relationship to a user.
8 more elements
A method of detecting incompatibilities among related signals, the method comprising the steps of:
- a. electronically storing data representative of relationships among a plurality of signals, the data for each relationship including a comparison parameter, a time interval having magnitude and direction, a signal location and a priority level;
- b. processing the stored data to identify at least one group of signals characterized by locations and timing intervals that are related to one another as a loop;
- c. determining whether the sum of the time intervals within the loop, taking account of interval directions, equals zero;
- and
- d. if so, reporting that the signals within the loop are compatible.
2 more elements
A method of detecting incompatibilities among related signals, the method comprising the steps of:
- a. electronically storing data representative of relationships among a plurality of signals, the data for each signal relationship including a comparison parameter, a time interval having magnitude and direction, two signal transitions and a priority level;
- b. constructing an electronic representation of a graph exemplifying the data, the vertices of the graph corresponding to the transitions and the edges of the graph corresponding to and having values corresponding to the time intervals;
- c. identifying loops within the graph;
- d. calculating the sums of the edge values of each loop, taking account of interval directions;
- e. identifying signal relationships eligible for conversion to a lower priority level;
- and
- f. for each loop in which the sum of the edge values is non-zero, searching for at least one signal relationship identified as eligible for conversion to a lower priority level so that its edge value may be altered to bring the sum of the edge values of the loop to zero;
- and
- g. communicating each such signal relationship to a user.
6 more elements
Dependencies are inferred from the claim text.