Authors: Moraga, Claudio
Sasao, Tsutomu
Stanković, Radomir 
Title: A unifying approach to edge-valued and arithmetic transform decision diagrams
Journal: Automation and Remote Control
Volume: 63
Issue: 1
First page: 125
Last page: 138
Issue Date: 1-Jan-2002
Rank: M23
ISSN: 0005-1179
DOI: 10.1023/A:1013743605263
This paper shows that binary decision diagrams (BDDs) and their generalizations are not only representations of switching and integer-valued functions, but also Fourier-like series expansions of them. Furthermore, it shows that edge-valued binary decision diagrams (EVBDDs) are related to arithmetic transform decision diagrams (ACDDs), which are the integer counterparts of the functional decision diagrams (FDDs). Finally, it shows that the complexity of multi-terminal binary decision diagrams (MTBDDs), EVBDDs and ACDDs of a function f depends on the structure of the truth-vector of f, partial arithmetic transform spectra of f and the arithmetic transform spectrum of f, respectively.
Publisher: Nauka Publishing

Show full item record


checked on May 22, 2024

Page view(s)

checked on May 9, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.