基于不相交项并行列表技术的FPRM实现.pdfVIP

第36卷第9期 2014年9月 电子与信息学报 Journal of ElectronicsInformation Technology V01．36NO．9 Sept．2014 基于不相交项并行列表技术的FPRM实现 王玉花 王伦耀+ 夏银水 f宁波大学信息科学与工程学院宁波315211) 摘要：针对传统列表技术在逻辑函数从AND／OR形式转化成固定极性Reed—Muller(FPRM)过程中只能处理小 规模电路的小足，该文提出一种基于不相交乘积项的并行列表技术。该技术能有效避免转化算法因逻辑函数输入 变量增,DngI起最小项数量激增而导致效率低下甚至无法工作这种情况。另外，不同于已发表的用于实现大电路的 转化算法，待处理的电路结构对该方法的性能影响很小。提出的算法用C语言编程实现，并用MCNC标准电路 进行测试。实验结果表明所提算法可以对更大规模电路实现快速FPRM转换，并且算法速度对电路输入个数不敏 感，但与待处理逻辑函数的不相交乘积项的数量有关。 关键词：数字电路：Reed—Muller(RM)逻辑；固定极性；并行列表技术；逻辑优化 中图分类号：TP331．2；TP391．72 文献标识码：A 文章编号：1009—5896(2014)09—2258—07 DOI：10．3724／SP．J．1 146．2013．01536 FPRM Conversion Using Parallel Tabular Technique with Dis Yu一 ．jointed ProductYsWang hua Wang Lun-yao Xia in—shui (School ofInformation Science and Engineering，Ningbo University，Ningbo 315211，China) Abstract：With the deficiency of the published tabular techniques based algorithms which can only handle small functions in the conversion from AND／OR forms to the Fixed Polarity Reed—Mull(FPRM)forms，a novel parallel tabular technique using the disjoint products is proposed．By utilizing the disjointed products，the proposed algorithm is able to avoid the rapid increase of the minterms which leads the reported tabular technique based algorithms cannot run efficiently or even out of work．Furthermore，unlike the published algorithm for the large functions conversion，the circuit structure in progress has little effect on the performance of the proposed algorithm．The proposed algorithm is implemented in C language and tested under MCNC benchmarks．The experimental results show that the proposed algorithm can finish the polarity conversion fast for the larger circuits and the speed of the algorithm does not depend on the number of inputs of the circuits but the number of the disjointed products． Key words：Digital circuit；Reed—Muller(RM)logic；Fixed polarity；Parallel tabular technique；Logic optimization 1 引言 在逻辑函数从常见的AND／OR形式向固定极 性Reed—Muller(Fixed—Polarity Reed—Muller， FPRM)展开过程中，列表技术因便于计算机实现， 且有较高的效率而经常被采用[1-4]。现有的采用列