Formal automated methodology for optimal signal integrity characterization of cell libraries

An article comprising a computer readable medium having instructions stored thereon which when executed causes formal automated signal analysis upon elements of a design of a electronic circuit, said analysis including:

• categorizing a given one of said elements into one of a plurality of types;
• initiating a technique for characterizing the immunity of said given element to electrical signal effects, said technique appropriate for said categorized type, said technique yielding results capable of being verified by non-automated signal analysis;
• and
• determining, based on said characterizing, whether a signal integrity violation will occur as a result of said given element, and if a violation will occur, how said violation could be repaired.

A method for formal automated signal analysis upon elements of a design of a electronic circuit, comprising:

• categorizing a given one of said elements into one of a plurality of types;
• initiating a technique for characterizing the drive strength in terms of its electrical resistance of said given element to electrical signal effects, said technique appropriate for said categorized type, said technique yielding results capable of being verified by non-automated signal analysis;
• and
• determining, based on said characterizing, a table of resistance values used in determining the magnitude of signal integrity violation that will occur as a result of said given element, and if a violation will occur, how said violation could be repaired.