IP核复用技术应用越来越广泛，随之带来的IP核验证难题也越来越受到业界的重视。传统的验证方法不仅耗时耗力，而且验证不充分，功能覆盖率低，已经难以满足当今对于验证的需要。基于验证平台进行IP核的验证是一种十分有效的方法，将待验证的IP核移植到验证平台环境来进行验证，可以进行IP核之间的协同验证，监测总线协议规范，有效提高验证的质量和效率。基于验证平台的IP核验证重点是IP核的移植例化和验证向量的移植复用。本论文工作中首先利用基于Leon3mp处理器的SoC验证平台对待验收的IP核进行验证，开发了自动例化的脚本程序，根据该验证平台的IP核例化特点，使用Perl语言编写相应的控制程序，实现IP核在验证平台中的自动例化，减免了大量原本需要人工例化的操作，提高了例化的可靠性，节省了IP核验证所需时间，同时实现由C语言编写和Verilog HDL、VHDL描述验证向量的复用，使得IP核能够在验证平台上验证再现。进而利用VIP提供的BFM模型和监测器模型为待验证的IP核快速搭建与之相匹配的验证环境，使得待验收的IP核及其验证向量与验证环境高度匹配，即构建语言统一，总线相匹配，使IP核的移植例化和验证向量的复用工作简化，并且生成验证过程的日志文件和总线信号的监测报告，更加容易定位错误位置。