DocumentCode :
1938441
Title :
Spectral transformation of multiple-valued decision diagrams
Author :
Miller, D.M.
Author_Institution :
VLSI Design & Test Group, Victoria Univ., BC, Canada
fYear :
1994
fDate :
25-27 May 1994
Firstpage :
89
Lastpage :
96
Abstract :
This paper describes an algorithm which performs a spectral transformation of a multiple-valued function directly from a decision diagram representation. The spectrum is in turn represented as a decision diagram. The advantage of adding cycle operations to a spectral decision diagram is shown. The complexity of the representation of the spectrum is not fixed as in the matrix case and is shown to be quite compact for many `practical´ functions. Likewise, the execution time of the algorithm is not fixed as it depends on the complexity of the decision diagram representations of the function and the spectrum. This transformation algorithm opens the possibility of broader application of spectral logic design techniques particularly to functions with more variables than could be considered using earlier matrix transformation techniques. The algorithm is applicable to binary functions and to systems of functions. It is readily extended to other transformations with a recursive matrix definition
Keywords :
computational complexity; logic design; many-valued logics; spectral analysis; switching functions; binary functions; complexity; cycle operations; decision diagram representation; multiple-valued decision diagrams; spectral decision diagram; spectral logic design techniques; spectral transformation; Algorithm design and analysis; Binary decision diagrams; Boolean functions; Computer science; Councils; Data structures; Logic design; Performance evaluation; Testing; Very large scale integration;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Multiple-Valued Logic, 1994. Proceedings., Twenty-Fourth International Symposium on
Conference_Location :
Boston, MA
Print_ISBN :
0-8186-5650-6
Type :
conf
DOI :
10.1109/ISMVL.1994.302209
Filename :
302209
Link To Document :
بازگشت