Method and apparatus for back-annotating timing constraints into simulation models of field programmable gate arrays

Claim 2

In a computer system comprising a processor coupled to a bus, a memory coupled to said bus and an input/output device coupled to said bus, a process for accurately distributing time delays in a simulation model of a programmable logic device containing a plurality of cells, said process comprising the computer implemented steps of: receiving and storing in said memory timing information characteristic of said programmable logic device being programmed by mapping, placing and routing an abstract representation of a logic design including a plurality of primitives into the programmable logic device, said timing information comprising: allowable values of timing constraints of said primitives; and pin-to-pin timing constraints associated with an individual cell of said plurality of cells; translating said pin-to-pin timing constraints associated with an individual cell of said plurality of cells into timing constraints associated with individual primitives mapped into said individual cell, said primitives having a set of inputs and a set of outputs, wherein said translating further comprises the computer implemented steps of: characterizing as nodes the inputs and outputs of said sets of inputs and outputs of said primitives, said nodes having predetermined characteristics; forming one or more linear equations using said nodes and said pin-to-pin timing constraints; grouping said one or more of said linear equations into a system of linear equations; solving the system of linear equations to obtain the timing constraints for the individual primitives mapped into said individual cell; and storing in said memory said timing constraints obtained in said step of solving.

Claim 3

A process as defined in claim 1 wherein said step of forming equations further comprises the step of: creating at least one equation representing a DELAY timing constraint, said DELAY timing constraint representing a delay between one of said set of inputs and one of said set of outputs of said primitives.

Claim 4

A process as defined in claim 1 wherein said set of inputs includes a clock input and said step of forming equations further comprises the step of: creating at least one equation representing a SETUP timing constraint, said SETUP timing constraint representing a minimum allowable time between a change on one of said set of inputs and an active edge of said clock input.

Claim 5

A process as defined in claim 1 wherein said set of inputs comprises a clock input and said step of forming equations further comprises the step of: creating at least one equation representing a HOLD timing constraint, said HOLD timing constraint representing a minimum allowable time between an active edge of said clock input and a change on one of said set of inputs.

Claim 6

A process as defined in claim 1 wherein said set of inputs are digital signals having a rising edge and a falling edge and said step of forming equations further comprises the steps of: identifying those of said primitives which have rising active edges and those of said primitives which have falling active edges; creating equations involving timing constraints associated with those of said primitives which have rising active edges; and creating equations involving those of said primitives which have falling active edges which are separate from, but correspond to, said equations involving timing constraints associated with those of said primitives which have rising active edges.

Claim 7

A process as defined in claim 1 wherein said system of linear equations is grouped into columns and rows where each row represents a separate equation and each column represents one of said nodes, said nodes being common to each equation, said grouping step further comprising the steps of: prioritizing the columns based upon said predetermined characteristics of the nodes therein; and sorting the columns by priority to arrange the columns in descending order of priority.

Claim 8

A process as defined in claim 6, said solving step further comprising the steps of: checking the timing constraints obtained against said allowable values of timing constraints to determine if any non-allowable values have been obtained; and permuting columns containing non-allowable values until said non-allowable values are eliminated.

Claim 9

In a computer system comprising a processor coupled to a bus, a memory coupled to said bus and an input/output device coupled to said bus, a process for accurately distributing time delays in a simulation model of a programmable logic device containing a plurality of cells, said process comprising the computer implemented steps of: receiving and storing in said memory timing information characteristic of said programmable logic device being programmed by mapping, placing and routing an abstract representation of a logic design including a plurality of primitives into the programmable logic device, said timing information comprising: allowable values of timing constraints associated said plurality of primitives; and pin-to-pin timing constraints associated with an individual cell of said plurality of cells; translating said pin-to-pin timing constraints associated with an individual cell of said plurality of cells into timing constraints associated with individual primitives mapped into said individual cell, said primitives having a set of inputs and a set of outputs, wherein said translating further comprises the computer implemented steps of: characterizing as nodes the inputs and outputs of said sets of inputs and outputs of said primitives, said nodes having predetermined characteristics; forming one or more linear equations using said nodes and said pin to-pin timing constraints; grouping said one or more of said linear equations into a system of linear equations wherein said system of linear equations is grouped into columns and rows where each row represents a separate equation and each column represents one of said nodes, said nodes being common to each equation, said grouping step further comprising: prioritizing the columns based upon said predetermined characteristics of the nodes therein; sorting the columns by priority to arrange the columns in descending order of priority; solving the linear system of equations to obtain the timing constraints for the individual primitives mapped into said individual cell, said step of solving further comprising: checking the timing constraints obtained against said allowable values of timing constraints to determine if any non-allowable values have been obtained; and permuting columns containing non-allowable values until said non-allowable values are eliminated; and storing in said memory said timing constraints obtained in said step of solving.

