内容导读：

     验证流程自动化解决方案(VPA)提供商——Verisity公司和ARM日前宣布，双方合作向两公司共有客户针对系统级的验证工作提供验证IP。
    
     这两家公司将共同开发ARM11系列的验证IP，这些验证IP将由AXI的e验证IP(eVC)，以及建立在Verisity公司验证流程自动化方案上的先进技术方法开始进行开发。
    
     双方解释说，很多ARM核的合作开发伙伴的设计现在正在将单一芯片系统整合推向极限。很多基于ARM11微处理器结构的设计需要数以十亿计的验证周期和以百G级的信息，这些需要分散到很多不同地区的计算机和工程师资源上去。正是基于这个原因，ARM和Verisity公司合作来帮助客户使这些针对下一代设计的验证问题变得更加简单。
    
     “我们相信下一代的芯片设计者需要一个能够在模块级、系统级以及项目级进行自动化验证的平台，”ARM公司的验证方法经理Alan Hunter说道，“Verisity公司提供的验证流程自动化方案能够和一些新的验证IP很好地进行工作、能够很好的进行开发并且能够让我们的客户在外围跑ARM的验证组件。所有这些将使基于ARM核的设计的验证工作在未来变得更加简单和快捷。”
    
     据介绍，ARM11系列处理器包含有一系列的高质量的微处理器核心和使用新的高数据传输量的AMBA 3.0 AXI总线系统的平台。AXI eVC将成为AXI总线的完整验证环境中的一部分，其中包含模块级和芯片级的激励产生器、数据和断言检查以及基于规格书的功能覆盖率的分析，AXI eVC将严格符合Verisity的e重用方法学(eRM)以及ARM公司所提供的AXI验证平台。
    
    
    
    
    
    

标签：

来源:eetchina.com 作者: 时间:2004/3/2 0:00:00