dc.contributor.author | Lv, Guanfeng | |
dc.contributor.author | Su, Kaile | |
dc.contributor.author | Xu, Yanyan | |
dc.contributor.editor | Natasha Sharygina, Helmut Veith | |
dc.date.accessioned | 2017-12-05T12:00:30Z | |
dc.date.available | 2017-12-05T12:00:30Z | |
dc.date.issued | 2013 | |
dc.date.modified | 2014-02-12T23:15:31Z | |
dc.identifier.refuri | http://cav2013.forsyte.at/ | |
dc.identifier.doi | 10.1007/978-3-642-39799-8_15 | |
dc.identifier.uri | http://hdl.handle.net/10072/56737 | |
dc.description.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. | |
dc.description.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.language | English | |
dc.publisher | Springer | |
dc.publisher.place | United States | |
dc.publisher.uri | http://cav2013.forsyte.at/ | |
dc.relation.ispartofstudentpublication | N | |
dc.relation.ispartofconferencename | CAV 2013 | |
dc.relation.ispartofconferencetitle | Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings | |
dc.relation.ispartofdatefrom | 2013-07-13 | |
dc.relation.ispartofdateto | 2013-07-19 | |
dc.relation.ispartoflocation | Saint Petersburg, Russia, | |
dc.rights.retention | Y | |
dc.subject.fieldofresearch | Theory of computation not elsewhere classified | |
dc.subject.fieldofresearchcode | 461399 | |
dc.title | CacBDD: A BDD Package with Dynamic Cache Management | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
gro.date.issued | 2013 | |
gro.hasfulltext | No Full Text | |
gro.griffith.author | Su, Kaile | |