DocumentCode
2636496
Title
Five methods for simplification of logic function and comparison of their characteristics
Author
Goto, Kimio
Author_Institution
Dept. of Comput. Sci., Kanagawa Inst. of Technol., Kanagawa-ken, Japan
fYear
1990
fDate
1-3 May 1990
Firstpage
1122
Abstract
Five methods for generating all prime implicants from any given function, especially shown by the sum form of minterms which is suitable to program processing using the LISP language for the symbolic process, are proposed. Their characteristics are compared by running their LISP programs on the LISP machine ELIS. As a result, it was proved that in general, but particularly for the higher numbers of variables, the operating time of the AMG-DIV (adjacent-minterms-groups plus its division) method was equal to that of the IONEX-DIV (improved consensus expansion) method and that the operating times of both methods were superior to those of the other methods
Keywords
logic CAD; AMG-DIV; CAD; ELIS; IONEX-DIV; LISP language; LISP machine; adjacent-minterms-groups; division; improved consensus expansion; logic function simplification; operating times; prime implicants generation; symbolic process; Artificial intelligence; Binary trees; Character generation; Cities and towns; Computer science; Logic functions;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1990., IEEE International Symposium on
Conference_Location
New Orleans, LA
Type
conf
DOI
10.1109/ISCAS.1990.112315
Filename
112315
Link To Document