多级XNOR/OR电路逻辑综合及最佳极性搜索

项目名称： 多级XNOR/OR电路逻辑综合及最佳极性搜索

项目编号： No.61306041

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 无线电电子学、电信技术

项目作者： 张会红

作者单位： 宁波大学

项目金额： 25万元

中文摘要： Reed-Muller(RM)逻辑电路优化在集成电路(IC)设计领域占有越来越重要的地位，大规模多级电路多目标极性优化是RM逻辑优化的主要目标和难点所在。本项目以完善RM逻辑优化理论和方法为目的，从多级逻辑综合和最佳极性搜索两方面开展XNOR/OR电路优化研究。主要内容包括：多级XNOR/OR电路数学建模；多级XNOR/OR电路极性转换；多级XNOR/OR电路逻辑综合；多级XNOR/OR电路极性搜索。研究结果以目标电路的最佳极性以及综合优化的多级XNOR/OR电路结构为输出形式，并基于MCNC或ISCAS基准电路测试数据，分析总结电路的综合优化最佳极性分布特点和规律，为IC设计者提供多级电路设计的理论依据和技术支持，同时进一步完善集成电路CAD工具，促进IC自动化设计技术的发展。

中文关键词： Reed-Muller 逻辑；XNOR/OR电路；多级逻辑综合；多目标优化；最佳极性搜索

英文摘要： Reed-Muller(RM) logic based synthesis and optimization is becoming an increasingly important part of the integrated circuit (IC) design, in which multi-objective polarity optimization on large-scale multi-level circuits are the most improtant and difficult part. This project will be carried out along two directions: multi-level logic synthesis and best polarity searching, so as to enrich the optimization theory and methods on RM logic circuits. The main contents are as follows: mathematical modeling for multi-level XNOR/OR circuit optimization, polarity converting of multi-level XNOR/OR circuits, multi-level logic synthesis on XNOR/OR circuits and best polarity searching of multi-level XNOR/OR circuits. As output of the optimization, the best polarity of the target circuit, together with the synthesised multi-level XNOR/OR circuit will be provided. Characteristics and distribution of the best polarity of XNOR/OR circuits will be analyzed based on experimental data of MCNC or ISCAS Benchmarks. The final optimization scheme and conclusions obtained can be used by IC designers in multi-level circuit designing. The results can be used to perfect the integrated circuit CAD tools, and to contribute effectively to development of IC automation design technology.

英文关键词： Reed-Muller logic；XNOR/OR circuits；multi-level synthesis；Multi-objective optimization；best polarity searching