多输入多输出单边逻辑函数优化系统的设计研究  

Design and Research of Optimization System for Multi-input Multi-output Unate Logic Functions

作　　者：邱建林[1] 王波[1] 刘维富[1] 

机构地区：[1]南通大学计算机科学与技术学院,江苏南通226019

出　　处：《南京邮电大学学报（自然科学版）》2006年第5期65-70,共6页Journal of Nanjing University of Posts and Telecommunications：Natural Science Edition

基　　金：江苏省自然科学基金(BK2001130);江苏省高校自然科学基金(03KJB520103;05KJD520166;06KJB520090);南通市应用研究计划项目(K2006008)资助项目

摘　　要：逻辑综合的作用是在功能等价的条件下减少电路中的元件数目,使电路体积减少、能耗降低、故障率下降、稳定度提高。对于超大变量多输入多输出逻辑函数优化,存储开销对输入变量呈2幂次方增长。针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输入多输出单边逻辑函数补集,以积项扩展为基础,完成多输入多输出单边逻辑函数无冗余覆盖。编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素(输入变量数、输出变量数、积项数和无关因子)进行了分析,软件系统在奔腾1.8 MHz、512 M的计算机上通过了正确性验证与测试。测试结果表明性能良好,有效的降低了系统的存储空间和时间开销。Logic synthesis usually lead to a reduction of the number of elements of a circuit while its functionality remains at the original. Consequently, the circuit can be made with smaller size and work with less power consuming, lower trouble rate and higher stability. For huge variable multi-input multi-output logic functions optimization, spending of memory is increased on two powers by input variables. According to characteristic of multi-input muhi-output unate logic functions, this paper introduces an algorithm of muhi-input multi-output unate logic functions optimization and presents a method of algorithm realization. At first, describes character matrix and states vector. Secondly, calculates complememt sets of multi-input multi-output unate logic functions. Thirdly, expends the products. At last, implements irredundant cover for multi-input multi-output unate logic functions. It analyzes influence factor （unmbers of input variable, output variable, products and don＇t-care gene） of unate functions logic optimization efficiency. The software system overpasses the testing of right validates. The results of experimentation are proved to be correct and efficient. It is good for reducing spending of memory spaces and times.

关 键 词：多输入多输出 单边逻辑函数 逻辑优化 算法 软件 

分 类 号：TP302.2[自动化与计算机技术—计算机系统结构] TN47[自动化与计算机技术—计算机科学与技术]