集成电路设计厂商－新思科技，24日发表OpenVera 2.0版本，新加入支持Intel ForSpec语言的OperaVera验证叙述．OpenVera 2.0结合OpenVera硬件验证语言的优点与Intel最新的一致性验证语言格式，ForSpec，提供验证社群一个具有更多开放性资源的硬件验证语言．

Intel设计技术部门的副总裁，Greg Spirakis 表示，「Intel发展一致性功能验证已经有很多年的经验．我们最新的ForSpec语言，正被运用在我们许多微处理器与芯片组的计划当中，藉由与新思科技的合作，我们正为开放性资源的环境提供我们的一致性验证技术．我们相信，开放性资源的标准以及藉由与EDA供货商间的合作来产生软件工具来支持这样的标准，对我们而言，是有很大帮助的。」

新思科技验证技术部门的资深副总裁暨总经理，Manoj Gandhi表示，「我们与Intel的合作是EDA业界如何能够快速强化OpenVera标准的一个范例，在新思科技，我们承诺为所有用户社群，提供一个信息开放而且最先进的硬件验证语言．」

验证叙述是一种被用来具体描述设计行为的陈述说明．在动态仿真之中，这些陈述可交互运用当作监测器来侦测设计行为的错误，或用来当作验证属性，利用一致性验证的方式来加以彻底验证．OpenVera验证叙述能够简洁地描绘出设计规格，并减少用户所需要撰写的程序代码数量．有了明显易懂的规格与较少的程序代码，验证的生产力便可以提高．加入Intel的ForSpec语言，OpenVera 2.0已经为一致性与阶层式验证加强提供其语言特性，并且支持更广泛的异步重新设定与复杂时序的设计方式．