随着IC设计规模的增加,功能验证的复杂程度越来越高,各种新的验证方法也曾出不穷,如何根据不同的IC产品来选择适当的验证方法对其进行验证,获取最大的工作效率,仍然是一个值得研究的课题。集成电路制造和设计技术的迅速发展将集成电路设计带入片上系统(SOC)时代。IP核成为片上系统最重要的单元。基于通用串行总线USB和片上总线AHB的USB-AHB桥IP实现了两种总线之间的数据通路,该IP能够广泛应用到U盘,摄像头,数码相机,手机等SOC产品芯片中去。本文介绍了基于ARM的USB2.0-AHB总线桥IP的验证方法研究以及设计实现。本文首先介绍了基本的验证技术,以及国内外比较流行的功能验证方法,USB总线AHB总线的基本协议;根据IP的规格搭建了一个基于Synopsys VIP的系统验证环境,如何在整个验证环境中构建一个ARM的行为模型,使其能够接收并分析由USB总线发来的各种命令,并根据各种命令对IP进行相应配置。接着介绍了如何根据IP规格对测试向量,测试效用包(Utility)进行提取,如何用perl脚本语言实现测试向量进行自动化生成,以及每条测试用例的自检测。最后介绍了如何使用C shell脚本实现整个回归验证的自动化,回归验证结束后各个覆盖率指标的达到情况。本文所介绍的验证方法具有良好的可重用性,整个IP在经过本文介绍的验证方法验证后,在后续的FPGA验证中本IP的各个数据通道的测试均一次通过,最后顺利通过和合作单位的验收。