34th International Symposium on Multiple-Valued Logic (ISMVL'04)
A Method to Evaluate Logic Functions in the Presence of Unknown Inputs Using LUT Cascades
University of Toronto, Toronto, Canada
May 19-May 22
ISBN: 0-7695-2130-4
In logic simulation, we often need to evaluate two-valued logic functions in the presence of unknown inputs. However, a naive method often produces imprecise results. In these cases, we can obtain precise values by evaluating the regular ternary logic function for the given two-valued logic function. This paper shows a hardware realization of regular ternary logic functions. We use look-up table (LUT) cascades to implement double-rail logic representation. The evaluation time for n-input logic function is O(n) They require much smaller amount of hardware than naive memory implementations.
Citation:
Yukihiro Iguchi, Tsutomu Sasao, Munehiro Matsuura, "A Method to Evaluate Logic Functions in the Presence of Unknown Inputs Using LUT Cascades," ismvl, pp.302-308, 34th International Symposium on Multiple-Valued Logic (ISMVL'04), 2004