24 th. EUROMICRO Conference Volume 1 (EUROMICRO'98)
An Efficient Approach to Decomposition of Multi-Output Boolean Functions with Large Sets of Bound Variables
Västerås, Sweden
August 25-August 27
ISBN: 0-8186-8646-4
Finding appropriate bound sets of variables is the most important task of functional decomposition. When solving some problems the bound sets need to be large, for instance in decomposition to symmetric subfunctions realized in MOPS arrays for submicron technologies, or when no good small bound sets exist. In such cases the creation of the incompatibility graph, that is necessary to evaluate good variable partitionings, becomes very inefficient. Therefore an algorithm is proposed here, that can speed up this process by orders of magnitude without sacrifying the quality of the decomposition, because the same graph coloring algorithms (exact or approximate) is still applied to the created graph.
Citation:
Michael Burns, Marek Perkowski, Lech Jóźwiak, "An Efficient Approach to Decomposition of Multi-Output Boolean Functions with Large Sets of Bound Variables," euromicro, vol. 1, pp.10016, 24 th. EUROMICRO Conference Volume 1 (EUROMICRO'98), 1998