Modeling of phase synchronous circuits
AssigneeIntel Corporation
InventorsMichael Kishinevsky, Timothy Kam, Loic Henry-Greard
Life of this patent
Estimating the term…
Abstract
Embodiments of the present invention generate equations that model a synchronous circuit that contains sequential elements, which may include transparent elements, and a plurality of multiple-phase clocks. Phase-related information is assigned to nodes of the circuit. The phase-related information describes input and output characteristics at nodes of the circuit as the characteristics relate to clock phases. Equations are formed that model signals at the circuit nodes based on the phase-related information.
Claims10
A method of deriving an equation corresponding to a sequential element. of a circuit including at least one multiple-phase clock, comprising:
- assigning first phase-related information to an input signal of said sequential element;
- assigning second phase-related information to an output signal of said sequential element;
- constructing an equation which computes a stable value of said output signal based on said first and second phase-related information;
- and
- using said equation to de-bug said circuit.
(Amended) A computer-uselemed iumtai blyembodying computer-executable instructions, said instructions when executed implementing a process for generating equations that model a circuit including at least one multi-phase clock and a plurality of sequential elements that input and output signals, comprising:
- (i) assigning first phase-related information to said sequential elements and to primary inputs and outputs of said circuit;
- (ii) assigning second phase-related information to said signals based on said first phase-related information;
- and
- (iii) forming equations corresponding to said circuit, said equations representing said signals and incorporating said second phase-related information.
Dependencies are inferred from the claim text.