CacBDD: A BDD Package with Dynamic Cache Management
No Thumbnail Available
File version
Author(s)
Lv, Guanfeng
Su, Kaile
Xu, Yanyan
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
Publisher link
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