随着集成电路设计复杂度的不断增加,验证的难度也不断增大,高效的验证方法对于提高集成电路设计效率有着至关重要的作用。另外,超大规模集成电路的设计开始向着基于IP复用系统芯片设计的方向发展,使得IP的设计成为集成电路产业新的着眼点。要提高整个电路的设计效率首先要保证所使用IP核的设计效率和正确性,因此对IP设计过程中验证方法的研究具有较为重要的意义。本文在传统功能验证方法的基础上提出了一种自比较验证平台的设计方案,并且通过仿真分析,验证了一个异步收发器(UART)的IP软核设计的正确性。论文首先从IP软核的设计要求着手分析UART功能,讨论了功能块的划分、每个子模块间端口连接关系和各模块详细功能。然后以设计与验证相结合的方式,逐个模块地介绍行为模型、寄存器传输级模型和验证模型的建立过程,其中用行为模型的验证输出波形来反映参考模型设计功能的正确性,最后用顶层模块将各部分连接,完成了UART的IP软核的设计和自比较验证平台的搭建。本文使用系统级语言SystemC作为验证平台的设计语言,设计内容包括建立行为模型的部分、验证各模块功能的部分和对数据采样并显示比较结果的部分。在模型建立的过程中,通过比较发现,SystemC在描述同一个功能模型时编写的代码比用Verilog HDL语言编写的代码在数量上少很多,表明SystemC对于提高代码效率有着重要作用,进而加快了IP的开发速度。论文用部分篇幅介绍了软件环境Modelsim,从项目文件夹的建立到波形分析,从单语言模型仿真到混合语言模型仿真,每个步骤在设计过程中都是不可缺少的。另外,论文介绍了使用代码覆盖率分析工具提高IP软核代码设计效率的方法。同时也对模型代码的结构进行了分析,说明它对设计的复用性和可扩展性的作用。在论文的最后,对本文的内容进行了全面总结,并对今后进一步的研究工作进行了展望。