CacBDD: A BDD package with dynamic cache management - 文章详情页

作者：

Lv, Guanfeng (Lv, Guanfeng.) | Su, Kaile (Su, Kaile.) | Xu, Yanyan (Xu, Yanyan.)

收录：

EI Scopus

摘要：

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.

关键词：

Computer aided analysis Binary decision diagrams Boolean functions Model checking

作者机构：

[ 1 ] [Lv, Guanfeng]School of Comput. Sci. and Tech., Beijing University of Technology, Beijing, China
[ 2 ] [Su, Kaile]IIIS, Griffith University, Brisbane, QLD, Australia
[ 3 ] [Su, Kaile]Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing, China
[ 4 ] [Xu, Yanyan]School of Inf. Sci. and Tech., Beijing Forestry University, China
[ 5 ] [Xu, Yanyan]State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China

通讯作者信息：

电子邮件地址：

kailepku@gmail.com

查看成果更多字段

成果类型
所属机构

所有年份指定年份从至