Title :
EXMIN: a simplification algorithm for exclusive-OR-sum-of-products expressions for multiple-valued input two-valued output functions
Author_Institution :
Dept. of Comput. Sci. & Electron Eng., Kyushu Inst. of Technol., Iizuka, Japan
Abstract :
Minimization of AND-EXOR PLAs (programmable logic arrays) with input decoders corresponds to minimization of the number of products in exclusive-OR sum-of-products (ESOPs) expressions for multiple-valued-input, two-valued-output functions. A simplification algorithm for ESOPs, called EXMIN, is presented. The algorithm is based on an iterative improvement. Seven rules are used to replace one pair of products with another. Many AND-EXOR PLAs for arithmetic circuits are simplified. It is shown that in most cases AND-EXOR PLAs require fewer products than AND-OR PLAs
Keywords :
logic CAD; logic arrays; AND-EXOR PLAs; EXMIN; exclusive-OR sum-of-products; input decoders; programmable logic arrays; simplification algorithm; Algorithm design and analysis; Arithmetic; Automatic testing; Circuit testing; Computer science; Hardware; Iterative algorithms; Iterative decoding; Minimization; Programmable logic arrays;
Conference_Titel :
Multiple-Valued Logic, 1990., Proceedings of the Twentieth International Symposium on
Conference_Location :
Charlotte, NC
Print_ISBN :
0-8186-2046-3
DOI :
10.1109/ISMVL.1990.122597
