• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Second International Workshop on System-on-Chip for Real-Time Applications, Jul 6-7, 2002, Banff, Alberta >Aspect partitioning for Hardware Verification Reuse
【24h】

Aspect partitioning for Hardware Verification Reuse

机译：用于硬件验证重用的方面分区

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Technology advances strongly impact integrated circuits (IC) complexity. Current IC design methods have difficulties to handle this growth. In particular, hardware verification has become the main bottleneck of any major digital design effort. It is thus necessary to develop efficient methodologies for designing verification environments. To deal with this complexity, hardware verification languages (HVL), such as e, allow reducing the verification effort and contribute to raise the level of abstraction at which test benches are described. In addition, aspect-oriented programming (AOP) is an emerging technique, which promotes a better separation of concerns and improves reusability. We propose a partitioning method based on e, which uses AOP to facilitate verification program development, and we apply our method to a concrete example; verification of a subset of a SOC protocol converter platform.
机译：技术进步极大地影响了集成电路（IC）的复杂性。当前的IC设计方法难以应对这种增长。尤其是，硬件验证已成为任何主要数字设计工作的主要瓶颈。因此，有必要开发用于设计验证环境的有效方法。为了应对这种复杂性，硬件验证语言（HVL）（例如e）可以减少验证工作，并有助于提高描述测试平台的抽象水平。此外，面向方面的编程（AOP）是一种新兴技术，可促进更好的关注点分离并提高可重用性。我们提出了一种基于e的分区方法，该方法使用AOP来促进验证程序的开发，并将我们的方法应用于一个具体示例；验证SOC协议转换器平台的子集。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号