本文介绍SoC设计验证重要性和研究内容,具体阐述功能验证内容、功能验证方法学、形式验证、时序验证和物理验证,重点介绍了IP验证、系统级验证、模拟仿真和FPGA验证以及各种验证手段,并指出设计验证技术和设计验证平台的发展方向。