• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Computer aided verification >CacBDD: A BDD Package with Dynamic Cache Management
【24h】

CacBDD: A BDD Package with Dynamic Cache Management

机译：CacBDD：具有动态缓存管理的BDD软件包

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

摘要

In this paper, we present CacBDD, a new efficient BDD (Binary Decision Diagrams) package. It implements a dynamic cache management algorithm, which takes account of the hit-rate of computed table and available memory. Experiments on the BDD benchmarks of both combinational circuits and model checking show that CacBDD is more efficient compared with the state-of-the-art BDD package CUDD.
机译：在本文中，我们介绍了CacBDD，这是一种新型的高效BDD（二进制决策图）程序包。它实现了动态缓存管理算法，该算法考虑了计算表和可用内存的命中率。结合电路和模型检查的BDD基准测试表明，与最新的BDD封装CUDD相比，CacBDD的效率更高。

著录项

  • 来源
    《Computer aided verification》|2013年|229-234|共6页
  • 会议地点 Saint Petersburg(RU)
  • 作者

    Guanfeng Lv; Kaile Su; Yanyan Xu;

  • 作者单位

    School of Comput. Sci. and Tech., Beijing University of Technology, Beijing, China;

    IIIS, Griffith University, Brisbane, Australia ,Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing, China;

    School of Inf. Sci. and Tech., Beijing Forestry University, China ,State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号