Claim 10

In a computer system comprising a processor coupled to a bus, a memory coupled to said bus and an input/output device coupled to said bus, a process for accurately distributing time delays in a simulation model of a programmable logic device containing a plurality of cells, said process comprising the computer implemented steps of: receiving and storing in said memory timing information characteristic of said programmable logic device being programmed by mapping, placing and routing an abstract representation of a logic design including a plurality of primitives into the programmable logic device, said timing information comprising: allowable values of timing constraints associated said plurality of primitives; and pin-to-pin timing constraints associated with an individual cell of said plurality of cells; translating said pin-to-pin timing constraints associated with an individual cell of said plurality of cells into timing constraints associated with individual primitives mapped into said individual cell, said primitives having a set of inputs and a set of outputs, wherein said translating further comprises the computer implemented steps of: characterizing as nodes the inputs and outputs of said sets of inputs and outputs of said primitives, said nodes having predetermined characteristics; forming one or more linear equations using said nodes and said pin to-pin timing constraints; grouping said one or more of said linear equations into a system of linear equations wherein said system of linear equations is grouped into columns and rows where each row represents a separate equation and each column represents one of said nodes, said nodes being common to each equation, said grouping step further comprising: prioritizing the columns based upon said predetermined characteristics of the nodes therein; sorting the columns by priority to arrange the columns in descending order of priority; solving the linear system of equations to obtain the timing constraints for the individual primitives mapped into said individual cell, said step of solving further comprising: checking the timing constraints obtained against said allowable values of timing constraints to determine if any non-allowable values have been obtained; and permuting columns containing non-allowable values until said non-allowable values are eliminated; and storing in said memory said timing constraints obtained in said step of solving.

Claim 11

A process as defined in claim 8, said computer implemented step of forming one or more linear equations further comprising the computer implemented steps of: creating at least one equation representing a DELAY timing constraint, said DELAY timing constraint representing the delay between one of said set of inputs and one of said set of outputs of said primitives; creating at least one equation representing a SETUP timing constraint, said SETUP timing constraint representing a minimum allowable time between a change on one of said set of inputs and an active edge of said clock input; creating at least one equation representing a HOLD timing constraint, said HOLD timing constraint representing a minimum allowable time between a change on one of said set of inputs and an inactive edge of said clock input; identifying those of said primitives which have rising active edges and those of said primitives which have falling active edges; creating equations involving timing constraints associated with those of said primitives which have rising active edges; and creating equations involving those of said primitives which have falling active edges which are separate from, but correspond to, said equations involving timing constraints associated with those of said primitives which have rising active edges.

Claim 12

In a computer system comprising a processor, a memory and an input/output device, a system for accurately distributing time delays in a simulation model of a programmable logic device containing a plurality of cells, said system comprising: computer implemented means for receiving and storing in said memory timing information characteristic of said programmable logic device being programmed by mapping, placing and routing an abstract representation of a logic design comprising a plurality of primitives into the programmable logic device, said timing information comprising: allowable values of timing constraints of said primitives; and pin-to-pin timing constraints associated with an individual cell of said plurality of cells; computer implemented translating means for translating said pin-to-pin timing constraints associated with an individual cell of said plurality of cells into timing constraints associated with individual primitives mapped into said individual cell, said primitives having a set of inputs and a set of outputs, said translating means further comprising: computer implemented means for characterizing as nodes the inputs and outputs of said sets of inputs and outputs of said primitives, said nodes having predetermined characteristics; computer implemented means for forming one or more linear equations using said nodes and said pin-to-pin timing constraints; computer implemented means operatively associated with said means for forming one or more linear equations for grouping the equations into a system of linear equations; computer implemented means operatively associated with the grouping means for solving the system of linear equations to obtain the timing constraints for the individual primitives mapped into said individual cell; and computer implemented means operatively associated with said solving means for storing in said memory said timing constraints obtained in said step of solving.

