Representation of Incompletely Specified Binary and Multiple-Valued Logic Functions by Compact Decision Diagrams

Incompletely specified logic functions are often met in computer science and engineering and their compact representations are a subject of a wide research interest. In this paper, we present a method for determining an assignment of unspecified function values that will produce compact decision dia...

Full description

Saved in:
Bibliographic Details
Published in2012 IEEE 42nd International Symposium on Multiple-Valued Logic pp. 142 - 147
Main Authors Stankovic, M., Stojkovic, S., Stankovic, R. S.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.05.2012
Subjects
compact represetation
Correlation
Data structures
Decision diagrams
Encoding
Incompletely specified logic functions
Logic functions
Transforms
Vectors
Online AccessGet full text
ISBN9781467309080
1467309087
ISSN0195-623X
DOI10.1109/ISMVL.2012.38

Cover

More Information
Summary:Incompletely specified logic functions are often met in computer science and engineering and their compact representations are a subject of a wide research interest. In this paper, we present a method for determining an assignment of unspecified function values that will produce compact decision diagrams. The method is based on the analysis of Walsh and Vilenkin-Chrestenson spectral coefficients for binary and multiple-valued functions, respectively, and the operation of spectral translation of logic functions. Spectral transforms are used to identify the linear function with strongest correlation with the initial function and assign the unspecified values as well as to specify the spectral translation that will result in a compact decision diagram.
ISBN:9781467309080
1467309087
ISSN:0195-623X
DOI:10.1109/ISMVL.2012.38