KL-cuts influence on optimization of polymorphic circuits based on PAIG rewriting

The synthesis process of complex polymorphic circuits represents a very demanding task in which the existing approaches, frequently based on various techniques known from the conventional digital circuits domain, fail to deliver acceptable results. This fact initiated the development of a scalable, rigid and multilevel-oriented synthesis flow to tackle the existing shortcomings. However, the conducted experiments have revealed a need to carry out certain modifications to improve the efficiency of the initially proposed polymorphic circuits optimization concept. Therefore, the main attention in this article is given to the investigation of KL-cuts and their impact on the resulting circuitry structure produced by the polymorphic and-inverter graphs rewriting technique introduced earlier. The principle of using KL-cuts within the synthesis process will be explained. Besides, a discussion of the obtained results and their comparison with the previously reported approach will be provided for a better clarification of the potential benefits.