發(fā)布時間：2024-12-11 02:30

　　正確性和有效性是集成電路設計驗證的最大挑戰(zhàn)，然而由于電路規(guī)模和復雜度的日益增加，邏輯設計的錯誤幾乎不可避免，一旦驗證工具發(fā)現(xiàn)電路設計存在錯誤，設計人員必須進行錯誤定位和錯誤糾正。因此，研究開發(fā)一種工作效率高，搜索時間短，可擴展性好的錯誤診斷與糾錯方法就成了集成電路設計驗證的當務之急，而基于模擬的錯誤診斷與糾錯技術是目前使用較多、效果較好的解決方案。 本文結合具體的項目，對邏輯調試中的符號方法和基于模擬的方法進行了系統(tǒng)、深入的研究，并對一些原有的啟發(fā)式方法進行了改進提高，取得了部分研究成果。主要工作有： 1．研究了幾種主要的錯誤診斷和糾錯方法，并進行了分析、比較。針對基于可觀察測量的診斷方法，進行了理論研究和分析證明，并在此基礎上將概率思想初步運用在可觀察測量法上。 2．將符號模擬技術應用到區(qū)域模型上，對基于區(qū)域模型的錯誤診斷方法進行了優(yōu)化，并對該優(yōu)化的實現(xiàn)過程進行了可行性分析，給出了具體的優(yōu)化步驟。 3．將程序切片技術應用到實現(xiàn)電路所對應的硬件描述語言的調試中，并對硬件描述語言進行實驗，結果表明該技術大大地縮...

【文章頁數(shù)】：58 頁

【學位級別】：碩士

【部分圖文】：

圖4.10匹配過程

在等價性檢驗中為確定規(guī)范和實現(xiàn)是否等價，通常采取的方法是先對規(guī)范和實現(xiàn)劃分邏輯錐，通過對各個相應的邏輯錐的等價性檢驗來判斷整個實現(xiàn)電路是否與所要求的規(guī)范等價，如圖4.10所示。這個劃分邏輯錐的過程就可以看作一個計算切片的過程，一個邏輯錐就可以看成是比較點的靜態(tài)切片，如圖4.n所示....

圖4.n抽出匹配過程中的一個邏輯錐可作為一個切片來處理

一個邏輯錐就可以看成是比較點的靜態(tài)切片，如圖4.n所示，其中的比較點是設計人員感興趣的點，所有影響比較點的邏輯門和信號組成一個切片。如果實現(xiàn)與規(guī)范不等價則需要在實現(xiàn)中定位錯誤點，因為邏輯錐的劃分可以使得查找錯誤的過程集中在各個邏輯錐中進行，即在切片中查找錯誤，這樣就極大地縮小了所....

圖5.6調試模塊平臺的框圖

傳統(tǒng)的等價性檢驗工具邏輯調試部分中不能糾正、但在實現(xiàn)過程中又確實出現(xiàn)的錯誤。圖5.6是邏輯調試模塊的框圖，主要包括以下幾個部分:汗汗贊丫帶_丫添彭馨茸蔚淋丫拼，一常常聯(lián)機助用戶幫與手冊統(tǒng)設置配系與置基本命令集髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓lll飯.熬粼獺....

本文編號：4016039