A study on the constructions of MOVAGs based on algorithm for multiple-valued logic function manipulation and the circuit design using T-gate

The multiple-valued decision diagram (MDD) and the ordered MDD (OMDD) are used widely to represent multiple-valued logic functions. In the case of p-value n-variable, the number of nodes that increase to p/sup (n-1)/ certainly are reduced by using the reduced OMDD (ROMDD). However, multi-variables derive much more processing time. To improve this problem, the multiple-valued logic function must be represented by the output value array graphs (OVAG) with an input implicit/output explicit relation in binary systems. The representation of the MDD in a difficult situation derives an easier graph with an output value array by using the multi-OVAG (MOVAG). We propose the implementation method of the MOVAG and algorithm for the transition to MOVAG in the circuit. We verify the development of the processing time according to the reduced nodes.