SoC系统中AHB／VCI Wrapper的设计及验证
3 验证平台的搭建
本节的BFM模型主要任务就是利用这些模型来搭建验证平台。
把AHB主设备BFM模型、VCI从动方BFM模型、系统时钟及复位产生模型、待测设计AHB-target-Wrapper模块和AMBA总线控制器进行适当组合，集成在一起便可构成验证平台，如图4所示。这个过程需要由TestBencher Pro工具来完成，因为该工具可以很好地控制BFM模型中每个命令函数的调度和执行顺序，其自动化程度是比较高的。剩下需要由设计者做的事情是，根据待测设计AHB-target-Wrapper的测试要求，编写平台脚本来合理安排BFM模型中每个命令函数的调度和执行顺序，然后以文件形式输入到验证平台中即可开始进行验证。该验证平台通过Test Bencher Pro工具生成之后，也可以移植到别的模拟器环境中运行。本文引用地址：http://www.eepw.com.cn/article/149065.htm
需要说明的是，验证平台中的AMBA总线控制器是经过事先充分验证的，而且该验证平台在对其他待测模块进行验证的同时也是对AMBA总线控制器的有效考验。
该验证平台除了可以验证待测设计AHB-target-Wrapper外，还可以验证其它AHB从设备和APB从设备功能模块。如果在该验证平台中再加入一个AHB从设备BFM模型和总线协议监视器，便可形成一个功能齐全的验证平台，既可验证AHB主设备又可验证AHB从设备和APB从设备，同时还可及时检测是否发生总线传送协议错误。
当验证平台搭建好后，需要由设计者针对待测模块的测试要求，编写相应的测试激励，来完成最后的设计验证。
对应这段测试激励的模拟波形如图5所示，最后的log文件显示结果中除了预设的警告外，没有错误发生，说明待测设计AHB-target-Wrapper对这段测试激励模拟正确通过。
4 结论
本文主要介绍了利用总线功能模型进行设计验证的思想，在设计验证中使用了SynaptiCAD公司时序验证工具；通过TestBencher Pro工具完成其功能验证，应如何建立它所需要的BFM模型以及如何搭建其验证平台，同时说明了该验证平台具有很好的可复用性；最后给出了测试激励的编写方法及相应的模拟结果。
评论