Multiple-valued programmable logic arrays with universal literals

A universal literal is a single-variable function and has an ability to manipulate more information than a set literal. The array size therefore could be eliminated by using universal literal generators (ULGs for short) in programmable logic arrays (PLAs), compared to PLAs with set literals. This paper discusses what operator is the most suitable in the term of eliminating the array size. We find four solutions as the good operator structures to eliminate the array size. A speculation of the upper bound of the array sizes is shown. Experiments are also done for randomly generated functions and some arithmetic functions. The experimental results show that the MAX-of-TPRODUCT form PLAs require the smallest array size.

[1]  Zvonko G. Vranesic,et al.  On the synthesis of 4-valued current mode CMOS circuits , 1991, [1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic.

[2]  Zvonko G. Vranesic,et al.  Towards the realization of 4-valued CMOS circuits , 1992, [1992] Proceedings The Twenty-Second International Symposium on Multiple-Valued Logic.

[3]  J. Ortega,et al.  CMOS current-mode multivalued PLAs , 1991, IEEE Transactions on Circuits and Systems.

[4]  Gerhard W. Dueck,et al.  Multiple-valued logic operations with universal literals , 1994, Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94).

[5]  Tsutomu Sasao.  On the Optimal Design of Multiple-Valued PLA's , 1989, IEEE Trans. Computers.

[6]  Vijayan K. Asari,et al.  An Optimization Technique for the Design of Multiple Valued PLA's , 1994, IEEE Trans. Computers.

[7]  Yutaka Hata,et al.  Multiple-valued logic functions represented by TSUM, TPRODUCT, NOT and variables , 1993, [1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic.

[8]  Jon T. Butler,et al.  HAMLET-an expression compiler/optimizer for the implementation of heuristics to minimize multiple-valued programmable logic arrays , 1990, Proceedings of the Twentieth International Symposium on Multiple-Valued Logic.

[9]  Gerhard W. Dueck.  Direct cover MVL minimization with cost-tables , 1992, [1992] Proceedings The Twenty-Second International Symposium on Multiple-Valued Logic.