CacBDD: A BDD Package with Dynamic Cache Management. 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.
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- van Benthem, Johan; van Eijck, Jan; Gattinger, Malvin; Su, Kaile: Symbolic model checking for dynamic epistemic logic (2015)
- Lv, Guanfeng; Su, Kaile; Xu, Yanyan: Cacbdd: a BDD package with dynamic cache management (2013) ioport