• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Symposium on Automated Technology for Verification and Analysis(ATVA 2005); 20051004-07; Taibei(CT) >An Approach for the Verification of SystemC Designs Using AsmL
【24h】

An Approach for the Verification of SystemC Designs Using AsmL

机译：一种使用AsmL验证SystemC设计的方法

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

摘要

The spectacular advancement in microelectronics resulted in the creation of new system level design languages, such as SystemC, which put fourth new design and verification challenges. In this paper, we present an approach verifying SystemC designs using model checking and assertion based verification. Such verification is enabled through two transformations from SystemC to AsmL (the Abstract State Machines Language) and vice-versa. The soundness of these transformations, proved using abstract interpretation, guarantees the correctness of the model checking results and the validity of the generated assertion monitors (to be checked by simulation). We illustrate our approach on the SystemC/AsmL modeling and verification of the widely used Accelerated Graphics Port (AGP) standard. The verified AGP model can be either refined to implement an AGP core or used to validate existent compatible device.
机译：微电子技术的惊人进步导致创建了新的系统级设计语言，例如SystemC，这带来了第四项新的设计和验证挑战。在本文中，我们提出了一种使用模型检查和基于断言的验证来验证SystemC设计的方法。可以通过从SystemC到AsmL（抽象状态机语言）的两种转换来启用这种验证，反之亦然。这些转换的正确性（使用抽象解释证明）保证了模型检查结果的正确性以及所生成的断言监视器（将通过仿真进行检查）的有效性。我们说明了我们在SystemC / AsmL建模和广泛使用的加速图形端口（AGP）标准验证方面的方法。可以对经过验证的AGP模型进行完善以实现AGP内核，或者用于验证现有的兼容设备。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号