随着当前的半导体工艺水平步入深亚微米阶段，芯片的集成度空前提高，芯片不断增加的复杂性对于验证和测试工作提出了很高的要求。 SDU_M08是一种与Microchip公司的PIC16C57指令集完全兼容的8位RISC MCU IP核，本文研究了功能验证在SDU_M08验证中的应用。 在SDU_M08的功能验证中有两个重要的要素：验证环境的构建、功能覆盖率。验证环境的构建主要解决芯片的验证方案和激励生成机制两大问题，功能覆盖率主要解决功能验证的完备性问题。SDU_M08 IP核的验证方案是总体上采用Bottom-Up的方法，把验证工作分为模块级、系统级两个层次。使用硬件验证语言Vera构建验证环境，功能覆盖率由验证程序自动统计。 最后本文使用FPGA对SDU_M08进行了硬件建模，以接近实际环境的速度进行仿真验证，进一步对设计的正确性进行确认。 本文通过对SDU_M08的功能验证，研究了利用硬件验证语言建立验证环境，研究了验证自动化在功能验证中的应用。提高了验证的效率与质量，缩短了验证时间，提高了验证的可靠性。