Claim 13

In a computer system comprising a processor, a memory and an input/output device, a system for accurately distributing time delays in a simulation model of a programmable logic device containing a plurality of cells, said system comprising: computer implemented means for receiving and storing in said memory timing information characteristic of said programmable logic device being programmed by mapping, placing and routing an abstract representation of a logic design comprising a plurality of primitives into the programmable logic device, said timing information comprising: allowable values of timing constraints of said primitives; and pin-to-pin timing constraints associated with an individual cell of said plurality of cells; computer implemented translating means for translating said pin-to-pin timing constraints associated with an individual cell of said plurality of cells into timing constraints associated with individual primitives mapped into said individual cell, said primitives having a set of inputs and a set of outputs, said translating means further comprising: computer implemented means for characterizing as nodes the inputs and outputs of said sets of inputs and outputs of said primitives, said nodes having predetermined characteristics; computer implemented means for forming one or more linear equations using said nodes and said pin-to-pin timing constraints; computer implemented means operatively associated with said means for forming one or more linear equations for grouping the equations into a system of linear equations; computer implemented means operatively associated with the grouping means for solving the system of linear equations to obtain the timing constraints for the individual primitives mapped into said individual cell; and computer implemented means operatively associated with said solving means for storing in said memory said timing constraints obtained in said step of solving.

Claim 14

A system as defined in claim 10 wherein said computer implemented means for forming equations further comprises: means for creating at least one equation representing a DELAY timing constraint, said DELAY timing constraint representing the delay between one of said set of inputs and one of said set of outputs of said primitives.

Claim 15

A system as defined in claim 10 wherein said set of inputs includes a clock input and said computer implemented means for forming equations further includes: means for creating at least one equation representing a SETUP timing constraint, said SETUP timing constraint representing a minimum allowable time between a change on one of said set of inputs and an active edge of said clock input.

Claim 16

A system as defined in claim 10 wherein said set of inputs comprises a clock input and said computer implemented means for forming equations further comprises: means for creating at least one equation representing a HOLD timing constraint, said HOLD timing constraint representing a minimum allowable time between an active edge of said clock input and a change on one of sold set of inputs.

Claim 17

A system as defined in claim 10 wherein said set of inputs are digital signals having a rising edge and a falling edge and said computer implemented means for forming equations further comprises: means for identifying those of said primitives which have rising active edges and those of said primitives which have falling active edges; means for creating equations involving those of said primitives which have falling active edges which are separate from, but correspond to, said equations involving timing constraints associated with those of said primitives which have rising active edges.

Claim 18

A system as defined in claim 10 wherein said system of linear equations is grouped into columns and rows where each row represents a separate equation and each column represents one of said nodes, common to each equation, said computer implemented grouping means further comprising: means for prioritizing the columns based upon said predetermined characteristics of the nodes therein; and means operatively associated with said prioritizing means for sorting the columns by priority to arrange the columns in descending order of priority.

Claim 19

A system as defined in claim 15, said computer implemented solving means further comprising: means for checking the timing constraints obtained against said allowable values of timing constraints to determine if any non-allowable values have been obtained; and means operatively associated with said checking means for permuting columns containing non-allowable values until said non-allowable values are eliminated.

Claim 20

