Claims
- 1. A computer program product comprising a computer readable storage medium having stored therein instructions executable by the computer for performing a method for assigning a binary property to circuit elements, the method comprising:providing a circuit design having elements; providing a first rule (R1) set for defining an R1 intrusion pair comprising a first R1 element and a second R1 element that intrude according to said first rule set; forming a plurality of first nets wherein each of said first nets comprises R1 intrusion pairs in accordance with said first rule set; coloring each of said first nets so that said first R1 element and said second R1 element have opposite binary properties for all R1 intrusion pairs within a given one of said first nets; providing a second rule (R2) set for defining an R2 intrusion pair comprising a first R2 element and a second R2 element that intrude according to said second rule set and wherein said second rule set has a lower priority than said first rule set; forming at least one second net comprising an R2 intrusion pair wherein said first R2 element is contained in one of said first nets and said second R2 element is contained in a second of said first nets; and coloring said second of said first nets so that said second R2 element has an opposite binary property from said first R2 element and each of said first R1 elements and said second R1 elements have opposite binary properties for all R1 intrusion pairs within said at least one second net.
- 2. The computer program product of claim 1 wherein said method further comprises:providing at least one additional rule (Ra) for defining an Ra intrusion pair having a first Ra element and a second Ra element that intrude according to said at least one additional rule, wherein each of said at least one additional have a lower priority than said second rule set; forming, in decreasing priority order of rule sets, at least one additional net comprising an Ra intrusion pair wherein said first Ra element is contained in one of said nets formed in accordance with a rule set having a higher priority than said at least one additional rule set and wherein said second Ra element is contained in a different one of said nets formed in accordance with a rule set having a higher priority than said at least one additional rule set; and coloring said at least one additional net so that said second Ra element has an opposite binary property from said first Ra element without violating any of said rule sets having a higher priority than said at least one additional rule set.
CROSS-REFERENCE TO RELATED PATENT APPLICATIONS
This Patent Application is a Divisional Patent Application of and claims, under 35 U.S.C. §120, the benefit of U.S. patent application Ser. No. 09/997,657, filed on Nov. 29, 2001 now U.S. Pat. No. 6,609,245.
US Referenced Citations (5)