Title :
Optimization of multiple-valued AND-EXOR expressions using multiple-place decision diagrams
Author_Institution :
Kyushu Inst. of Technol., Iizuka, Japan
Abstract :
The author presents an optimization method for pseudo-Kronecker expressions of p-valued-input, two-valued-output functions using multiplace decision diagrams for p=2 and p=4. A conventional method using extended truth tables requires memory of O (3n) to simplify an n-variable expression, and is only practical for functions of up to n=14 variables when p=2. The method presented utilizes and can optimize considerably larger problems. Experimental results for up to n=39 variables are shown
Keywords :
many-valued logics; minimisation of switching nets; AND-EXOR expressions; multiple-place decision diagrams; optimization method; p-valued-input; pseudo-Kronecker expressions; two-valued-output; Arithmetic; Automatic control; Automatic logic units; Circuit synthesis; Error correction; Humans; Large scale integration; Logic circuits; Logic design; Optimization methods;
Conference_Titel :
Multiple-Valued Logic, 1992. Proceedings., Twenty-Second International Symposium on
Conference_Location :
Sendai
Print_ISBN :
0-8186-2680-1
DOI :
10.1109/ISMVL.1992.186830
