Catalogo Articoli (Spogli Riviste)

OPAC HELP

Titolo:
Baldwinian learning utilizing genetic and heuristic algorithms for logic synthesis and minimization of incompletely specified data with Generalized Reed-Muller (AND-EXOR) forms
Autore:
Dill, KM; Perkowski, MA;
Indirizzi:
Portland State Univ, Dept Elect Engn, Portland, OR 97207 USA Portland State Univ Portland OR USA 97207 ct Engn, Portland, OR 97207 USA
Titolo Testata:
JOURNAL OF SYSTEMS ARCHITECTURE
fascicolo: 6, volume: 47, anno: 2001,
pagine: 477 - 489
SICI:
1383-7621(200106)47:6<477:BLUGAH>2.0.ZU;2-7
Fonte:
ISI
Lingua:
ENG
Soggetto:
BOOLEAN FUNCTIONS; EXPANSIONS; OPTIMIZATION; COMPUTATION; COMPLEXITY;
Keywords:
incompletely specified generalized Reed-Muller forms; AND-EXOR forms; logic synthesis and minimization; Baldwinian learning; genetic algorithims;
Tipo documento:
Article
Natura:
Periodico
Settore Disciplinare:
Engineering, Computing & Technology
Citazioni:
48
Recensione:
Indirizzi per estratti:
Indirizzo: Dill, KM Portland State Univ, Dept Elect Engn, Portland, OR 97207 USA Portland State Univ Portland OR USA 97207 Portland, OR 97207 USA
Citazione:
K.M. Dill e M.A. Perkowski, "Baldwinian learning utilizing genetic and heuristic algorithms for logic synthesis and minimization of incompletely specified data with Generalized Reed-Muller (AND-EXOR) forms", J SYST ARCH, 47(6), 2001, pp. 477-489

Abstract

This research applies a new heuristic combined with a genetic algorithm (GA) to the task of logic minimization for incompletely specified data, with both single and multi-outputs, using the Generalized Reed-Muller (GRM) equation form. The GRM equation type is a canonical expression of the Exclusive-Or Sum-of-Products (ESOPs) type, in which for every subset of input variables there exists not more than one term with arbitrary polarities of all variables. This AND-EXOR implementation has been shown to be economical, generally requiring fewer gates and connections than that of AND-OR logic. GRM logic is also highly testable, making it desirable for FPGA designs. The minimization results of this new algorithm tested on a number of binary benchmarks are given. This minimization algorithm utilizes a GA with a two-levelfitness calculation, which combines human-designed heuristics with the evolutionary process, employing Baldwinian learning. In this algorithm, first a pure GA creates certain constraints for the selection of chromosomes, creating only genotypes (polarity vectors), The phenotypes (GRMs) are then learned in the environment and contribute to the GA fitness (which is the total number of terms of the best GRM for each output), providing indirect feedback as to the quality of the genotypes (polarity vectors) but the genotypechromosomes (polarity vectors) remain unchanged. In this process, the improvement in genotype chromosomes (polarity vectors) is the product of the evolutionary processes from the GA only. The environmental learning is achieved using a human-designed GRM minimization heuristic. As much previous research has presented the merit of AND-EXOR logic for its high density and testability, this research is the first application of the GRM (a canonical AND-EXOR form) to the minimization of incompletely specified data. (C) 2001 Published by Elsevier Science B.V.

ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 25/01/20 alle ore 09:31:29