Computer Recording Medium for Storing Program of Checking Design Rule of Layout

1. A computer readable recording medium storing thereon a program, which causes a computer system to perform a method for checking a layout, the method comprising: reading the layout, wherein the layout comprises a plurality of layers; uniting a part of or all the layers in the layout to obtain a flag layer; checking the layout according to the flag layer; and generating a result of the checking, for inspecting whether the layout meets design rule or not.

2. The computer readable recording medium as claimed in claim 1 , wherein the layout is a GDS (global distribution system) format file.

3. The computer readable recording medium as claimed in claim 1 , wherein the flag layer is a union of all the layers in the layout.

4. The computer readable recording medium as claimed in claim 1 , wherein the step for checking the layout according to the flag layer comprises: comparing each of the layers in the layout with the flag layer: if a certain layer in the layers with the flag layer is empty set, indicating that said certain layer is an empty layer; and if the result of the comparing for a certain layer in the layers with the flag layer is nonempty set, in the layers with the result of the comparing being nonempty set, the uppermost layer is the top layer in the layout, and other layers below the top layer are the inner layers in the layout; checking the top layer in the layout based on a top layer rule; and checking the inner layers in the layout based on an inner layer rule.

5. The computer readable recording medium as claimed in claim 4 , wherein the step for comparing each of the layers in the layout with the flag layer comprises: setting graphic (TOPM N ) corresponding to an N th top layer to be equal to graphic of the N th layer (ME N ) in the layout, wherein N is a maximum number of layers in the layout; if the flag layer (BULK) and the graphic (TOPM N ) have no intersection, setting graphic (NO_M N — BULK) to be equal to graphic of the flag layer (BULK), otherwise setting the graphic (NO_M N — BULK) to be empty set, wherein the graphic (NO_M N — BULK) indicates the graphic of the flag layer without the N th layer; if graphic of the i th layer (ME i ) in the layout and graphic (NO_M i+1 — BULK) have an intersection, setting graphic (TOPM i ) to be equal to the graphic of the i th layer (ME i ) in the layout, otherwise setting the graphic (TOPM i ) to be empty set, wherein i is an integer greater than 0 and less than N; if the graphic (NO_M i+1 — BULK) and the graphic (TOPM i ) have no intersection, setting graphic (NO_M i — BULK) to be equal to the graphic (NO_M i+1 — BULK), otherwise setting the graphic (NO_M i — BULK) to be empty set; and uniting the graphics (TOPM N ˜TOPM j ) to obtain the top layer in the layout, wherein j indicates a minimum value of a possible range of the top layer in the layout.

6. The computer readable recording medium as claimed in claim 5 , wherein the step for comparing each of the layers in the layout with the flag layer further comprises: if graphic of the i th layer (ME i ) in the layout and the graphic (NO_M i+1 — BULK) have no intersection, setting graphic (COMM i ) to be equal to the graphic of the i th layer (ME i ), otherwise setting the graphic (COMM i ) to be empty set; wherein the graphic (COMM i ) indicates the graphic of one of layers except the top layer in the layout.

7. The computer readable recording medium as claimed in claim 6 , wherein the step for comparing each of the layers in the layout with the flag layer further comprises: setting graphic (LSM N−1 ) corresponding to a layer just below the N th top layer to be equal to graphic of the (N−1) th layer (ME N−1 ) in the layout; and if graphic (COMM k ) and graphic (NO_M k+2 13 BULK) have an intersection, setting graphic (LSM k ) to be equal to the graphic (COMM k ), otherwise setting the graphic (LSM k ) to be empty set, wherein k is an integer greater than 0 and less than N−1; wherein the graphic (LSM k ) indicates the graphic of the layer just below the top layer in the layout.

8. The computer readable recording medium as claimed in claim 1 , wherein the step for checking the layout according to the flag layer comprises: comparing graphic size of the flag layer with a reference size; if the graphic size of the flag layer is larger than the reference size, performing a large size identified rule; and if the graphic size of the flag layer is smaller than the reference size, performing a small size identified rule.

9. The computer readable recording medium as claimed in claim 8 , wherein the large size identified rule comprises: setting corner graphic of the flag layer as graphic (B_BCOR); intersecting graphic of the h th layer (ME h ) in the layout and the graphic (B_BCOR), and setting a result of the intersecting as graphic (MET h CA), wherein h is an integer greater than 0 and less than N+1, and N is a maximum number of layers in the layout; and checking whether or not there is a part of the graphics not arranged at an angle of 45° in the graphic (MET h CA).

