电子工程专辑
UBM China

印度研究人员提出削减设计验证时间的新方法

上网日期: 2005年10月31日 ?? 作者: K.C. Krishnadas ?? 我来评论 字号:放大 | 缩小 分享到:sina weibo tencent weibo tencent weibo


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

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

关键字:design validation? ic design? property verification? verification?

印度技术学院(IIT)的五位研究人员最近提出一种形式特性验证(FPV)的新方法。他们建议以直观的方式针对形式分析编写明确的测试方案。这些研究人员提出的方法还包含特性测试方案覆盖(test plan coverage by properties)的观念,以及识别测试方案的哪一部分被形式特性所覆盖的方法。研究人员表示:“我们相信,我们的方法将通过削减测试计划而缩短设计验证时间,有助于显著减少仿真费用。”

传统的形式验证方法尝试按照形式规范,采用诸如模型校验的技术验证给定的RTL实现。但纯粹的验证形式方法还仍然没有被设计流程所接纳。微架构编写设计的测试方案,这种结构化的方式用于检查设计在不同的时间点是否满足特性,并且在不同的输入序列下是否符合协议要求。但目前仍没有正式的明确的方式来编写测试方案,因此,设计师难以发现测试方案的哪一部分被形式特性验证(FPV)的结果所覆盖。

IIT的研究人员提出的测试方案可由FPV所覆盖。所提出的语法结构称为测试方案描述语言Test Plan Description Language(TDPL)。该语言的核心部分是使用简单的语法。

据研究人员发布的论文称,“在FPV中,由于缺乏足够的行为覆盖准则,设计人员并不明确知道FPV是否覆盖了测试计划中涉及的所有情形。”而他们则在论文中提出了构建测试计划的初步设想,并指出了测试计划中的部分内容如何使用FPV进行覆盖。研究人员建议,应该与设计架构师协同工作,共同改进编写测试计划的语法。他们称,采用ARM AMBA APB协议的一个具体案例实施效果良好。







我来评论 - 印度研究人员提出削减设计验证时间的新方法
评论:
*? 您还能输入[0]字
分享到: 新浪微博 qq空间
验证码:
????????????????
?

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

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

?

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

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