(华强电子世界网独家报道) 11月14日，全球领先的提供自动化系统功能验证工具的供应商美国 verisity 公司与 newplus 公司合办的“verisity 新一代验证方案研讨会”历经北京、上海的成功举行之后在国家ic设计深圳产业化基地再续华章。来自业内的百余名专家、工程师济济一堂，共同领略了时下最新最具有变革意义的验证收敛性自动化技术。
以“验证流程自动化”为主题的本次研讨会具有极高的技术性，针对使用验证规律和自动化的验证方法展开讨论，介绍了由验证计划制定开始给出结果的验证策略，作为标准的验证收敛点的覆盖率，怎样使assertion方法能够适合全面的测试向量策略，全自动化的验证过程，包括快速高效的测试向量、直接随机产生过程、验证参考模型、规则时序检查以及功能覆盖率等技术，验证工作的重复利用方法使验证更加高效等内容，同时展示了这些技术怎样从模块级到芯片级以至整个系统级的验证实现，并且分步演示了其工具在当今极度复杂的芯片、系统、软硬件以及soc验证上的成功案例。最后，与会者还分享到其它在实际设计中使用 verisity 验证方法的体会。
目前，在整个ic设计中，60%-70%的时间会花费在功能验证方面。随着ic设计的规模和复杂程度越来越大，以及soc的大量出现，验证成了众多设计公司最难解决的问题之一。加之，产品市场化的速度也要求日益加快，因此，如何缩短设计的开发周期、提高设计质量、在设计伊始尽可能的保证设计的正确性，成了设计工程师最需要解决的问题。
提供有关ic功能验证解决方案的eda软件公司verisity提出的验证方法解决了设计验证领域的传统漏洞，实现了验证的完整性并大大缩短验证所需时间，实现了验证的自动化和验证模块的重用。具体体现在：
1. 随机产生测试向量大大缩短产品开发周期、提高产品质量
specman基于随机基础之上进行向量产生，伴随随机机制，同时施加监督机制，使之产生确实有用的、能发现bug的测试向量，这种监督机制大大提高验证效率；同时让机器自动产生测试向量，也大大提高了单位时间内测试向量的产量。
2. 功能覆盖清楚再现项目进度
verisity提供的监督机制具体表现就是“功能覆盖”，而非传统的“代码覆盖”，这样便可很好地量度整个验证过程，进行到哪个阶段、还有多少没有完成等情况一目了然。
3. 自动检查完全确保设计正确性
对于随机测试向量产生的机制，须有自动的设计正确性检查机制，才能知道输出怎样的值才是正确的。这样的检查分两种：数据检查和硬件协议检查。对于数据检查，specman使用记分牌方式进行，在特定时间点上，对设计输出的数据的正确性进行检查。对于硬件协议检查，verisity走在了前沿，其e语言提供简单有效的高级语法来支持断言（即最接近自然语言的方式），而非传统上的使用状态机。这样，一个复杂的协议，e语言用一两行语句就可表述出来，简单的描述也极大地保证了描述的正确性。
4. 验证工作重用性大大提高验证工作效率
e语言提供了简单却实用的方式来实现验证工作的重用。在verisity所拥有的全世界最广泛的验证联盟中，每个成员都在为其提供基于e语言的验证ip，使得verisity拥有100多个比任何一个eda公司都多的可重用的验证ip，用户可用这些验证ip来加速验证工作。
由于specman的卓越表现、e语言的强大功能和verisity的全新且行之有效的验证理论，99%的客户会再次购买该产品。到2003年，verisity占功能验证领域的市场份额达65%以上。在国外的功能验证领域，所有知名设计公司都将verisity的验证方法和系统specman作为标准验证平台。目前，verisity的客户已形成了一个国际性的代表最新验证方法和理论的验证团体，国内一些先进的设计公司和通讯公司也积极加入了或准备加入这一团体，以谋求更大发展。
关于newplus
新益系统科技有限公司（newplus systems & technologies ltd.）是美国verisity公司在中国大陆的唯一授权代理商。作为verisity全新验证概念和方法的应用软件供应商，新益系统科技有限公司不仅为客户进行产品介绍、技
