Title :
Multiple BDD based matrix multiplication
Author :
Bhuvaneswari, T. ; Prasad, V.C. ; Singh, Ajay Kumar
Author_Institution :
Fac. of Eng. & Technol., Multimedia Univ., Ayer Keroh, Malaysia
Abstract :
Binary Decision Diagrams (BDDs) are the most frequently used data structure for handling Boolean functions because of their excellent efficiency in terms of time and space. Algebraic Decision Diagrams (ADDs) have been used to solve general purpose problems such as Matrix Multiplication, logic synthesis and Formal Verification. We propose a Multiple BDD based Matrix Multiplication and compare the performance with ADD and WBDD based matrix multiplication. The results of the proposed method are promising and can be applied to other matrix related problems.
Keywords :
Boolean functions; binary decision diagrams; matrix multiplication; Boolean function; algebraic decision diagram; binary decision diagrams; data structure; formal verification; logic synthesis; matrix multiplication; Binary decision diagrams; Boolean functions; Data engineering; Data structures; Design automation; Formal verification; Integrated circuit synthesis; Logic testing; Space technology; Sparse matrices;
Conference_Titel :
Semiconductor Electronics (ICSE), 2010 IEEE International Conference on
Conference_Location :
Melaka
Print_ISBN :
978-1-4244-6608-5
DOI :
10.1109/SMELEC.2010.5549400
