电子工程专辑
UBM China

ARM及Averant联合发布验证Amba总线协议的形式工具

上网日期: 2003年11月06日 ?? 我来评论 字号:放大 | 缩小 分享到:sina weibo tencent weibo tencent weibo


打开微信“扫一扫”,打开网页后点击屏幕右上角分享按钮

1.扫描左侧二维码
2.点击右上角的分享按钮
3.选择分享给朋友

关键字:Amba bus? Formal tool? 验证? 总线协议?

ARM公司与Averant公司联合宣布SolidAHB静态功能验证工具,承诺能采用Amba AHB总线协议进行快速彻底的接口设计校验。该工具将由Averant公司作为其Solidify特性验证工具的附加产品进行销售。

Averant公司总裁Ramin Hojati表示,SolidAHB基本上是一种图形用户接口和一组与Solidify协同工作的验证脚本。验证脚本来源于ARM,而GUI由Averant的英国分销商Saros Technology开发。

尽管市场上也有帮助用户在仿真中验证Amba总线协议的工具,但它们需要生成测试向量,运行时间也长,Hojati指出。“我们提供运行速度非常快的工具。一旦规则通过证明,你就知道一个事实,即接口不会违反规则。它是一种比仿真更优越的验证Amba协议方法。”

该工具能帮助芯片设计师采用形式方法。Hojati称,“我们已尝试让特性验证成为主流。”SolidAHB将于12月开始付运,一年使用费为2.5万美元。该工具所需要的Solidify起价为一年4万美元。 Averant计划明年推出无需Solidify的独立版本工具。







我来评论 - ARM及Averant联合发布验证Amba总线协议的形式工具
评论:
*? 您还能输入[0]字
分享到: 新浪微博 qq空间
验证码:
????????????????
?

关注电子工程专辑微信
扫描以下二维码或添加微信号“eet-china”

访问电子工程专辑手机网站
随时把握电子产业动态,请扫描以下二维码

?

5G网络在提供1Gbps至10Gbps吞吐量方面具有很好的前途, 并且功耗要求比今天的网络和手机都要低,同时还能为关键应用提供严格的延时性能。本期封面故事将会与您分享5G的关键技术发展,以及在4G网络上有怎样的进步。

?
?
有问题请反馈
推荐到论坛,赢取4积分X