Access Restriction

Author Bhuvaneswari, T. ♦ Prasad, V.C. ♦ Singh, A.K.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2010
Language English
Subject Domain (in DDC) Natural sciences & mathematics ♦ Physics ♦ Electricity & electronics ♦ Technology ♦ Engineering & allied operations ♦ Applied physics
Subject Keyword Binary decision diagrams ♦ Boolean functions ♦ Data structures ♦ Sparse matrices ♦ Space technology ♦ Integrated circuit synthesis ♦ Formal verification ♦ Design automation ♦ Logic testing ♦ Data engineering
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.
Description Author affiliation: Faculty of Engineering and Technology, Multimedia University, Jalan Ayer Keroh Lama., 75450 Melaka, Malaysia (Bhuvaneswari, T.; Prasad, V.C.; Singh, A.K.)
ISBN 9781424466085
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2010-06-28
Publisher Place Malaysia
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
e-ISBN 9781424466092
Size (in Bytes) 709.79 kB
Page Count 5
Starting Page 114
Ending Page 118

Source: IEEE Xplore Digital Library