张　旭　张国霞

集成电路设计自动化(EDA)工具需要处理版图(Layout)图形数据，版图图形数据最基本的抽象数据类型是二维多边形。根据设计流程的需要，EDA算法必须完成版图多边形之间的复杂逻辑运算，如设计规则检查(DRC)、版图原理图对比检查(LVS)等，其核心是差(Difference)、交(AND)、异或(XOR)、或(OR)等算子。典型的集成电路版图中含有海量多边形数据，这就对算子的运算特性有严格的要求。