Kamaugh maps are widely used in the logic synthesis. However, the number of the variable it can deal with is limited. In this paper, two kinds of function shrinking techniques are proposed, and a fast algorithm to con...Kamaugh maps are widely used in the logic synthesis. However, the number of the variable it can deal with is limited. In this paper, two kinds of function shrinking techniques are proposed, and a fast algorithm to configure a truth vector into a XOR function is realized. There is no variable number limitation for this algorithm.展开更多
Reed-Muller logic is becoming increasingly attractive. However, its synthesis and optimization are difficult especially for mixed polarity Reed-Muller logic. In this paper, a function is expressed into a truth vector....Reed-Muller logic is becoming increasingly attractive. However, its synthesis and optimization are difficult especially for mixed polarity Reed-Muller logic. In this paper, a function is expressed into a truth vector. Product shrinkage, general sum shrinkage （GSS）, elimination and extraction operators are proposed to shrink the truth vector. A novel algorithm is presented to derive a compact Multi-level Mixed Polarity Reed-Muller Form （MMPRMF） starting from a given fixed polarity truth vector. The results show that a significant area improvement can be made compared with published results.展开更多
文摘Kamaugh maps are widely used in the logic synthesis. However, the number of the variable it can deal with is limited. In this paper, two kinds of function shrinking techniques are proposed, and a fast algorithm to configure a truth vector into a XOR function is realized. There is no variable number limitation for this algorithm.
文摘Reed-Muller logic is becoming increasingly attractive. However, its synthesis and optimization are difficult especially for mixed polarity Reed-Muller logic. In this paper, a function is expressed into a truth vector. Product shrinkage, general sum shrinkage （GSS）, elimination and extraction operators are proposed to shrink the truth vector. A novel algorithm is presented to derive a compact Multi-level Mixed Polarity Reed-Muller Form （MMPRMF） starting from a given fixed polarity truth vector. The results show that a significant area improvement can be made compared with published results.
