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