整合多IPSOC芯片验证挑战和思路.docVIP

整合多IPSOC芯片验证挑战和思路 　　摘要：本文以一个整合了ARM核和多DSP核等IP的多媒体处理SOC芯片的验证项目为背景，介绍了项目中所采用的以覆盖率为目标，以随机验证为基础，自底向上的验证方法。文中结合了项目中的典型案例，针对SOC设计的特点，着重分析了如何建立带有完备的自检测功能的SOC验证环境和如何确立SOC验证功能点，即验证重点这两个随机验证工作中的难点。 　　 　　1. 引言 　　 　　随着应用环境越来越复杂，对成本和性能的要求越来越高，SOC设计已经成为IC设计的一个趋势。SOC设计一般包括一个或多个处理器系统(处理器及其外设)、存储器、互连总线、高速接口模块（如千兆以太网，RapidIO, PCI-Express等）。SOC设计实际上集成了以往的一块板级系统，千万门以上的设计非常多见，如何验证如此复杂的系统，是摆在设计者面前的一个问题。此外，SOC系统设计中绝大多数的任务就是整合现有的IP，因此主要问题就在IP之间复杂的接口上，而不是IP设计本身。如果没有一套快速有效的验证方法，验证将成为严重制约SOC产品开发的瓶颈。 　　文中需要验证的设计是一个带有多个DSP核和ARM核的典型SOC系统，芯片对外提供以太网接口和音频接口。ARM完成系统的配置和管理，DSP实现多媒体处理运算，通过多个DSP核可以完成大容量数据的处理，从而降低单信道成本。这种结构现在广泛用于音频、视频处理方面，具有灵活、高效等优势。 　　第二节概述了验证的方法，着重介绍以覆盖率为目标的随机验证的思路；第三节介绍如何将上述思路贯彻到SOC的设计中，并以几个项目中遇到的典型缺陷为例，着重分析验证重点（即验证功能点）的确立和自检测验证环境的建立这两个难点；最后一节总结全文，并给出几点结论。 　　 　　2. 验证方法介绍 　　 　　实际中，我们采用以覆盖率为目标的验证方法。在这个项目中，覆盖率为目标的验证思路得到了很好的贯彻。产品开发初始阶段，我们就定义好覆盖率，在随后的开发的每一个环节，覆盖率都被作为我们验证进程的衡量指标。到最后项目结束，覆盖率达到100％。下面着重阐述验证方法的几个重要方面。 　　 　　2.1 验证目标 　　覆盖率是我们的验证目标。所谓覆盖率包括两方面，代码覆盖率和功能点覆盖率。代码覆盖率比较简单，现在大部分的仿真器都支持自动统计代码覆盖率。而对于功能点覆盖率，则需要设计者或者验证者确定，有很大的人为因素。如何确立合理的功能点，即如何抓住验证的重点，是验证的关键。一般来说，验证者需要根据产品需求书和设计说明书，抽象出产品的特性，再细化为具体的验证功能点。这一过程也需要设计者的参与，因为设计者可以从设计角度给出一些验证重点的建设性意见。对于SOC设计，由于其结构的相似性，有许多相似的验证重点，下一节对其做了一些总结。 　　 　　2.2 验证流程 　　确立验证目标后，我们采用自底向上的验证流程。设计中重用的IP一般会提供相应的验证环境，主要的功能点覆盖率和代码覆盖率需要在IP的验证环境中达到。对于全新的设计，设计者需要建立子模块验证环境，来达到覆盖率的目标。而在系统级验证环境中，每个模块的输入激励的可控性受到很大的局限，因此覆盖的重点主要集中在IP之间的互连上。 　　 　　2.3 随机验证 　　在以覆盖率为目标的验证方法中，随机验证是一个很重要的方面。测试功能点实际上最终被具体为某些参数范围。例如，数据包传输系统中，数据包的长度，各个字段的可能值等都可以被作为测试功能点；设计内部的状态，端口的变化等也可以被用作测试点。在写测试实例时，需要尽量随机化这些参数，从而产生随机的测试矢量。这些随机矢量被作为待测芯片的激励。而随机化的结果，可以被环境记录下来，用来分析功能覆盖率。 　　随机验证需要验证环境的支持。一般来说，支持随机验证的环境有以下一些特点： 　　1) 完备的带有自检测功能的验证环境：环境需要自动对待测电路的正确行为进行预测，如果实际的行为和预测的行为不一致，环境需要指出错误。 　　2) 灵活的随机激励产生机制：随机激励需要具有随机性、稳定性和可重现性。随机性保证了激励产生具有良好的分布，经过多次重复，可以覆盖到所有可能的值；稳定性保证了不同的平台，仿真器等不会导致随机结果的变化；可重现性保证如果发现错误，可以很容易再现错误。 　　3) 随机结果记录机制：随机结果覆盖过的值，需要记录下来，以用作覆盖率的分析。 　　 　　2.4 直接测试 　　随机测试是测试的主要手段，而直接测试作为辅助手段，也是必不可少的。在测试的最后阶段，覆盖率分析后，可以采用直接测试弥补少量随机测试很难覆盖的测试漏洞，这样的效率往往会比较高。另外，在验证环境不够稳定，或者少数测试情况环境很难支持自检测