10. A computer readable recording medium storing thereon a program, which causes a computer system to perform a method for checking a layout, the method comprising: reading the layout, wherein the layout comprises a plurality of layers; uniting a part of or all the layers in the layout to obtain a flag layer; comparing the layers with the flag layer; comparing graphic size of the flag layer with a reference size to determine an identified rule; and generating a check result according to results of comparing the layers with the flag layer and comparing the graphic size of the flag layer with the reference size, for determining whether the layout meets design rule or not according to the check result.

11. The computer readable recording medium as claimed in claim 10 , wherein the layout is a GDS (global distribution system) format file.

12. The computer readable recording medium as claimed in claim 10 , wherein the flag layer is a union of all the layers in the layout.

13. The computer readable recording medium as claimed in claim 10 , wherein the step for comparing the layers with the flag layer comprises: comparing each of the layers in the layout with the flag layer; if result of the comparing for a certain layer in the layers with the flag layer is empty set, indicating that said certain layer is an empty layer; if the result of the comparing for a certain layer in the layers with the flag layer is nonempty set, in the layers with the result of the comparing being nonempty set, the uppermost layer is the top layer in the layout, and other layers below the top layer are the inner layers in the layout.

14. The computer readable recording medium as claimed in claim 13 , wherein the step for comparing each of the layers in the layout with the flag layer comprises: setting graphic (TOPM N ) corresponding to an N th top layer to be equal to graphic of the N th layer (ME N ) in the layout, wherein N is a maximum number of layers in the layout; if the flag layer (BULK) and the graphic (TOPM N ) have no intersection, setting graphic (NO_M N — BULK) to be equal to graphic of the flag layer (BULK), otherwise setting the graphic (NO_M N — BULK) to be empty set, wherein the graphic (NO_M N — BULK) indicates the graphic of the flag layer without the N th layer; if graphic of the i th layer (ME i ) in the layout and graphic (NO_M i+1 — BULK) have an intersection, setting graphic (TOPM i ) to be equal to the graphic of the i th layer (ME i ) in the layout, otherwise setting the graphic (TOPM i ) to be empty set, wherein i is an integer greater than 0 and less than N; if graphic (NO_M i+1 — BULK) and the graphic (TOPM i ) have no intersection, setting graphic (NO_M i — BULK) to be equal to the graphic (NO_M i+1 — BULK), otherwise setting the graphic (NO_M i — BULK) to be empty set; and uniting the graphics (TOPM N ˜TOPM j ) to obtain the top layer in the layout, wherein j indicates a minimum value of a possible range of the top layer in the layout.

15. The computer readable recording medium as claimed in claim 14 , wherein the step for comparing each of the layers in the layout with the flag layer further comprises: if graphic of the i th layer (ME i ) in the layout and the graphic (NO_M i+1 — BULK) have no intersection, setting graphic (COMM i ) to be equal to the graphic of the i th layer (ME i ), otherwise setting the graphic (COMM i ) to be empty set; wherein the graphic (COMM i ) indicates the graphic of one of layers except the top layer in the layout.

16. The computer readable recording medium as claimed in claim 15 , wherein the step for comparing each of the layers in the layout with the flag layer further comprises: setting graphic (LSM N−1 ) corresponding to a layer just below the N th top layer to be equal to graphic of the (N−1) th layer (ME N− 1) in the layout; and if graphic (COMM k ) and graphic (NO_M k+2 — BULK) have an intersection, setting graphic (LSM k ) to be equal to the graphic (COMM k ), otherwise setting the graphic (LSM k ) to be empty set, wherein k is an integer greater than 0 and less than N−1; wherein the graphic (LSM k ) indicates the graphic of the layer just below the top layer in the layout.

17. The computer readable recording medium as claimed in claim 10 , wherein the step for comparing the graphic size of the flag layer with a reference size to determine the identified rule comprises: comparing the graphic size of the flag layer with a reference size; if the graphic size of the flag layer is larger than the reference size, a large size identified rule is selected; and if the graphic size of the flag layer is smaller than the reference size, a small size identified rule is selected.

18. The computer readable recording medium as claimed in claim 17 , wherein the large size identified rule comprises: setting corner graphic of the flag layer as graphic (B_BCOR); intersecting graphic of the h th layer (ME h ) in the layout and the graphic (B_BCOR), and setting a result of the intersecting as graphic (MET h CA), wherein h is an integer greater than 0 and less than N+1, and N is a maximum number of layers in the layout; and checking whether or not there is a part of the graphics not arranged at an angle of 45° in the graphic (MET h CA).