Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by M.A. Thornton Articles by J.P. Williams Articles by R. Drechsler Articles by N. Drechsler

Design, Automation and Test in Europe (DATE '99)

Munich, Germany

March 09-March 12

ISBN: 0-7695-0078-1

	ASCII Text	x
	M.A. Thornton, J.P. Williams, R. Drechsler, N. Drechsler, "Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities," Design, Automation and Test in Europe Conference and Exhibition, pp. 758, Design, Automation and Test in Europe (DATE '99), 1999.

	BibTex	x
	@article{ 10.1109/DATE.1999.761217, author = {M.A. Thornton and J.P. Williams and R. Drechsler and N. Drechsler}, title = {Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities}, journal ={Design, Automation and Test in Europe Conference and Exhibition}, volume = {0}, year = {1999}, issn = {1530-1591}, pages = {758}, doi = {http://doi.ieeecomputersociety.org/10.1109/DATE.1999.761217}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Design, Automation and Test in Europe Conference and Exhibition TI - Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities SN - 1530-1591 SP EP A1 - M.A. Thornton, A1 - J.P. Williams, A1 - R. Drechsler, A1 - N. Drechsler, PY - 1999 VL - 0 JA - Design, Automation and Test in Europe Conference and Exhibition ER -

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DATE.1999.761217

The Shared Binary Decision Diagram (SBDD) with negative edge attributes can represent many functions in a compact form if a proper variable ordering is used. In this work we describe a technique for reordering the variables in an SBDD to reduce the size of the data structure. We use a heuristic to formulate a technique for the reordering problem based on probability metrics.

Citation:

M.A. Thornton, J.P. Williams, R. Drechsler, N. Drechsler, "Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities," date, pp.758, Design, Automation and Test in Europe (DATE '99), 1999

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.