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