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

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

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