SoC系統(tǒng)中AHB／VCI Wrapper的設(shè)計(jì)及驗(yàn)證
加入技術(shù)交流群
3 驗(yàn)證平臺(tái)的搭建
本節(jié)的BFM模型主要任務(wù)就是利用這些模型來(lái)搭建驗(yàn)證平臺(tái)。
把AHB主設(shè)備BFM模型、VCI從動(dòng)方BFM模型、系統(tǒng)時(shí)鐘及復(fù)位產(chǎn)生模型、待測(cè)設(shè)計(jì)AHB-target-Wrapper模塊和AMBA總線控制器進(jìn)行適當(dāng)組合，集成在一起便可構(gòu)成驗(yàn)證平臺(tái)，如圖4所示。這個(gè)過程需要由TestBencher Pro工具來(lái)完成，因?yàn)樵摴ぞ呖梢院芎玫乜刂艬FM模型中每個(gè)命令函數(shù)的調(diào)度和執(zhí)行順序，其自動(dòng)化程度是比較高的。剩下需要由設(shè)計(jì)者做的事情是，根據(jù)待測(cè)設(shè)計(jì)AHB-target-Wrapper的測(cè)試要求，編寫平臺(tái)腳本來(lái)合理安排BFM模型中每個(gè)命令函數(shù)的調(diào)度和執(zhí)行順序，然后以文件形式輸入到驗(yàn)證平臺(tái)中即可開始進(jìn)行驗(yàn)證。該驗(yàn)證平臺(tái)通過Test Bencher Pro工具生成之后，也可以移植到別的模擬器環(huán)境中運(yùn)行。本文引用地址：http://butianyuan.cn/article/149065.htm
需要說明的是，驗(yàn)證平臺(tái)中的AMBA總線控制器是經(jīng)過事先充分驗(yàn)證的，而且該驗(yàn)證平臺(tái)在對(duì)其他待測(cè)模塊進(jìn)行驗(yàn)證的同時(shí)也是對(duì)AMBA總線控制器的有效考驗(yàn)。
該驗(yàn)證平臺(tái)除了可以驗(yàn)證待測(cè)設(shè)計(jì)AHB-target-Wrapper外，還可以驗(yàn)證其它AHB從設(shè)備和APB從設(shè)備功能模塊。如果在該驗(yàn)證平臺(tái)中再加入一個(gè)AHB從設(shè)備BFM模型和總線協(xié)議監(jiān)視器，便可形成一個(gè)功能齊全的驗(yàn)證平臺(tái)，既可驗(yàn)證AHB主設(shè)備又可驗(yàn)證AHB從設(shè)備和APB從設(shè)備，同時(shí)還可及時(shí)檢測(cè)是否發(fā)生總線傳送協(xié)議錯(cuò)誤。
當(dāng)驗(yàn)證平臺(tái)搭建好后，需要由設(shè)計(jì)者針對(duì)待測(cè)模塊的測(cè)試要求，編寫相應(yīng)的測(cè)試激勵(lì)，來(lái)完成最后的設(shè)計(jì)驗(yàn)證。
對(duì)應(yīng)這段測(cè)試激勵(lì)的模擬波形如圖5所示，最后的log文件顯示結(jié)果中除了預(yù)設(shè)的警告外，沒有錯(cuò)誤發(fā)生，說明待測(cè)設(shè)計(jì)AHB-target-Wrapper對(duì)這段測(cè)試激勵(lì)模擬正確通過。
4 結(jié)論
本文主要介紹了利用總線功能模型進(jìn)行設(shè)計(jì)驗(yàn)證的思想，在設(shè)計(jì)驗(yàn)證中使用了SynaptiCAD公司時(shí)序驗(yàn)證工具；通過TestBencher Pro工具完成其功能驗(yàn)證，應(yīng)如何建立它所需要的BFM模型以及如何搭建其驗(yàn)證平臺(tái)，同時(shí)說明了該驗(yàn)證平臺(tái)具有很好的可復(fù)用性；最后給出了測(cè)試激勵(lì)的編寫方法及相應(yīng)的模擬結(jié)果。
評(píng)論