a国产,中文字幕久久波多野结衣AV,欧美粗大猛烈老熟妇,女人av天堂

當(dāng)前位置:主頁 > 社科論文 > 邏輯論文 >

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

發(fā)布時(shí)間:2024-12-11 02:30
  正確性和有效性是集成電路設(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)、深入的研究,并對(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)過程進(jìn)行了可行性分析,給出了具體的優(yōu)化步驟。 3.將程序切片技術(shù)應(yīng)用到實(shí)現(xiàn)電路所對(duì)應(yīng)的硬件描述語言的調(diào)試中,并對(duì)硬件描述語言進(jìn)行實(shí)驗(yàn),結(jié)果表明該技術(shù)大大地縮...

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

【學(xué)位級(jí)別】:碩士

【部分圖文】:

圖4.10匹配過程

圖4.10匹配過程

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


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

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

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


圖5.6調(diào)試模塊平臺(tái)的框圖

圖5.6調(diào)試模塊平臺(tái)的框圖

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



本文編號(hào):4016039

資料下載
論文發(fā)表

本文鏈接:http://www.wukwdryxk.cn/shekelunwen/ljx/4016039.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶7621c***提供,本站僅收錄摘要或目錄,作者需要?jiǎng)h除請(qǐng)E-mail郵箱bigeng88@qq.com
熟女熟妇伦AV网站| 色网站在线| 无码中文字幕日韩专区| 国产无人区卡一卡二扰乱码| 激情伊人五月天久久综合| 欧美日韩亚洲一区| 97人妻精品一区二区三区视频| 亚色图| 亚洲国产精品久久久久婷蜜芽| 久久九九国产精品怡红院| chinese国产打屁股实践1| 久久免费的精品国产V∧| 亚洲乱码日产精品BD| 老司机在线精品视频网站 | 中文字幕无码成人免费视频| 野花日本免费完整版高清版3| 久碰精品少妇中文字幕av| 色狠狠一区二区三区香蕉| 91精品夜夜夜一区二区| 91玖玖| 国产香蕉尹人视频在线| 国产乱妇无码大片在线观看| 国产a在亚洲线播放| 欧美伊人久久大香线蕉综合| 国产美女牲交视频| 亚洲欧美日韩v在线观看不卡| 亚洲AV无码专区日韩乱码不卡| 宣威市| 日韩av在线观看| 免费a爱片猛猛| av.| 午夜xxx| 激情丁香| 18禁www| 丰满少妇免费做爰大片人| 亚洲av成人网| 色一欲一性一乱—区二区三区 | 国产精品一区不卡| 国产欧美亚洲精品第一区软件| 熟妇av| 免费视频91蜜桃|