Claims Analysis
Total Claims: 10
Claim 1
Independent Claim
252 words
A method of specifying and analyzing multiple timing constraints in an integrated circuit, the steps of the method comprising: (A) receiving and storing in a computer memory a netlist denoting a list of components in said integrated circuit and a set of nodes interconnecting said components; each said component of said integrated circuit having at least one input port and at least one output port, said set of nodes including a set of circuit input nodes and circuit output nodes for said integrated circuit; (B) receiving and storing in said computer memory a plurality of system level timing constraints, said system level timing constraints representing maximum delay times for signals to propagate from input nodes to output nodes of said integrated circuit; (C) receiving and storing in said computer memory data at least one clock timing constraint and a plurality multi-cycle timing constraints, said clock timing constraint and said multi-cycle timing constraints specifying clock based timing constraints for the transmission of data between sequential data elements in which at least a subset of said clock based timing constraints concern timing constraints for duration longer than a single clock period; (D) receiving and storing in said computer memory a plurality of constraint based timing path specifications, each indicating signal paths through said integrated circuit to which specified ones of said multi-cycle timing constraints are applicable and signal paths to which said specified ones of said multi-cycle timing constraints are not applicable; and (E) verifying satisfaction of said timing constraints by said integrated circuit.
Claim 2
Independent Claim
252 words
A method of specifying and analyzing multiple timing constraints in an integrated circuit, the steps of the method comprising: (A) receiving and storing in a computer memory a netlist denoting a list of components in said integrated circuit and a set of nodes interconnecting said components; each said component of said integrated circuit having at least one input port and at least one output port, said set of nodes including a set of circuit input nodes and circuit output nodes for said integrated circuit; (B) receiving and storing in said computer memory a plurality of system level timing constraints, said system level timing constraints representing maximum delay times for signals to propagate from input nodes to output nodes of said integrated circuit; (C) receiving and storing in said computer memory data at least one clock timing constraint and a plurality multi-cycle timing constraints, said clock timing constraint and said multi-cycle timing constraints specifying clock based timing constraints for the transmission of data between sequential data elements in which at least a subset of said clock based timing constraints concern timing constraints for duration longer than a single clock period; (D) receiving and storing in said computer memory a plurality of constraint based timing path specifications, each indicating signal paths through said integrated circuit to which specified ones of said multi-cycle timing constraints are applicable and signal paths to which said specified ones of said multi-cycle timing constraints are not applicable; and (E) verifying satisfaction of said timing constraints by said integrated circuit.
Claim 3
Dependent Claim
69 words
The method of claim 1 wherein said verifying step includes the steps of: propagating signal arrival times at each of said plurality of interconnected components; and back-propagating required signal arrival times at each of said plurality of interconnected components; wherein for multi-cycle timing constraints, signal arrival times and required signal arrival times are propagated and back-propagated only through signal paths consistent with said stored constraint based timing path specifications.
Claim 4
Dependent Claim
41 words
The method of claim 1, further including: (G) passing said netlist, timing constraints and constraint based timing path specifications to a silicon compiler and automatically placing/routing a circuit in accordance with said netlist, timing constraints and constraint based timing path specifications.
Claim 5
Dependent Claim
284 words
A computer aided circuit design system for synthesizing an integrated circuit, comprising: (A) a computer memory; (B) a netlist stored in said computer memory, said netlist denoting a list of components in said integrated circuit and a set of nodes interconnecting said components; each said component of said integrated circuit having at least one input port and at least one output port, said set of nodes including a set of circuit input nodes and circuit output nodes for said integrated circuit; (C) a plurality of system level timing constraints stored in said computer memory, said system level timing constraints representing maximum delay times for signals to propagate from respective ones of said input nodes to respective ones of said output nodes of said integrated circuit; (D) at least one clock timing constraint and a plurality multi-cycle timing constraints, stored in said computer memory, said clock timing constraint and said multi-cycle timing constraints specifying clock based timing constraints for the transmission of data between sequential data elements in which at least a subset of said clock based timing constraints concern timing constraints for duration longer than a single clock period; (E) a plurality of constraint based timing path specifications stored in said memory, each indicating signal paths through said integrated circuit to which specified ones of said multi-cycle timing constraints are applicable and signal paths to which said specified ones of said multi-cycle timing constraints are not applicable; (F) cell delay data stored in said computer memory, said cell delay data representing signal delays associated with said components in said integrated circuit; and (G) a timing verifier for automatically determining whether an integrated circuit designed in accordance with said netlist would satisfy said timing constraints.
Claim 6
Dependent Claim
284 words
A computer aided circuit design system for synthesizing an integrated circuit, comprising: (A) a computer memory; (B) a netlist stored in said computer memory, said netlist denoting a list of components in said integrated circuit and a set of nodes interconnecting said components; each said component of said integrated circuit having at least one input port and at least one output port, said set of nodes including a set of circuit input nodes and circuit output nodes for said integrated circuit; (C) a plurality of system level timing constraints stored in said computer memory, said system level timing constraints representing maximum delay times for signals to propagate from respective ones of said input nodes to respective ones of said output nodes of said integrated circuit; (D) at least one clock timing constraint and a plurality multi-cycle timing constraints, stored in said computer memory, said clock timing constraint and said multi-cycle timing constraints specifying clock based timing constraints for the transmission of data between sequential data elements in which at least a subset of said clock based timing constraints concern timing constraints for duration longer than a single clock period; (E) a plurality of constraint based timing path specifications stored in said memory, each indicating signal paths through said integrated circuit to which specified ones of said multi-cycle timing constraints are applicable and signal paths to which said specified ones of said multi-cycle timing constraints are not applicable; (F) cell delay data stored in said computer memory, said cell delay data representing signal delays associated with said components in said integrated circuit; and (G) a timing verifier for automatically determining whether an integrated circuit designed in accordance with said netlist would satisfy said timing constraints.
Claim 7
Dependent Claim
69 words
The system of claim 4 wherein said timing verifier: propagates signal arrival times at each of said plurality of interconnected components; and back-propagates required signal arrival times at each of said plurality of interconnected components; wherein for multi-cycle timing constraints, signal arrival times and required signal arrival times are propagated and back-propagated by said timing verifier only through signal paths consistent with said stored constraint based timing path specifications.
Claim 8
Dependent Claim
30 words
The system of claim 4, further including: (H) a silicon compiler for automatically placing/routing an integrated circuit in according with said netlist, timing constraints and constraint based timing path specifications.
Claim 9
Dependent Claim
285 words
A computer aided circuit design system for synthesizing an integrated circuit, comprising: (A) a computer memory; (B) a netlist stored in said computer memory, said netlist denoting a list of components in said integrated circuit and a set of nodes interconnecting said components; each said component of said integrated circuit having at least one input port and at least one output port, said set of nodes including a set of circuit input nodes and circuit output nodes for said integrated circuit; (C) a plurality of system level timing constraints stored in said computer memory, said system level timing constraints representing maximum delay times for signals to propagate from respective ones of said input nodes to respective ones of said output nodes of said integrated circuit; (D) at least one clock timing constraint and a plurality multi-cycle timing constraints, stored in said computer memory, said clock timing constraint and said multi-cycle timing constraints specifying clock based timing constraints for the transmission of data between sequential data elements in which at least a subset of said clock based timing constraints concern timing constraints for duration longer than a single clock period; (E) a plurality of constraint based timing path specifications stored in said memory, each indicating signal paths through said integrated circuit to which specified ones of said multi-cycle timing constraints are applicable and signal paths to which said specified ones of said multi-cycle timing constraints are not applicable; (F) cell delay data stored in said computer memory, said cell delay data representing signal delays associated with said components in said integrated circuit; and (G) a silicon compiler for automatically placing/routing an integrated circuit in according with said netlist, timing constraints and constraint based timing path specifications.
Claim 10
Dependent Claim
285 words
A computer aided circuit design system for synthesizing an integrated circuit, comprising: (A) a computer memory; (B) a netlist stored in said computer memory, said netlist denoting a list of components in said integrated circuit and a set of nodes interconnecting said components; each said component of said integrated circuit having at least one input port and at least one output port, said set of nodes including a set of circuit input nodes and circuit output nodes for said integrated circuit; (C) a plurality of system level timing constraints stored in said computer memory, said system level timing constraints representing maximum delay times for signals to propagate from respective ones of said input nodes to respective ones of said output nodes of said integrated circuit; (D) at least one clock timing constraint and a plurality multi-cycle timing constraints, stored in said computer memory, said clock timing constraint and said multi-cycle timing constraints specifying clock based timing constraints for the transmission of data between sequential data elements in which at least a subset of said clock based timing constraints concern timing constraints for duration longer than a single clock period; (E) a plurality of constraint based timing path specifications stored in said memory, each indicating signal paths through said integrated circuit to which specified ones of said multi-cycle timing constraints are applicable and signal paths to which said specified ones of said multi-cycle timing constraints are not applicable; (F) cell delay data stored in said computer memory, said cell delay data representing signal delays associated with said components in said integrated circuit; and (G) a silicon compiler for automatically placing/routing an integrated circuit in according with said netlist, timing constraints and constraint based timing path specifications.