Patent ID: 7216314

Claim:
A method for verifying connections of an integrated circuit comprising components connected by said connections, the integrated circuit being defined by a “physical” representation and a “schematic” representation, the physical representation consisting of an assembly of polygons of various types used to form a set of masks for manufacturing the integrated circuit, the schematic representation symbolically defining the circuit components and the connections between these components, the method comprising the steps of: establishing an annotated physical description of the circuit which enables associating with each of said connections of the schematic representation a set of polygons from the assembly of polygons of the physical representation that corresponds to a considered connection, each set of polygons associated with each of said connections forming a track; and analyzing the tracks corresponding to said connections to be verified, by: defining at least one type of electric signal capable of propagating on said connections; defining, for each signal type, one or several rules to be verified by each of the tracks corresponding to the connections on which said electric signal is capable of propagating, specific geometric features of a given track or features relative to the positioning of a given track with respect to other tracks having to be verified for each rule; and determining, for each of said connections to be verified, whether the tracks associated with said connections verify the one or several rules corresponding to the signal types capable of propagating on each of said connections; wherein at least one signal type refers to at least one of an intensity value and a time variation of an intensity of a current running through a given connection, and wherein a rule to be verified by each of the tracks corresponding to the connection consists of verifying that a ratio of cross-sectional areas of integrated circuit areas corresponding to two consecutive polygons of a track ranges between two predetermined values.