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