張　旭　張國霞

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