verification method SoC设计验证技术发展综述 张志敏  傅  亮 摘要  本文分析SoC设计验证重要性和研究内容，具体阐述功能验证内容、功能验证方法 学、形式验证、时序验证和物理验证，重点介绍了IP验证、系统级验证、模拟仿真和FP GA验证以及各种验证手段，并指出设计验证技术和设计验证平台的发展方向。 关键词  SoC设计，设计验证技术，验证方法学 61   引 言 随着工艺能力和设计能力的快速发展，为了满足嵌入式系统市场对于成本、功能和功耗 的要求，SoC(System on-a- Chip)设计技术已经成为一种发展趋势。众所周知，迄今为止在集成电路发展过程中，摩 尔定律（单芯片上所能集成的晶体管数目每18个月翻一番）一直在起作用，因此SoC的规 模和功能在不断急剧膨胀，使得设计验证日益重要，向业界提出了巨大挑战，已成为了 整个SoC设计流程的瓶颈[1]。 目前芯片一次投片成功率只有35%左右，造成芯片重复投片的主要原因就是验证不够充分 。SoC设计的验证需要投入的资源已占整个设计资源的60%~80%。1999年当VSIA[1]举行验 证专题会时，许多世界级验证专家得出结论：验证是件困难的事（hard）,几周后更把结 论更正为“Verification is not hard,it is very hard”。现在愈来愈达成共识：单一的设计工具难以解决验证问题，而需要一系列复杂的 工具和技术，来减少设计错误数，使之达到可接受的程度。 SoC经过6、7年的发展，有了广阔的市场。SoC验证研究领域在验证技术、验证方法学、 测试码提取、验证描述语言、IP核重用验证、验证流程及验证评估方面取得了长足进步 。但总体而言验证技术已……