A Method to Find Linear Decompositions for Incompletely Specified Index Generation Functions Using Difference Matrix

This paper shows a method to find a linear transformation that reduces the number of variables to represent a given incompletely specified index generation function. It first generates the difference matrix, and then finds a minimal set of variables using a covering table. Linear transformations are used to modify the covering table to produce a smaller solution. Reduction of the difference matrix is also considered. key words: minimal cover, linear transformation, functional decomposition, incompletely specified function, logic minimization