基於後向切割的等效驗證和工程變更指令演算法之最佳化

Abstract

在晶片設計的流程中,如果流程後期需要修改原本的電路設計,工程變更指令是一個普遍使用的方法。我們提出新的演算法以優化基於後向切割的工程變更指令引擎效能。我們藉著後向切割在兩個電路中找出改正配對,接著精鍊這些配對以去除多餘的部份。實驗結果顯示我們提出的演算法不但減少了修補邏輯電路的成本也降低了程式運行的時間。除此之外,我們進一步將後向切割應用於等效驗證,實驗結果說明了我們的演算法是可行的。

Engineering change order (ECO) is a popular approach for rectifying circuit errors and specification changes in late design stages. Backward-cut-based ECO solves the problem by divide and conquer from the output side to input side. In this thesis, we present new algorithms to optimize the performance of ECO engine. We first discover the rectification pairs in two circuits by backward-cut approach and then remove the redundant parts by refinement technique. The experimental results show that our algorithm not only reduce the patch circuit cost but also improve the run time of ECO engine. Moreover, we further apply backward-cut approach to the Equivalence Checking (EC) and experimental results prove that our algorithms work.