Formal automated methodology for optimal signal integrity characterization of cell libraries

摘要

A method for formal automated signal analysis upon elements of a design of a electronic circuit. The method includes (1) categorizing said elements into one of a plurality of types; (2) initiating a technique for characterizing the immunity of said given element to electrical signal effects, and (3) 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.