已閱讀1頁(yè)，還剩98頁(yè)未讀， 繼續(xù)免費(fèi)閱讀
版權(quán)說(shuō)明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、本論文在較為全面、深入地研究和總結(jié)國(guó)內(nèi)外形式驗(yàn)證技術(shù)研究成果的基礎(chǔ)上,對(duì)組合電路及時(shí)序電路驗(yàn)證上分別進(jìn)行算法研究、設(shè)計(jì)和實(shí)現(xiàn),取得了較為理想的結(jié)果.主要內(nèi)容包括:組合電路驗(yàn)證是數(shù)字集成電路形式化設(shè)計(jì)驗(yàn)證的重用方面.論文給出了一種使用布爾可滿足性SAT的新穎組合電路等價(jià)性驗(yàn)證技術(shù).算法是在聯(lián)接電路(Miter)中進(jìn)行推理來(lái)簡(jiǎn)化驗(yàn)證問(wèn)題,推理中使用了與/非圖結(jié)構(gòu)簡(jiǎn)化、二叉決策圖BDD擴(kuò)展、隱含學(xué)習(xí)多種方法,最后使用有效SAT解算器zChaf
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙，網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽，若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫(kù)僅提供信息存儲(chǔ)空間，僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理，對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯，并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容，請(qǐng)與我們聯(lián)系，我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 超大規(guī)模集成電路課程設(shè)計(jì)
- 超大規(guī)模集成電路布局算法研究.pdf
- 超大規(guī)模集成電路的布局算法研究.pdf
- 超大規(guī)模集成電路寄生參數(shù)提取研究.pdf
- 超大規(guī)模集成電路的物理設(shè)計(jì)研究.pdf
- 超大規(guī)模集成電路劃分算法研究.pdf
- 超大規(guī)模集成電路的優(yōu)化布局算法.pdf
- 超大規(guī)模集成電路詳細(xì)布局算法研究.pdf
- 新型超大規(guī)模集成電路清洗技術(shù)的研究.pdf
- 超大規(guī)模集成電路若干布線算法研究.pdf
- 超大規(guī)模集成電路串?dāng)_問(wèn)題的研究.pdf
- 《超大規(guī)模集成電路設(shè)計(jì)》考試習(xí)題概要
- 超大規(guī)模集成電路容軟錯(cuò)技術(shù)研究.pdf
- 超大規(guī)模集成電路布線中的圖論問(wèn)題研究.pdf
- 超大規(guī)模集成電路可測(cè)試性設(shè)計(jì)的應(yīng)用.pdf
- 超大規(guī)模集成電路中變化互連線分析.pdf
- 超大規(guī)模集成電路快速熱退火工藝優(yōu)化研究.pdf
- 針對(duì)NBTI效應(yīng)的超大規(guī)模集成電路老化研究.pdf
- 超大規(guī)模集成電路陣列自重構(gòu)問(wèn)題的研究.pdf
- 超大規(guī)模集成電路設(shè)計(jì)流程中的驗(yàn)證技術(shù)及實(shí)踐.pdf
評(píng)論
0/150
提交評(píng)論