Abstract: In one embodiment, an automatic check is performed to determine if the output of a parent region is compatible with the output of a current region of a cell. If the output of the parent region is compatible with the output of the current region of a cell, the output of the parent region is reduced (e.g., an ANDNOT operation) taking into account the current region. If the output of the parent region is not compatible with the output of the current region of a cell, the incompatible output of the sub-region is copied to a promote container and the incompatible output is promoted to the output of all other parent regions. These steps are performed for all parent regions. The layout hierarchy is first generated from the input data, and then is also generated from the region data. The difference between the layout hierarchy generated from the input data and the layout hierarchy generated from the region data is determined.

Abstract: At least one cell pair graph is generated for cells of the layout. A partial inverse layout tree is determined from the cell pair graph. For the partial inverse layout tree, only branches of the complete inverse layout tree are considered that describe an interaction between shapes of different cells. A data set is generated from the partial inverse layout tree and the data set is saved, for example, by using the partial inverse layout tree.

Abstract: In one embodiment, an automatic check is performed to determine if the output of a parent region is compatible with the output of a current region of a cell. If the output of the parent region is compatible with the output of the current region of a cell, the output of the parent region is reduced (e.g., an ANDNOT operation) taking into account the current region. If the output of the parent region is not compatible with the output of the current region of a cell, the incompatible output of the sub-region is copied to a promote container and the incompatible output is promoted to the output of all other parent regions. These steps are performed for all parent regions. The layout hierarchy is first generated from the input data, and then is also generated from the region data. The difference between the layout hierarchy generated from the input data and the layout hierarchy generated from the region data is determined.