集成電路版圖中ＧＰＣ和ＰＢ的相交運算特性

張　旭　張國霞

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