公司新闻

Mentor Graphics推出可扩展的验证解决方案---新版ModelSim加上最近获得的0-In 设计自动化的断言技术扩展了功能验证方法

  俄勒冈州WILSONVILLE,2004年10月4日 – Mentor Graphics(纳斯达克:MENT) 今日宣布,利用其新版流行的ModelSimÒ仿真器以及最近完成的0-In® 设计自动化产品的先进验证技术,对其可扩展验证(Scalable Verification TM)解决方案进行重要扩充。
  
  用ModelSim 6.0仿真器以及0-In产品系列,Mentor GraphicsÒ 目前可以为最先进的验证方法提供基于标准的支持。 通过对基于断言(Assertion)的验证、覆盖率驱动的验证流程以及验证IP提供支持,Mentor的可扩展验证平台为工程师提供了一种比目前更快的实现验证收敛的方法。
  
   “现有的验证方法气数已尽,”Mentor Graphics公司设计验证与测试部副总裁兼总经理Robert Hum说,“设计人员正在寻找能够显著提高其生产力的新的解决方案。需要诸如断言、静态分析、功能覆盖以及覆盖驱动的验证之类的方法和工具使验证差距闭合。我们的ModelSim 6.0版本中的新性能以及0-In 产品的获得使我们今天能够推出这些先进的解决方案。”
  
   ModelSim 6.0仿真器: 可扩展验证的核心
   Mentor的可扩展验证解决方案以ModelSim仿真环境为中心,并有行业领先的用于Verilog 2001、VHDL、PSL、SystemC和SystemVerilog.的标准支持,ModelSim 6.0工具为工程师提供增强的验证方法以支持更好和更快的验证,包括对基于断言的验证、功能覆盖以及覆盖驱动的验证的支持。
  
  通过提供本机断言引擎以及断言调试,ModelSim 6.0产品为 验证工程师提供了一种更好的测试设计的方法。利用基于断言的验证(ABV),验证工程师 能够更加容易地对一种设计进行测试以确保该设计符合其功能技术要求。ModelSim 6.0仿真器还包括功能覆盖性能,使工程师可以跟踪他们验证工作的有效性。将断言与功能覆盖结合起来就可以进行覆盖驱动的验证,在覆盖驱动的验证中,设计人员利用测试的反馈来为后续的测试确定目标,其结果就是大大提高了生产力和有效性。
  
   ModelSim 6.0仿真器的新功能贯穿于Mentor的 可扩展验证平台。通过与Seamless Ò 协同验证环境更加紧密地整合成一体,Mentor的 行业领先的软/硬件协同验证工具、VStationÔ 系列硬件加速器以及ADVanceÔ MS 高性能模拟/混合信号仿真器使设计人员对他们今天所面临的模拟、数字以及软件验证问题进行具有顶级水平的验证。
  
  利用0-In设计自动化对验证加以改进
  有了一支由综合、形式分析以及基于断言的验证领域著名专家组成的世界级的工程队伍 ,0-In设计自动化的获得扩展了Mentor Graphics的验证解决方案。15家最大的电子公司中的12家 已经在他们的集成电路(IC)设计验证流程中采用了0-In工具和方法。
  
   0-In工具将静态与动态技术相结合,提供独特的技术使其能够迅速高效地发现更多的程序错误。该工具提高了模拟和仿真验证技术的价值。例如,通过在Vstation系列硬件加速器上实现基于断言的验证以及功能覆盖,该工具使设计人员能够以高性能仿真运行获取完整的数据,从而大大增强了他们衡量测试周期完成情况的能力。
  
   “我们选择用0-In产品是因为他们现有的产品系列具有吸引力以及对未来的前景看好,”Hum说。“在这个领域的许多产品都未经过实战检验,而我们已经获得了成熟的产品,这些产品目前正在重要客户的流程中工作,为此我们感到兴奋。凭借Mentor销售力量的影响,我们能够把0-In解决方案带给更广泛的客户群。”
  
   Mentor Graphics将继续支持0-In现有的产品和用户,并将利用Mentor Graphics的全球销售和支持机构来扩大这些产品的销售和支持。0-In 产品将成为Mentor Graphics可扩展验证平台的一部分,并且还将继续与电子设计自动化(EDA)领域其它厂商的产品合作。
  
  关于Mentor Graphics 可扩展验证解决方案
   Mentor Graphics 可扩展验证解决方案是功能验证的最全面的EDA方法,它将标准支持、工具以及一种“可验证设计”方法组合在一起,使验证周期以及昂贵的设计费用减至最少。该解决方案提供业界最佳的语言支持以及最完善的验证途径,从HDL仿真到在线仿真,包括对测试台、断言以及功能原型的支持。可扩展验证解决方案包含了一流技术:ModelSim仿真环境、Seamless软/硬件协同验证、用于模拟/混合信号验证的ADVanceMS、FormalProÔ 等效校验、VStation与Celaro硬件仿真平台。欲知Mentor Graphics可扩展验证的更多详细情况,请登录网站www.mentor.com/fv