Title :
A Local Selection Algorithm for Switching Function Minimization
Author :
Caruso, Giuseppe
Author_Institution :
Istituto di Elettrotecnica ed Elettronica, UniversitÃ\xa0 di Palermo, Palermo, Italy.
Abstract :
The minimization algorithms which do not require any preliminary generation of all the prime implicants (PI´s) of a function are the most efficient. In this work a new algorithm is described which follows such an approach. It is based on a local selection of PI´s carried out by examining a set of vertices whose number is never greater than the number of PI´s of a minimum cost cover. This algorithm takes advantage of a technique which uses numerical equivalents of the function vertices as pointers. For this reason it is well suited for implementation by computer. To illustrate the features of this algorithm a few examples are reported.
Keywords :
Computational complexity; Cost function; High level languages; Logic programming; Minimization methods; Testing; Tree data structures; Tree graphs; Graph covers; irredundant sets; minimization; singular vertices; tree-graphs;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1984.5009316