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

Tsutomu SASAO  Yuta URANO  Yukihiro IGUCHI  

IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E97-A   No.12   pp.2427-2433
Publication Date: 2014/12/01
Online ISSN: 1745-1337
DOI: 10.1587/transfun.E97.A.2427
Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: Logic Synthesis, Test and Verification
minimal cover,  linear transformation,  functional decomposition,  incompletely specified function,  logic minimization,  

Full Text: PDF(885.6KB)>>
Buy this Article

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.