The following information was submitted:
Transactions: WSEAS TRANSACTIONS ON COMPUTERS
Transactions ID Number: 52-714
Full Name: Raseen Mohamed
Position: Senior Lecturer
Age: ON
Sex: Male
Address: L1, TNHB Colony, Seeranaicken Palayam, Coimbatore, Tamil Nadu, 641007
Country: INDIA
Tel: 9751751688
Tel prefix: 91
Fax:
E-mail address: mohdraseen@yahoo.com
Other E-mails:
Title of the Paper: Effect of don't cares on the size of ROBDD
Authors as they appear in the Paper: Mohamed Raseen, S. Deivanai, K. Thanushkodi
Email addresses of all the authors: mohdraseen@yahoo.com, deivanaipradeepan@gmail.com, thanush12@gmail.com
Number of paper pages: 12
Abstract: Reduced ordered binary decision diagrams (ROBDDs) are one of the efficient methods to represent Boolean functions. Various algorithms have been developed to reduce the size (number of nodes) of ROBDDs. The values assigned for don't cares in the Boolean function plays a major role in the size of the corresponding ROBDD. Several algorithms have already been developed to assign specific values to don't cares that lead to minimum size of the ROBDD. Many models have been proposed to measure the size of ROBDD for simplified and un-simplified Boolean functions. Models have also been proposed for the size of the ROBDD for the corresponding XOR and XNOR min-terms. This paper proposes a new mathematical model for the size variation of the ROBDD for various min-terms and various values of don't cares. The proposed mathematical model will also be helpful to find the size of ROBDD for the set of min-terms by simply assigning zero for the number of don't cares. Since this mathem!
atical model can predict the size of the ROBDD without actually building it will reduce the computational time in many VLSI - computerized design software that manipulate on Boolean functions and ROBDD representation optimizations
Keywords: Reduced Ordered Binary Decision Diagrams, Design complexity, Mathematical models, Boolean functions representations, Min terms, Don't cares.
EXTENSION of the file: .pdf
Special (Invited) Session:
Organizer of the Session:
How Did you learn about congress: VLSI Synthesis, Boolean Algebra, ROBDD, Mathematical Modelling, Boolean Function Complexity
IP ADDRESS: 115.241.31.154
