A Lower Bound on the Number of Variables to Represent Incompletely Specified Index Generation Functions

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.

[1]  Dan A. Simovici,et al.  Several Remarks on Index Generation Functions , 2012, 2012 IEEE 42nd International Symposium on Multiple-Valued Logic.

[2]  Tsutomu Sasao.  On the Numbers of Variables to Represent Multi-valued Incompletely Specified Functions , 2010, DSD 2010.

[3]  Frank M. Brown,et al.  Boolean reasoning - the logic of boolean equations , 1990 .

[4]  Tsutomu Sasao.  Design Methods for Multiple-Valued Input Address Generators , 2006, 36th International Symposium on Multiple-Valued Logic (ISMVL'06).

[5]  Constantin Halatsis,et al.  Irredundant Normal Forms and Minimal Dependence Sets of a Boolean Function , 1978, IEEE Transactions on Computers.

[6]  Tsutomu Sasao.  Memory-Based Logic Synthesis , 2011 .

[7]  Tsutomu Sasao,et al.  A Design Method of a Regular Expression Matching Circuit Based on Decomposed Automaton , 2012, IEICE Trans. Inf. Syst..

[8]  Tsutomu Sasao.  On the number of dependent variables for incompletely specified multiple-valued functions , 2000, Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000).

[9]  Tsutomu Sasao,et al.  Switching Theory for Logic Synthesis , 1999, Springer US.

[10]  Tsutomu Sasao,et al.  Index Generation Functions: Recent Developments , 2011, 2011 41st IEEE International Symposium on Multiple-Valued Logic.

[11]  Yahiko Kambayashi.  Logic Design of Programmable Logic Arrays , 1979, IEEE Transactions on Computers.

[12]  Tsutomu Sasao,et al.  A Virus Scanning Engine Using an MPU and an IGU Based on Row-Shift Decomposition , 2013, IEICE Trans. Inf. Syst..

[13]  Tsutomu Sasao.  On the numbers of variables to represent sparse logic functions , 2008, ICCAD 2008.

[14]  Tsutomu Sasao.  Linear decomposition of index generation functions , 2012, 17th Asia and South Pacific Design Automation Conference.

[15]  Tsutomu Sasao.  An Application of Autocorrelation Functions to Find Linear Decompositions for Incompletely Specified Index Generation Functions , 2013, 2013 IEEE 43rd International Symposium on Multiple-Valued Logic.

[16]  Tsutomu Sasao.  Multiple-Valued Input Index Generation Functions: Optimization by Linear Transformation , 2012, 2012 IEEE 42nd International Symposium on Multiple-Valued Logic.