SoC设计刺激功能验证平台需求.pdf

虫国电壬遮计业动奎呈!匦呈Q斟I垦s唑I鱼丛I丛剑丛△ SoC设计刺激功能验证平台需求 随着设计复杂度的增加，以及 机制在其产品中的具体表现就是功能 有效的高级语法来支持断言，一个复 SoC应用的普及，功能验证的重要性覆盖。传统验证方法使用的代码覆盖 杂的协议，e语言可以使用一两行的 在日益增加。传统的基于仿真的验证 只能告诉设计者在整个仿真过程中有 语句就表述出来，而要使用传统的状 需要数百万的测试向量来验证一个行 多少代码被运行了，而SPECMAN的态机来表述这样的协议，需要十几行 为，而且仿真一般都处于系统集成完 功能覆盖是基于设计规范而定义的， 甚至上百行的语句。 成后，因而设计返工次数多，验证的可 使用简单直接的方式对设计规范的功 最后，验证工作重用性大大提高 靠性不麓保证。Verisity公司提供的前能进行描述，可以告知工程师代码到 了验证效率。设计重用可以大大缩短 端验证工具SPECMAN和e语言是为底实现了多少在设计规范中所定义的 项目的开发周期和产品进入市场的时 功能，在整个验证过程中对验证进行 间，对于验证工程师，验证重用同样重 验证工作量身定做的系统。Verisity在 中国大陆的唯一授权代理商新益 监督，而且这样的监督机制可以很好 要。e语言由于其简单实用的语法，使 (NewPlus)系统科技有限公司总裁彭地度量整个验证过程，使工程师很容 工程师可以很容易实现验证重用。同 京说：“SPECMAN具有自动向量生易了解验证进行到了何阶段。 时Verisity在全球拥有广泛的验证联 成、功能覆盖、自动数据检查和硬件协 再有，自动检查功能确保设计正 盟，他们为Verisity提供基于e语言的 议检查功能，以及验证工作重用性等 确性。为了使工程师明确设计输出什 可重用的验证IP，截至目前，Ve“sity 已拥有超过100个验证IP，用户可以 特点。使用该平台，可有效保证项目进 么样的值才是正确的。SPECMAN提 度、减少设计返工次数，缩短产品面市 供了两种设计正确性检查机制：数据 使用这些IP来加速自己的验证工作。 时间、节约开发成本。” 检查和硬件协议检查。所谓数据检 Ve^s时公司是一家总部位于美国 查，就是在某个特定的时间点上，对 的功能验证自动化工具提供商，2003年 Verisity功能验证平台具有一系 列有利于SoC设计的特性，首先，其设计输出数据的正确性的检查， 其在功能验证市场的占有率达到65％ 随机产生测试向量功能可大大缩短产 SPECMAN使用记分牌方式进行。而以上。“作为Vens时全新验证概念和方 品开发周期，提高产品质量。在使用 硬件协议检查，即对硬件信号之间的 法的应用软件供应商，新益系统科技可 传统方法进行验证工作的时候，工程 关系进行的检查，SPECMAN使用基以为客户进行产品介绍、技术交流、人 师不得不自己编写测试向量，这种方 于断言的方式进行。所谓断言方式， 员培训，以及共同解决客户在设计验证 法从根本上限制了在单位时间内产生 就是用最接近自然语音的方式来描述 中出现的问题。”彭京说。(唐海燕) 测试向量的数量。同时，当设计复杂 硬件协议，而不是 度增高时，验证工程师并不能考虑到 使用状态机，然后 所有需要的测试向量，因而降低了发 在仿真时把硬件信 现“Bug”的几率，继而危害到设计号之间变化的关系 和断言方式的描述 的可靠性。Verisity的SPECMAN的 测试向量是随机产生的，同时施加监 进行比较，从而确 督机制，使得SPECMAN能产生出确定协议的硬件实现 实有效的测试向量。 是否正确。 其次，功能覆盖使验证工程师明 Verisity提出 的e语言提供简单 随着设计复杂度的提高，功能验证在Ic设计中的重要性日益增加。 确项目进度。Verisity所提供的监督 臼机系统解决方案。 了新一代更小型、更具移动性的连接 VGA相机构成，集成了照相和视频功 飞利浦认为无线连接技术是推动 装置中。