基于AHB总线接口的可重用性验证环境的实现

摘要

文中提出了一种基于AHB总线接口的可重用性验证环境的实现方法.该方法是基于Verisity的eRM(eReused Methodology),通过增加配置的环境变量和eVC文件,并利用脚本自动化生成验证的基本框架,在验证不同的设计时只需根据实际协议扩展该基本验证环境框架即可.实现了各种基于AHB总线接口的验证环境的可重用性,提高了验证效率.