超大变量多值单边逻辑函数优化算法地研究.pdfVIP

超大变量多值单边逻辑函数优化算法的研究* 邱建林 王 波 刘维富 (南通大学计算机科学与技术学院，南通 226019) ( qiu.jl@) Research of Optimization Algorithm for Huge Variable Mutil-valued Unate Logic Functions Qiu Jianlin ，Wang Bo ，and Liu Weifu (School of Computer Science Technology, Nantong University, Nantong 226019) Abstract Unate multi-valued logic functions is an especially case of logic functions. For huge variable logic functions optimization, spending of memory is increase on two power by input variables. According by characteristic of multi-input multi-output unate logic functions, this paper introduces an algorithm of unate logic functions optimization and presents a method of algorithm realization. It analyzes influence factor of unate functions logic optimization efficiency. The software system overpasses the testing of right validate. The results of experimentation is proved to be correct and efficient. It is good for reduce spending of memory spaces and times.Optimizing of effect is reduce by increasing numbers of input variable on case of the same numbers of output variable、 products and don’t-care gene, and by increasing numbers of don’t-care on case of the same numbers of input variable 、output variable and products. The optimizing of effect is increase by increasing numbers of products on case of the same numbers of input variable 、output variable and don’t-care gene. Key words multi-input multi-output ；unate logic functions ；Logic optimization ；Algorithm ；Software 摘 要 单边多值逻辑函数是逻辑函数的一种特例，对于超大变量的逻辑函数优化，存储开销对输入变 量呈2 幂次方增长。本文针对多输入多输出单边逻辑函数的特性，通过引入特征矩阵和状态矢量的描述， 求解多输出单边逻辑函数补集，以积项扩展为基础，完成多输出单边逻辑函数无冗余覆盖。通过编程实 现了多输入多输出单边函数逻辑优化的算法，对影响单边函数逻辑优化效率的因素进行了分析，软件系 统在奔腾 1.8MHZ