%0 Conference Paper %1 MS03 %A Meinel, Ch. %A Sack, H. %B Proc. of 6 th Int. Symposium on Representations and Methodology of Future Computing Technologies(Reed-Muller 2003) %D 2003 %K mypaper verification %P pp. 135-144 %T Adapted Variable Reordering for Parity-OBDDs %U http://www.minet.uni-jena.de/%7Esack/publications/rm2003-ch.ps %X Ordered Binary Decision Diagrams (OBDDs) have already proved useful in the process of electronic design automation. Due to limitations of the descriptive power of OBDDs more general models of Binary Decision Diagrams have been studied. In this paper, POBDDs as a true extension of the OBDD data structure are addressed. As for OBDDs, the most important factor influencing the representation size of POBDDs is the chosen order of the input variables. Adaptive variable reordering heuristics as sifting for OBDDs can be adapted to POBDDs, while some important restrictions arise from the property of being a non canonical data structure. The viability and the efficiency of the adapted sifting algorithm for POBDDs is shown by symbolic simulation of standard benchmarks.

@inproceedings{MS03, abstract = {Ordered Binary Decision Diagrams (OBDDs) have already proved useful in the process of electronic design automation. Due to limitations of the descriptive power of OBDDs more general models of Binary Decision Diagrams have been studied. In this paper, POBDDs as a true extension of the OBDD data structure are addressed. As for OBDDs, the most important factor influencing the representation size of POBDDs is the chosen order of the input variables. Adaptive variable reordering heuristics as sifting for OBDDs can be adapted to POBDDs, while some important restrictions arise from the property of being a non canonical data structure. The viability and the efficiency of the adapted sifting algorithm for POBDDs is shown by symbolic simulation of standard benchmarks.}, added-at = {2007-11-29T15:59:51.000+0100}, author = {Meinel, Ch. and Sack, H.}, biburl = {https://www.bibsonomy.org/bibtex/20e497bdfc528356265a48e50722470b0/lysander07}, booktitle = {Proc. of 6 th Int. Symposium on Representations and Methodology of Future Computing Technologies(Reed-Muller 2003)}, date = {2003}, description = {Publications of Harald Sack}, interhash = {3bb1cc689e3a830406909af32eef20fd}, intrahash = {0e497bdfc528356265a48e50722470b0}, keywords = {mypaper verification}, location = {Unversit t Trier, Trier, Germany}, pages = {pp. 135-144}, timestamp = {2009-01-27T15:24:50.000+0100}, title = {Adapted Variable Reordering for Parity-OBDDs }, url = {http://www.minet.uni-jena.de/%7Esack/publications/rm2003-ch.ps}, year = 2003 }