等價(jià)性檢驗(yàn)中的邏輯調(diào)試技術(shù)研究.pdf

1、正確性和有效性是集成電路設(shè)計(jì)驗(yàn)證的最大挑戰(zhàn)，然而由于電路規(guī)模和復(fù)雜度的日益增加，邏輯設(shè)計(jì)的錯(cuò)誤幾乎不可避免，一旦驗(yàn)證工具發(fā)現(xiàn)電路設(shè)計(jì)存在錯(cuò)誤，設(shè)計(jì)人員必須進(jìn)行錯(cuò)誤定位和錯(cuò)誤糾正。因此，研究開發(fā)一種工作效率高，搜索時(shí)間短，可擴(kuò)展性好的錯(cuò)誤診斷與糾錯(cuò)方法就成了集成電路設(shè)計(jì)驗(yàn)證的當(dāng)務(wù)之急，而基于模擬的錯(cuò)誤診斷與糾錯(cuò)技術(shù)是目前使用較多、效果較好的解決方案。 本文結(jié)合具體的項(xiàng)目，對(duì)邏輯調(diào)試中的符號(hào)方法和基于模擬的方法進(jìn)行了系統(tǒng)、深入的研究

2、，并對(duì)一些原有的啟發(fā)式方法進(jìn)行了改進(jìn)提高，取得了部分研究成果。主要工作有： 1．研究了幾種主要的錯(cuò)誤診斷和糾錯(cuò)方法，并進(jìn)行了分析、比較。針對(duì)基于可觀察測(cè)量的診斷方法，進(jìn)行了理論研究和分析證明，并在此基礎(chǔ)上將概率思想初步運(yùn)用在可觀察測(cè)量法上。 2．將符號(hào)模擬技術(shù)應(yīng)用到區(qū)域模型上，對(duì)基于區(qū)域模型的錯(cuò)誤診斷方法進(jìn)行了優(yōu)化，并對(duì)該優(yōu)化的實(shí)現(xiàn)過(guò)程進(jìn)行了可行性分析，給出了具體的優(yōu)化步驟。 3．將程序切片技術(shù)應(yīng)用到實(shí)現(xiàn)電路所對(duì)