集成电路制造技术的发展把集成电路的设计带入了片上系统（SOC）时代。IP核的设计成为片上系统开发的重要部分。基于AHB接口的USB2.0 OTG IP核的设计，能够实现USB设备主从角色的切换。随着IP设计复杂度的不断提高，功能验证的复杂度也越来越高，IP设计的验证与芯片设计成功与否有着密切的联系。如何根据不同的IP设计，选择合适的验证方法，进行高效率的验证是一个很有价值的研究课题。论文主要研究了USB2.0 OTG IP核设计的验证。根据USB2.0 OTG IP核的设计规格，提取详细的验证功能点，制定验证计划；搭建验证平台，将Synopsys的验证IP嵌入到验证平台中，对其进行配置后，可调用它的各种包级命令构成不同的事务；验证环境是平台中除了待测模块（DUT）的部分，根据IP核的设计，验证环境分为ULPI侧和AHB侧，这两个环境相互独立；验证用例提取的粗细度要适合，既能覆盖到所有功能点及错误边界等情况，又不能过于细致增大工作量或过于稀疏遗漏掉某些功能点，根据IP核可以充当设备、主机和OTG的角色，分别提取验证用例。由于验证工作的文件很多，所以建立了验证文件结构图以示验证文件的存放，便于管理和查询。通过在验证环境中嵌入验证IP，缩短了验证环境的搭建时间。由于USB的传输是基于信息包的，各种USB事务处理是由特定格式的信息包组成，文中采用了事务级验证方法对USB2.0 OTG IP核进行了完备的验证。最后在FPGA环境下进行测试，IP核达到了设计要求的各种传输规范。在验证环境中设计的相互独立的ULPI侧和AHB侧验证环境，可用于其它基于ULPI接口或AHB接口设计的验证中，具有良好的可重用性和广泛的应用性。关键词：USB，AHB，ULPI，验证IP，验证用例