摘要 |
A method of automatically generating a set of test layouts for testing a design rule checking tool is described. A layout is a point in a space of several coordinates (Q_1,..., Q_M), and the design rule comprises N design constraints (C_1,..., C_N) numbered 1 to N, wherein N is greater or equal two and each design constraint (C_K; K=1,...,N) is a boolean-valued function of one or more of the coordinates (Q_1,..., Q_M). The set of test layouts includes: one or more zero-error layouts (Q1); one or more one-error layouts (Q2); and one or more two-error layouts (Q3). A zero-error layout is a layout that satisfies all of the design constraints (C_1,..., C_N). A one-error layout is a layout that violates exactly one of the design constraints (C_1, C_2,..., C_N). A two-error layout is a layout that violates exactly two of the design constraints (C_1, C_2,..., C_N). Computer-executable instructions for instructing a computer to carry out the method may be stored on a data carrier. |