About

研究方向

開發系統晶片 (SoC – System on a Chip) 所牽涉之技術及挑戰相當多,其中之電子設計自動化 (EDA – Electronic Design Automation) 是系統晶片設計中非常重要且不不可或缺的一環,EDA技術即為本實驗室之研究發展重點。

本實驗室主要培養具備EDA知識及發展技術之人才,研究領域著重在邏輯合成 (logic synthesis) 及邏輯驗證 (logic verification),近三年主要之研究成果發表在EDA領域最頂尖之學術研討會中,研究成果包括函數對稱性偵測技術 (DAC-2004, ASPDAC-2005)、特徵值技術及其應用 (DAC-2006)與應用機器學習方法之布林比對技術 (ICCAD-2007)。

未來研究重點為S&S (Simulation & SAT)技術和其在邏輯設計上之相關應用,並利用GPGPU (General-Purpose Graphic Processing Unit) 平行處理的能力來開發相關之平行演算法。