CacBDD: A BDD package with dynamic cache management
文献类型：会议论文
| 作者 | Lv, Guanfeng (1) ; Su, Kaile (2) ; Xu, Yanyan (4) |
| 出版日期 | 2013 |
| 会议名称 | 25th International Conference on Computer Aided Verification, CAV 2013 |
| 会议日期 | July 13, 2013 - July 19, 2013 |
| 会议地点 | Saint Petersburg, Russia |
| 页码 | 229-234 |
| 通讯作者 | Su, K.(kailepku@gmail.com) |
| 中文摘要 | 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. © 2013 Springer-Verlag. |
| 英文摘要 | 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. © 2013 Springer-Verlag. |
| 收录类别 | EI |
| 会议录出版地 | Springer Verlag, Tiergartenstrasse 17, Heidelberg, D-69121, Germany |
| 语种 | 英语 |
| ISSN号 | 3029743 |
| ISBN号 | 9783642397981 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/16643]  |
| 专题 | 软件研究所_软件所图书馆_会议论文 |
| 推荐引用方式 GB/T 7714 | Lv, Guanfeng ,Su, Kaile ,Xu, Yanyan . CacBDD: A BDD package with dynamic cache management[C]. 见:25th International Conference on Computer Aided Verification, CAV 2013. Saint Petersburg, Russia. July 13, 2013 - July 19, 2013. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。