单边多输出逻辑函数补集软件的设计与实现  

Design and Realization of Complement Sets Software for Multi-output Unate Logic Functions

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

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

出　　处：《微电子学与计算机》2007年第7期4-7,12,共5页Microelectronics & Computer

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

摘　　要：根据单边逻辑函数的特性,介绍了一种多输入多输出单边逻辑函数补集方法,该方法采用二进制特征矩阵和状态矢量来描述原函数,进行最小列覆盖的选择形成多输出补集函数的控制矩阵,由控制矩阵与补集函数的状态矢量形成单边单输出补集合逻辑函数,通过多输出逻辑函数分解与合并最终产生多输出单边逻辑函数的补集。所设计的多输入多输出单边逻辑函数补集算法软件,在P-1.8GHz,512MBRAM的计算机上完成测试和运行,并通过测试检验程序,保证输出结果在逻辑上与输入条件求补等价。According by the characteristic of unite logic functions, this paper introduces a method of complement sets about multi-input multi-output unate logic functions. It describes original functions by character matrix and state vector, forms control matrix of multi-output functions according by choice least row-cover, and creates single -output unite logic complement sets by control matrix and state vector of complement sets. We design complement sets software of multi-input multi-output unate logic functions. It accomplishes running and testing on computer of Pentium 1.8GHz, 512MBRA and overpasses check-up of checking program. The results are correct for complement sets of original functions.

关 键 词：多输入多输出 单边逻辑函数 补集 特征矩阵 算法 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]