通过对包含无关项布尔逻辑函数SOP(Sum—of-Products)展开式和MPRM(MixedPolarityReed—Muller)展开式的研究,结合基于系数矩阵的FPRM(FixedPolarityReed—Muller)展开式极性转换算法,提出了一种包含无关项逻辑函数MPRM展开式最小化算法.首先将包含无关项逻辑函数SOP展开式转换为MPRM展开式,并用系数矩阵的形式表示;然后删除函数中的冗余变量,归纳出一种包含无关项MPRM展开式最小化算法,得到与项数较少的MPRM展开式;最后随机选取15个MCNC基准电路进行测试,结果表明该算法能有效地优化电路面积.
Based on the research of SOP(Sum-of-Products) expansions of Boolean logic functions and MPRM (Mixed Polarity Reed-Muller) expansions including don't care terms, in conjunction with polarity conversion algorithm of FPRM(Fixed Polarity Reed-Muller) expansions expressed by coefficient matrix, a minimization algorithm of MPRM expansions including don't care terms is proposed. Firstly, MPRM expansions are deduced from SOP(Sum-oLProd ucts) expansions of Boolean logic functions including don't care terms, and then expressed by coefficient matrix. Secondly, redundant variables are deleted and a minimization algorithm of MPRM expansions including don't care terms is proposed to minimize the number of AND terms. Lastly, 15 MCNC Benchmark circuits are selected ran- domly to verify that the proposed algorithm can optimize the circuits area effectively.