大規(guī)模數(shù)字集成電路驗證方法研究.pdf

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

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