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