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

提出的算法是根据给定的输入积项计算出无共享积项的假集矩阵、阻塞矩阵和覆盖矩阵，对阻塞矩阵和覆盖矩阵依据最小列覆盖的选择算法得到最小列覆盖集合和提升集合，形成输入积项扩展后的积项形式．对于二级SOP型的多输入多输出逻辑函数，设计了基于积项扩展的多输入多输出集成电路逻辑优化软件，允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20000，并通过了Benchmark例题的测试和正确性验证．

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

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.