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

Tsutomu SASAO  Yuta URANO  Yukihiro IGUCHI  

Publication
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
Keyword: 
minimal cover,  linear transformation,  functional decomposition,  incompletely specified function,  logic minimization,  

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




Summary: 
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.