SoC系统中AHB／VCI Wrapper的设计及验证

需要说明的是，验证平台中的AMBA总线控制器是经过事先充分验证的，而且该验证平台在对其他待测模块进行验证的同时也是对AMBA总线控制器的有效考验。
该验证平台除了可以验证待测设计AHB-target-Wrapper外，还可以验证其它AHB从设备和APB从设备功能模块。如果在该验证平台中再加入一个AHB从设备BFM模型和总线协议监视器，便可形成一个功能齐全的验证平台，既可验证AHB主设备又可验证AHB从设备和APB从设备，同时还可及时检测是否发生总线传送协议错误。
当验证平台搭建好后，需要由设计者针对待测模块的测试要求，编写相应的测试激励，来完成最后的设计验证。

对应这段测试激励的模拟波形如图5所示，最后的log文件显示结果中除了预设的警告外，没有错误发生，说明待测设计AHB-target-Wrapper对这段测试激励模拟正确通过。

4 结论
本文主要介绍了利用总线功能模型进行设计验证的思想，在设计验证中使用了SynaptiCAD公司时序验证工具；通过TestBencher Pro工具完成其功能验证，应如何建立它所需要的BFM模型以及如何搭建其验证平台，同时说明了该验证平台具有很好的可复用性；最后给出了测试激励的编写方法及相应的模拟结果。