基于SPECMAN的USIM IP核驗(yàn)證.pdf

1、本文研究基于 SPECMAN的自動(dòng)化驗(yàn)證平臺(tái)的搭建和設(shè)計(jì)方法，用來(lái)驗(yàn)證USIM IP核的功能，自動(dòng)檢測(cè)仿真結(jié)果，以及收集覆蓋率。在搭建測(cè)試平臺(tái)的具體過(guò)程中，遵循 SPECMAN驗(yàn)證方法的主體思想，完成了基于 SPECMAN測(cè)試平臺(tái)的設(shè)計(jì)，實(shí)現(xiàn)了對(duì) USIM IP核的功能驗(yàn)證，并且施加大量的隨機(jī)激勵(lì)來(lái)完成回歸性測(cè)試，最終達(dá)到近100％的功能覆蓋率和代碼覆蓋率，保證了驗(yàn)證的完備性。
　　在具體設(shè)計(jì) USIM測(cè)試平臺(tái)的實(shí)踐中，應(yīng)用通過(guò)認(rèn)

2、證的第三方驗(yàn)證環(huán)境（Verisity Design公司的AHB eVC）來(lái)模擬 AHB總線行為，對(duì)于 UART數(shù)據(jù)傳輸?shù)臋z測(cè)我們引入基于參考模型的數(shù)據(jù)檢查機(jī)制，在對(duì) USIM的寄存器驗(yàn)證中，我們引入 Verisity公司的The Register and Memory Package，它提供了一套對(duì)寄存器組和存儲(chǔ)器單元自動(dòng)化的驗(yàn)證解決方案，能夠有效模擬寄存器與存儲(chǔ)單元行為，采用斷言（Assertion）來(lái)實(shí)現(xiàn)對(duì) USIM信號(hào)時(shí)序部分的驗(yàn)