CacBDD: A BDD Package with Dynamic Cache Management

No Thumbnail Available
File version
Author(s)
Lv, Guanfeng
Su, Kaile
Xu, Yanyan
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Natasha Sharygina, Helmut Veith

Date
2013
Size
File type(s)
Location

Saint Petersburg, Russia,

License
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.

Journal Title
Conference Title

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject

Theory of computation not elsewhere classified

Persistent link to this record
Citation