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 :
بازگشت