已閱讀1頁，還剩51頁未讀， 繼續(xù)免費閱讀
版權(quán)說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請進行舉報或認(rèn)領(lǐng)
文檔簡介
1、從1965年4月摩爾在《電子學(xué)》雜志上的一篇文章中提出摩爾定律的半個多世紀(jì)以來，半導(dǎo)體發(fā)展迅速。集成電路已經(jīng)應(yīng)用到各個領(lǐng)域，無處不在，手機、電腦等數(shù)字產(chǎn)品深入每個人的生活，成為人們生活不可或缺的產(chǎn)品。因此集成電路的安全性越來越受到重視。
隨著集成電路技術(shù)的不斷發(fā)展，為了適應(yīng)市場，降低電路的設(shè)計成本和研發(fā)周期，SoC開發(fā)已經(jīng)成為集成電路的設(shè)計主流。IP庫是SoC設(shè)計的重要組成部分，在使用第三方IP庫的時候安全性也成為了一個突出的
2、問題。集成電路的設(shè)計和制造分離，工廠遷往勞動力成本低的地區(qū)，不少設(shè)計也外包給了其他設(shè)計公司，在集成電路的設(shè)計過程中會使用到各種不同公司提供的電子設(shè)計自動化軟件，因此現(xiàn)在的半導(dǎo)體芯片在設(shè)計過程中變得比以前更容易受到惡意篡改。
針對這個問題本文采用Coq來進行電路的安全性證明（等價安全性）。Coq是一種定理證明軟件，適合于定理的正確性驗證。本文先用Coq構(gòu)建隨機數(shù)發(fā)生器后處理算法的RTL代碼的模型，然后將電路的RTL代碼用這個模型
溫馨提示
- 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙，網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽，若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間，僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理，對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯，并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容，請與我們聯(lián)系，我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于PUFs的Hash隨機數(shù)發(fā)生器設(shè)計及其安全性分析.pdf
- 真隨機數(shù)發(fā)生器設(shè)計.pdf
- 全光隨機數(shù)發(fā)生器.pdf
- 隨機數(shù)發(fā)生器和隨機數(shù)性能檢驗方法研究.pdf
- 隨機數(shù)發(fā)生器的研究及其設(shè)計.pdf
- 片上真隨機數(shù)發(fā)生器的研究.pdf
- 隨機數(shù)發(fā)生器的設(shè)計與研究.pdf
- 真隨機數(shù)發(fā)生器的VLSI實現(xiàn)研究.pdf
- 高速真隨機數(shù)發(fā)生器的設(shè)計.pdf
- 低功耗隨機數(shù)發(fā)生器的設(shè)計研究.pdf
- 高斯隨機數(shù)發(fā)生器的研究與設(shè)計.pdf
- 隨機數(shù)發(fā)生器隨機性檢測系統(tǒng)的設(shè)計與實現(xiàn).pdf
- 高性能偽隨機數(shù)發(fā)生器的設(shè)計.pdf
- 均勻隨機數(shù)發(fā)生器的研究和統(tǒng)計檢驗.pdf
- 量子隨機數(shù)發(fā)生器的理論與實驗研究.pdf
- 36670.連續(xù)源真隨機數(shù)發(fā)生器研究
- 高速真隨機數(shù)發(fā)生器設(shè)計與實現(xiàn).pdf
- 基于孿生光束的量子隨機數(shù)發(fā)生器.pdf
- 數(shù)字真隨機數(shù)發(fā)生器的設(shè)計與實現(xiàn).pdf
- 高速物理隨機數(shù)發(fā)生器的設(shè)計與應(yīng)用.pdf
評論
0/150
提交評論