CONDITIONAL PHASE ALGEBRA FOR CLOCK ANALYSIS

摘要

A design tool can implement phase algebra based design evaluation to evaluate a circuit design with a compact representation of numerous waveforms without simulating the individual waveforms. The design tool can determine two or more input sequences of signal transition representations associated with an input net of an indicated component in an RTL circuit design, where the two or more input sequences of signal transition representations are associated with a mode element. Each signal transition representation represents a nondeterministic transition from a previous signal state to possible signal state(s). The mode element indicates a selection between two or more output sequences of signal transition representations. It is determined, based on the indicated component and the mode element, two or more output sequences of signal transition representations derived from the input sequence(s) of signal transition representations.

主权项

1. A method comprising:
determining two or more input sequences of signal transition representations associated with a first input net of an indicated component in a register transfer level circuit design, wherein
the two or more input sequences of signal transition representations are associated with a mode element,each signal transition representation represents a nondeterministic transition from a previous signal state to a set of one or more possible signal states, andthe mode element indicates a selection between two or more sequences of signal transition representations; and determining, based on the indicated component and the mode element, two or more output sequences of signal transition representations derived from the two or more input sequences of signal transition representations.