一种基于积项扩展的大变量多输出逻辑优化算法的设计与实现  

Design and Realization of Large Variables Multi-Output Logic Optimization Algorithm Based on Expanding Products

作　　者：邱建林[1] 陈建平[1] 顾翔[1] 王波[1] 

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

出　　处：《江南大学学报（自然科学版）》2007年第6期718-722,共5页Joural of Jiangnan University (Natural Science Edition)　

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

摘　　要：提出的算法是根据给定的输入积项计算出无共享积项的假集矩阵、阻塞矩阵和覆盖矩阵,对阻塞矩阵和覆盖矩阵依据最小列覆盖的选择算法得到最小列覆盖集合和提升集合,形成输入积项扩展后的积项形式.对于二级SOP型的多输入多输出逻辑函数,设计了基于积项扩展的多输入多输出集成电路逻辑优化软件,允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000,并通过了Benchmark例题的测试和正确性验证.A logic optimization algorithm is presented about multi-input multi-output IC based on expanding products. According to input products, we work out complement sets matrix of nonshared products, blocking matrix, covering matrix. For blocking matrix and covering matrix, mini column cover sets are got and upgrade sets are got based on choice algorithm of mini column cover. Then, the paper forms product express after input product that be expanded. For multiinput multi-output logic functions of two-level SOP, a program is designed. It is a logic optimization algorithm of multi-input multi-output IC based on expanding products. Max-input variables is 128, max-output variables is 256, sum of max-input-output variables is 300, maxinput products is 20000. It overpasses testing of Benchmark and correction validation.

关 键 词：积项扩展 逻辑优化 多输入多输出 逻辑函数 算法 

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