• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE International Workshop on System-on-Chip for Real-Time Applications >Automating Functional Coverage Analysis Based on an Executable Specification
【24h】

Automating Functional Coverage Analysis Based on an Executable Specification

机译：基于可执行规范自动化功能覆盖分析

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper presents a novel approach for functional coverage analysis automation. It is -well known that functional verification is a real bottleneck in any digital design development. Consequently, it is necessary to develop new methodologies to increase the quality of functional verification. A metric that measures the functional coverage is specific to each design, and it depends on its functional requirements. Hence, we propose a methodology supported by a tool that automates the coverage analysis at the functional level. Our tool takes as entry a standard executable specification and generates test bench components aimed at performing a functional coverage analysis on a specific design. We use functional metrics as parameters in our tool and apply theses metrics on an executable specification. Using our methodology, we are able to provide a quantitative evaluation of test suites developed to exercise the functionality defined in an executable specification. The application of these test suites on a RTL design improves error detection, through a better exploration of the design It also increase the degree of confidence in the design.
机译：本文提出了一种新颖的功能覆盖分析自动化方法。它已知功能验证是任何数字设计开发中的真正瓶颈。因此，有必要开发新的方法，以提高功能验证的质量。测量功能覆盖的度量特定于每个设计，并且它取决于其功能要求。因此，我们提出了一种由工具支持的方法，该工具可以在功能级别自动化覆盖分析。我们的工具作为条目标准可执行规范，并生成测试台组件，旨在对特定设计进行功能覆盖分析。我们将功能性指标用作我们工具中的参数，并在可执行规范上应用这些指标。使用我们的方法，我们能够提供对开发用于在可执行规范中定义的功能的测试套件进行定量评估。这些测试套件在RTL设计上的应用改善了错误检测，通过更好地探索设计，它也增加了设计的信心程度。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号