以資料路徑為基礎之超大型積體電路暫存器轉移層次描述的驗證與診斷方法 | |
---|---|
學年 | 92 |
學期 | 1 |
出版(發表)日期 | 2004-01-01 |
作品名稱 | 以資料路徑為基礎之超大型積體電路暫存器轉移層次描述的驗證與診斷方法 |
作品名稱(其他語言) | A Data-Path Based Verification and Diagnosis Mechanism for RTL Description of VLSI Circuit |
著者 | 饒建奇 |
單位 | 淡江大學電機工程學系 |
描述 | 計畫編號:NSC93-2215-E032-002 研究期間:200408~200507 研究經費:392,000 |
委託單位 | 行政院國家科學委員會 |
摘要 | 隨著數位雜性和速度與日遽增,設計者必須在高層次來設計電路才能符合市 場的需求,因為邏輯合成可作暫存器轉移層次﹙Register Transfer Level, RTL﹚ 到實際線路的轉換,所以現今的趨勢大部份是在暫存器轉移層次做設計的工作。 在現今設計的流程中,設計錯誤的發生大多於硬體描述語言﹙Hardware Description Languages, HDLs﹚行為描述的階段,實際的設計以及設計規格之 間在功能上的不吻合經常會發生。然而,因為現今的數位設計的複雜度越來越高 的情況之下,以手工的方式從程式中找到錯誤的位置越來越困難。 在這次計畫中,我們提供了以資料路徑為基礎的自動錯誤診斷之有效方法, 來找尋錯誤可能發生的範圍,對於這範圍,我們首先去除掉一些不可能造成錯誤 的敘述以獲得一個敘述的集合稱之為錯誤空間﹙error space﹚。再者,我們試著 評估在錯誤空間裡的敘述為真正造成錯誤的可能性,根據這可能性,我們以一個 優先次序將這些敘述顯示出來,藉此,來縮短除錯的時間。 |
關鍵字 | |
語言 | |
相關連結 |
機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/7590 ) |
SDGS | 產業創新與基礎設施 |