中文摘要：

极性转换是Reed-Muller（RM）逻辑电路优化的基本环节,该操作的具体数量随电路规模增长而增加,其速度直接影响整体优化算法的效率。针对RM电路的XNOR/OR实现形式,推导电路面积优化的数学模型;结合当前极性转换算法的优势,提出一种新型极性转换技术;根据新型极性转换的特点,构建适用于较大规模XNOR/OR电路的面积优化算法。实验结果表明,与已有极性转换方法相比,所提新型极性转换技术能明显改善XNOR/OR电路面积优化的效率。

英文摘要：

As a kind of basic operation, polarity conversion is largely involved in the polarity optimization of Reed- Muller （RM） logic circuits, especially for large-scale circuits. The rate of polarity conversion has a direct impact on efficiency of the polarity optimization. A mathematical model is established for area optimization of XNOR/OR circuits, which is a kind of basic realization of RM logic circuits. A novel polarity conversion technique is proposed by combining the superiorities of the existing ones. Based on the features of the novel conversion technique, an area optimization is proposed for large-scale XNOR/OR circuits. Experimental results show that compared to other conversion algorithms, the proposed polarity conversion technique can significantly improve the area optimization of XNOR/OR circuits.