Part of the book series:Lecture Notes in Computer Science ((LNCS,volume 2911))
Included in the following conference series:
901Accesses
Abstract
Present here is a novel algorithm for minimization of the Reduced Ordered Binary Decision Diagram (ROBDD) by finding the best variable ordering for any Boolean function. Selection of ordering relation is achieved by considering each sub functions.
This is a preview of subscription content,log in via an institution to check access.
Access this chapter
Subscribe and save
- Get 10 units per month
- Download Article/Chapter or eBook
- 1 Unit = 1 Article or 1 Chapter
- Cancel anytime
Buy Now
- Chapter
- JPY 3498
- Price includes VAT (Japan)
- eBook
- JPY 5719
- Price includes VAT (Japan)
- Softcover Book
- JPY 7149
- Price includes VAT (Japan)
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Akers, S.B.: Binary Decision Diagram. IEEE Trans. On Comp. 27, 509–516 (1978)
Bryant, R.E.: Graph–Based Algorithm for Boolean Function Manipulation. IEEE Trans. On Comp. 35, 677–691 (1986)
Friedman, S., Supowit, K.: Finding the Optimal Variable Ordering for Binary Decision Diagram. In: Design Automation Conf., pp. 348–356 (1987)
Steven, J.F., Kenneth, J.S.: Finding the Optimal Variable Ordering for Binary Decision Diagrams. IEEE Trans. On Comp. 39, 710–713 (1990)
Yang, C., Ciesielski, M.: BDS: A BDD–Based Logic Optimization System. IEEE Trans. On CAD of IC and Sys. 21, 866–876 (2002)
Bollig, B., Wegener, I.: Improving the Variable Ordering of OBDDs is NP–Complete. IEEE Trans. On Comp. 45, 993–1002 (1996)
Author information
Authors and Affiliations
Faculty of Information Science and Technology, Multimedia University, Jalan Ayer Keroh Lama, 75450, Melaka, Malaysia
P. W. Chandana Prasad, M. Maria Dominic & Ashutosh Kumar Singh
- P. W. Chandana Prasad
You can also search for this author inPubMed Google Scholar
- M. Maria Dominic
You can also search for this author inPubMed Google Scholar
- Ashutosh Kumar Singh
You can also search for this author inPubMed Google Scholar
Editor information
Editors and Affiliations
Department of Information Science, Faculty of Information Science & Technology, Universiti Kebangsaan Malaysia, Bangi, 43600, UKM Selangor, Malaysia
Tengku Mohd Tengku Sembok
Universiti Kebangsaan Malaysia, Bangi, Malaysia
Halimah Badioze Zaman
Department of Management Information Systems, Eller College of Management, The University of Arizona, AZ 85721, USA
Hsinchun Chen
International School of Information Management, University of Mysore, Mysore, India
Shalini R. Urs
School of Engineering, Information and Communications University, 119, Munjiro, Yuseong-gu, 305-732, Daejeon, Korea
Sung-Hyon Myaeng
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Prasad, P.W.C., Dominic, M.M., Singh, A.K. (2003). Improved Variable Ordering for ROBDDs. In: Sembok, T.M.T., Zaman, H.B., Chen, H., Urs, S.R., Myaeng, SH. (eds) Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access. ICADL 2003. Lecture Notes in Computer Science, vol 2911. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24594-0_55
Download citation
Publisher Name:Springer, Berlin, Heidelberg
Print ISBN:978-3-540-20608-8
Online ISBN:978-3-540-24594-0
eBook Packages:Springer Book Archive
Share this paper
Anyone you share the following link with will be able to read this content:
Sorry, a shareable link is not currently available for this article.
Provided by the Springer Nature SharedIt content-sharing initiative