A computer system for accurately distributing timing delays in a simulation model of a programmable logic device containing a plurality of cells, said computer system comprising: a processor coupled to a bus, a memory coupled to said bus and an input/output device coupled to said bus, wherein said processor is programmed to implement: logic receiving and storing in said memory timing information characteristic of said programmable logic device being programmed by mapping, placing and routing an abstract representation of a logic design comprising a plurality of primitives into the programmable logic device, said timing information comprising: allowable values of timing constraints of said primitives; and pin-to-pin timing constraints associated with an individual cell of said plurality of cells; logic translating said pin-to-pin timing constraints associated with an individual cell of said plurality of cells into timing constraints associated with individual primitives mapped into said individual cell, said primitives having a set of inputs and a set of outputs, said logic translating said pin-to-pin timing constraints also comprising: logic characterizing as nodes the inputs and outputs of said sets of inputs and outputs of said primitives, said nodes having predetermined characteristics; logic forming one or more linear equations using said nodes and said pin-to-pin timing constraints; logic grouping the equations into a system of linear equations, said grouping logic operatively associated with said logic forming one or more linear equations; logic solving the system of linear equations to obtain the timing constraints for the individual primitives mapped into said individual cell, said solving logic operatively associated with said grouping logic; and logic storing in said memory said timing constraints obtained in said step of solving, said storing logic operatively associated with said solving logic.

Claim 21

A computer system for accurately distributing timing delays in a simulation model of a programmable logic device containing a plurality of cells, said computer system comprising: a processor coupled to a bus, a memory coupled to said bus and an input/output device coupled to said bus, wherein said processor is programmed to implement: logic receiving and storing in said memory timing information characteristic of said programmable logic device being programmed by mapping, placing and routing an abstract representation of a logic design comprising a plurality of primitives into the programmable logic device, said timing information comprising: allowable values of timing constraints of said primitives; and pin-to-pin timing constraints associated with an individual cell of said plurality of cells; logic translating said pin-to-pin timing constraints associated with an individual cell of said plurality of cells into timing constraints associated with individual primitives mapped into said individual cell, said primitives having a set of inputs and a set of outputs, said logic translating said pin-to-pin timing constraints also comprising: logic characterizing as nodes the inputs and outputs of said sets of inputs and outputs of said primitives, said nodes having predetermined characteristics; logic forming one or more linear equations using said nodes and said pin-to-pin timing constraints; logic grouping the equations into a system of linear equations, said grouping logic operatively associated with said logic forming one or more linear equations; logic solving the system of linear equations to obtain the timing constraints for the individual primitives mapped into said individual cell, said solving logic operatively associated with said grouping logic; and logic storing in said memory said timing constraints obtained in said step of solving, said storing logic operatively associated with said solving logic.

Claim 22

A system as defined in claim 17 wherein said logic forming one or more linear equations further comprises: logic creating at least one equation representing a DELAY timing constraint, said DELAY timing constraint representing the delay between one of said set of inputs and one of said set of outputs of said primitives.

Claim 23

A system as defined in claim 17 wherein said set of inputs includes a clock input and said logic forming one or more linear equations further includes: logic creating at least one equation representing a SETUP timing constraint, said SETUP timing constraint representing a minimum allowable time between a change on one of said set of inputs and an active edge of said clock input.

Claim 24

A system as defined in claim 17 wherein said set of inputs comprises a clock input and said logic forming one or more linear equations further comprises: logic creating at least one equation representing a HOLD timing constraint, said HOLD timing constraint representing a minimum allowable time between a change on one of said set of inputs and an inactive edge of said clock input.

Claim 25

A system as defined in claim 17 wherein said set of inputs are digital signals having a rising edge and a falling edge and said logic forming one or more linear equations further comprises: logic identifying those of said primitives which have rising active edges and those of said primitives which have falling active edges; logic creating equations involving those of said primitives which have falling active edges which are separate from, but correspond to, said equations involving timing constraints associated with those of said primitives which have rising active edges.

Claim 26

A system as defined in claim 17 wherein said system of linear equations is grouped into columns and rows where each row represents a separate equation and each column represents one of said nodes, common to each equation, said grouping logic further comprising: logic prioritizing the columns based upon said predetermined characteristics of the nodes therein; and logic sorting the columns by priority to arrange the columns in descending order of priority, said sorting logic operatively associated with said prioritizing logic.

Claim 27

A system as defined in claim 22, said solving logic further comprising: logic checking the timing constraints obtained against said allowable values of timing constraints to determine if any non-allowable values have been obtained; and logic permuting columns containing non-allowable values until said non-allowable values are eliminated, said permuting logic operatively associated with said checking logic.