Title :
A Lower Bound on the Number of Variables to Represent Incompletely Specified Index Generation Functions
Author :
Sasao, T. ; Urano, Yuta ; Iguchi, Yoshinori
Author_Institution :
Dept. of Comput. Sci., Meiji Univ., Kawasaki, Japan
Abstract :
Given an incompletely specified index generation function, the number of variables to represent the function can often be reduced by properly assigning don´t care values. In this paper, we derive a lower bound on the number of variables necessary to represent a given incompletely specified index generation function. We also derive three properties of incompletely specified index generation functions. We confirm these properties by experiments using random index generation functions.
Keywords :
minimisation of switching nets; multivalued logic; random processes; dont care values; functional decomposition; incompletely specified function; logic minimization; lower bound; random index generation functions; Computers; Equations; Indexes; Logic functions; Mathematical model; Probability; Vectors; functional decomposition; incompletely specified function; logic minimization; random function;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2014 IEEE 44th International Symposium on
Conference_Location :
Bremen
DOI :
10.1109/ISMVL.2014.10
