随着集成电路片上系统设计的规模越来越大,耗时越来越长,验证作用日趋重要。现今的验证方法都涵盖功能验证和时序验证,通过对系统功能点和电路时序的检查验证系统是否工作。业界的EDA厂商也推出各种验证工具加速验证工作的完成进度。然而,如何实现验证的完整度,依然是验证工作面临的主要问题。本文对片上系统设计验证进行了深入系统的研究,研究内容涉及设计规范和验证计划,模拟技术,静态技术和形式技术,并结合工作中的设计验证实例,得出了关于片上系统设计验证的规范化流程,并给出了该流程中的功能和时序验证方法。智能卡OP200项目验证是应用这个规范化流程的验证实例。本文详细阐述了OP200验证流程中功能验证的关键点,包括制定规范的设计文档和验证计划,建立基于传输级的模拟验证环境,使设计的代码覆盖率,断言和功能覆盖率达到100%,并通过静态验证,形式验证弥补模拟验证可能存在的验证完整度的不足；本文介绍了软硬件协同验证,快速建模等功能验证方法,进一步增强验证完整度；本文还从静态时序分析和动态时序验证两个方面阐述了规范化流程中OP200时序验证的关键点,并介绍了提高动态时序验证效率的方法。运用规范化流程对片上系统OP200进行验证,最终成功实现了芯片投产,缩短了验证周期,提高了验证效率。