随着集成电路制造技术的不断发展,系统芯片的发展愈加成熟。但系统芯片的发展遇到了诸多挑战,比如系统芯片的验证。验证在很多时候已经成为芯片设计的瓶颈,其工作量约占整个芯片设计的70%,而且其比例将随着集成电路设计规模和复杂度的提升而呈现不断上升的趋势。因此在芯片的设计中,尽可能降低验证费用,较之于仅仅降低设计费用更有意义。如何快速的验证这些IP模块和整个系统已成为系统芯片验证的难点和热点。保证设计的正确性是每一位芯片设计者必须考虑的大事。USB OTG是近年发展起来的最新技术,实现了USB设备间数据的直接传送,主要应用于各种不同的电子设备或移动设备间的数据交换,比如PDA、移动电话、数码照相机、摄象机、打印机等消费类设备。本文结合USB OTG IP核,对芯片开发过程中的验证技术进行了研究,探讨了验证方法学的相关理论。文章简要介绍了IP核的设计原理,相应的设计参考来源USB2.0协议及OTG规范,对本文关联较多的UTMI及ULPI协议介绍相对详细。接下来介绍了验证的基本理论及方法学。然后重点介绍了本项目中对基于ULPI PHY的USB OTG IP核验证平台的搭建过程,验证平台以IP核作为DUT,两侧分别连接ARM处理器行为模型以及ULPI PHY的行为模型,其通过以验证IP核中的任务集组成功能相对独立的功能包,再以功能包的组合构成验证用例的方式构成验证平台的主体。紧接着以一个典型的相对全面的验证用例为例,介绍了以此验证方式对IP核功能的验证过程以及相应的结果分析。在验证平台的搭建中,使用了synopsys公司的验证IP,使得验证平台的搭建更加容易,IP核通过与ULPI PHY的交互,使得其物理层接口部分在不减少功能的条件下更为简洁,而基于ULPI接口的验证保证了IP核功能的正确。