Show simple item record

dc.contributor.authorLv, Guanfeng
dc.contributor.authorSu, Kaile
dc.contributor.authorXu, Yanyan
dc.contributor.editorNatasha Sharygina, Helmut Veith
dc.date.accessioned2017-12-05T12:00:30Z
dc.date.available2017-12-05T12:00:30Z
dc.date.issued2013
dc.date.modified2014-02-12T23:15:31Z
dc.identifier.refurihttp://cav2013.forsyte.at/
dc.identifier.doi10.1007/978-3-642-39799-8_15
dc.identifier.urihttp://hdl.handle.net/10072/56737
dc.description.abstractIn 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.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.publisherSpringer
dc.publisher.placeUnited States
dc.publisher.urihttp://cav2013.forsyte.at/
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencenameCAV 2013
dc.relation.ispartofconferencetitleComputer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
dc.relation.ispartofdatefrom2013-07-13
dc.relation.ispartofdateto2013-07-19
dc.relation.ispartoflocationSaint Petersburg, Russia,
dc.rights.retentionY
dc.subject.fieldofresearchComputation Theory and Mathematics not elsewhere classified
dc.subject.fieldofresearchcode080299
dc.titleCacBDD: A BDD Package with Dynamic Cache Management
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.date.issued2013
gro.hasfulltextNo Full Text
gro.griffith.authorSu, Kaile


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record