大規(guī)模數字集成電路驗證方法研究.pdf_第1頁
已閱讀1頁，還剩78頁未讀， 繼續(xù)免費閱讀

下載本文檔

版權說明：本文檔由用戶提供并上傳，收益歸屬內容提供方，若內容存在侵權，請進行舉報或認領

文檔簡介

1、芯片驗證驗證方法，主要有軟件仿真，形式驗證和FPGA驗證。軟件仿真主要是通過建立測試平臺，對被測試單元輸入一定的激勵信號，經過仿真軟件的運算，得到波形輸出，文件記錄輸出，然后對這些輸出再與測試平臺中設定的預期輸出進行比較，來驗證仿真結果。形式驗證是根據邏輯的功能和結構的描述，用類似定理證明的方法或數學的方法來證明邏輯設計的正確性，用軟件程序證明的方法驗證硬件設計的正確性。FPGA驗證可以為大型芯片的仿真提供極為出色的性能。由于FP

2、GA驗證系統(tǒng)與實際的系統(tǒng)很接近，在這樣一個系統(tǒng)上，芯片運行的速度和實際系統(tǒng)可比擬甚至一樣，一般工作站仿真速度約為5cycle/s,而用FPGA仿真平臺可以很輕易地達到200K cycle/s, 這有助于發(fā)現一些出現概率很低的bug，很容易運行一些在軟件仿真中不太實際的測試；其次，對于一個FPGA驗證系統(tǒng)，可以把它視為一個實際芯片構成的系統(tǒng)，完全可以在此基礎上利用各種開發(fā)工具開發(fā)出相應的測試平臺和應用平臺，這就使得芯片代碼的驗證與實際芯片

溫馨提示

  • 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙，網頁內容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫僅提供信息存儲空間，僅對用戶上傳內容的表現方式做保護處理，對用戶上傳分享的文檔內容本身不做任何修改或編輯，并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容，請與我們聯系，我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論