主流SoC(片上系统）验证

主流SoC(片上系统）验证

SoC验证技术已经落后于设计和制造能力，如何构建更快更好的设计验证方法是当前最大的问题。

　　SoC经过近十年的发展，有了广阔的市场。SoC验证研究领域在验证技术、验证方法学、测试码提取、验证描述语言、IP核重用验证、验证流程及验证评估方面取得了长足进步。但总体而言，验证、模拟和验证工作成为整个SoC学科发展的制约瓶颈，是提高设计生产率的障碍。

　　目前芯片一次投片成功率在35%左右，造成重复投片的主要原因就是验证不够充分。1999年当VSIA举行验证专题会时，许多世界级验证专家得出结论: 验证是件困难的事（hard），几周后又把结论更正为“Verification is not hard，it is very hard”。现在愈来愈达成共识: 单一的设计工具难以解决验证问题，而需要一系列复杂的工具和技术，来减少设计错误数，使之达到可接受的程度。

　　SoC验证工作比较繁杂。Janick Bergeron给“验证”下的定义是“证明一个设计的功能是否正确的过程”。SoC的验证工作贯穿整个设计流程，从行为级HDL设计，一直到芯片设计定案之前都需要做足够多的验证工作，当前验证工作量已经占整个设计工作量70%左右。

　　SoC验证研究内容很多，如: IP核/模块级验证、系统级验证、仿真验证、软硬件协同验证、等价性检查、静态时序分析和时序验证、版图验证等。随着验证技术的逐步发展，验证方法由最初的直接测试向量生成（Directed Test Vector Generation），到约束随机测试(Constrainted Random Test)，再到覆盖驱动验证(Coverage driven Verification)，一直到最新的基于断言的验证方法(Assertion-based Verification)，各种验证方法在不断创新发展。