Indexed by：
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. © 2013 Springer-Verlag.
Keyword：
Reprint Author's Address：
Email：
Source ：
ISSN： 0302-9743
Year： 2013
Volume： 8044 LNCS
Page： 229-234
Language： English
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count： 10
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count：
Chinese Cited Count：
30 Days PV： 10
Affiliated Colleges：
