CacBDD: a BDD package with dynamic cache management

Authors:
Guanfeng Lv;Kaile Su;Yanyan Xu
Affiliations:
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
Venue:
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Year:
2013

Citing 8
Cited 0

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
Efficient implementation of a BDD package

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
The design of a cache-friendly BDD library

Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
A Performance Study of BDD-Based Model Checking

FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
NuSMV 2: An OpenSource Tool for Symbolic Model Checking

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
A Consumer Report on BDD Packages

SBCCI '03 Proceedings of the 16th symposium on Integrated circuits and systems design
JTLV: a framework for developing verification algorithms

CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
A Succinct and Efficient Implementation of a 2^32 BDD Package

TASE '12 Proceedings of the 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.