張　旭　張國霞

集成電路設計自動化(EDA)工具需要處理版圖(Layout)圖形數(shù)據(jù)，版圖圖形數(shù)據(jù)最基本的抽象數(shù)據(jù)類型是二維多邊形。根據(jù)設計流程的需要，EDA算法必須完成版圖多邊形之間的復雜邏輯運算，如設計規(guī)則檢查(DRC)、版圖原理圖對比檢查(LVS)等，其核心是差(Difference)、交(AND)、異或(XOR)、或(OR)等算子。典型的集成電路版圖中含有海量多邊形數(shù)據(jù)，這就對算子的運算特性有嚴格的要求。