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 1 article )
Showing result 1 of 1.
- Lv, Guanfeng; Su, Kaile; Xu, Yanyan: Cacbdd: a BDD package with dynamic cache management (2013) ioport