Samsung Electronics Co., Ltd.

Jeong-Taek Kong

Jae-Seok Yang

Moon-Hyun Yoo

Joon-Ho Choi

Jeong-Yeol Kim

Functional and temporal aggressor classification methods that provide increased efficiency and accuracy for classifying aggressor signal lines of an integrated circuit for purposes of analyzing crosstalk of the circuit. In one aspect, an aggressor classification method for analyzing crosstalk of a circuit comprises (a) obtaining CNF (conjunction normal form) clauses of signal lines from a victim to a predetermined signal line and from an aggressor to a predetermined signal line for circuit analysis using a backward search, and obtaining CNF clauses of the victim and the aggressor, and summing up the CNF clauses of the victim and the aggressor to obtain a final CNF clause, (b) obtaining CNF clauses with respect to various cases in which logic values of the victims and aggressors are varied in the final CNF clause, and (c) analyzing the CNF clauses obtained in step (b) to classify aggressors as true or false aggressors, wherein an aggressor is classified as a true aggressor if a result of a given CNF clause has a vector, and classifying an aggressor as a false aggressor if a result of a given CNF clause has no vector.

Growing community of inventors

Seoul, South Korea

Jeong-Taek Kong