Weights binary decision diagram (WBDD) and its application to matrix multiplication

T. Bhuvaneswari; V. C. Prasad; A. K. Singh; Chandana Penatiyana Withanage

doi:10.1109/CITISIA.2009.5224162

Weights binary decision diagram (WBDD) and its application to matrix multiplication

T. Bhuvaneswari, V. C. Prasad, A. K. Singh, Chandana Penatiyana Withanage

Research output: Book chapter/Published conference paper › Conference paper › peer-review

2 Citations (Scopus)

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 new type of BDD called weights binary decision diagram (WBDD). We apply the proposed BDD for matrix multiplication. We express weights as binary values and the matrix can be represented by a collection of matrices taken for each weight bit. Since the Boolean expressions are for weight values, the computations are easier and faster compared to ADDs.

Original language	English
Title of host publication	CITISIA2009
Place of Publication	United States
Publisher	Institute of Electrical and Electronics Engineers
Pages	470-475
Number of pages	6
ISBN (Electronic)	9781424428878
DOIs	https://doi.org/10.1109/CITISIA.2009.5224162
Publication status	Published - 2009
Event	IEEE Conference on Innovative Technologies in Intelligent Systems and Industrial Applications - Kuala Lumpur, Malaysia, Malaysia Duration: 25 Jul 2009 → 26 Jul 2009

Conference

Conference	IEEE Conference on Innovative Technologies in Intelligent Systems and Industrial Applications
Country/Territory	Malaysia
Period	25/07/09 → 26/07/09

Access to Document

10.1109/CITISIA.2009.5224162

Cite this

@inproceedings{e752aea9c4f24e15848f14b31116b733,

title = "Weights binary decision diagram (WBDD) and its application to matrix multiplication",

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 new type of BDD called weights binary decision diagram (WBDD). We apply the proposed BDD for matrix multiplication. We express weights as binary values and the matrix can be represented by a collection of matrices taken for each weight bit. Since the Boolean expressions are for weight values, the computations are easier and faster compared to ADDs.",

keywords = "Binary values, Boolean expressions, Decision diagram, Formal verifications, General purpose, Logic synthesis, MAtrix multiplication, Matrix, Time and space, Weight values",

author = "T. Bhuvaneswari and Prasad, {V. C.} and Singh, {A. K.} and {Penatiyana Withanage}, Chandana",

note = "Imported on 03 May 2017 - DigiTool details were: publisher = United States: Institute of Electrical and Electronics Engineers, 2009. Event dates (773o) = 25-26 July 2009; Parent title (773t) = IEEE Conference on Innovative Technologies in Intelligent Systems and Industrial Applications.; IEEE Conference on Innovative Technologies in Intelligent Systems and Industrial Applications ; Conference date: 25-07-2009 Through 26-07-2009",

year = "2009",

doi = "10.1109/CITISIA.2009.5224162",

language = "English",

pages = "470--475",

booktitle = "CITISIA2009",

publisher = "Institute of Electrical and Electronics Engineers",

}

Bhuvaneswari, T, Prasad, VC, Singh, AK & Penatiyana Withanage, C 2009, Weights binary decision diagram (WBDD) and its application to matrix multiplication. in CITISIA2009. Institute of Electrical and Electronics Engineers, United States, pp. 470-475, IEEE Conference on Innovative Technologies in Intelligent Systems and Industrial Applications, Malaysia, 25/07/09. https://doi.org/10.1109/CITISIA.2009.5224162

TY - GEN

T1 - Weights binary decision diagram (WBDD) and its application to matrix multiplication

AU - Bhuvaneswari, T.

AU - Prasad, V. C.

AU - Singh, A. K.

AU - Penatiyana Withanage, Chandana

N1 - Imported on 03 May 2017 - DigiTool details were: publisher = United States: Institute of Electrical and Electronics Engineers, 2009. Event dates (773o) = 25-26 July 2009; Parent title (773t) = IEEE Conference on Innovative Technologies in Intelligent Systems and Industrial Applications.

PY - 2009

Y1 - 2009

N2 - 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 new type of BDD called weights binary decision diagram (WBDD). We apply the proposed BDD for matrix multiplication. We express weights as binary values and the matrix can be represented by a collection of matrices taken for each weight bit. Since the Boolean expressions are for weight values, the computations are easier and faster compared to ADDs.

AB - 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 new type of BDD called weights binary decision diagram (WBDD). We apply the proposed BDD for matrix multiplication. We express weights as binary values and the matrix can be represented by a collection of matrices taken for each weight bit. Since the Boolean expressions are for weight values, the computations are easier and faster compared to ADDs.

KW - Binary values

KW - Boolean expressions

KW - Decision diagram

KW - Formal verifications

KW - General purpose

KW - Logic synthesis

KW - MAtrix multiplication

KW - Matrix

KW - Time and space

KW - Weight values

U2 - 10.1109/CITISIA.2009.5224162

DO - 10.1109/CITISIA.2009.5224162

M3 - Conference paper

SP - 470

EP - 475

BT - CITISIA2009

PB - Institute of Electrical and Electronics Engineers

CY - United States

T2 - IEEE Conference on Innovative Technologies in Intelligent Systems and Industrial Applications

Y2 - 25 July 2009 through 26 July 2009

ER -

Weights binary decision diagram (WBDD) and its application to matrix multiplication

Abstract

Conference

Access to Document

Fingerprint

Cite this