基于不相交项并行列表技术的FPRM实现
针对传统列表技术在逻辑函数从AND/OR形式转化成固定极性Reed-Muller(FPRM)过程中只能处理小规模电路的不足,该文提出一种基于不相交乘积项的并行列表技术.该技术能有效避免转化算法因逻辑函数输入变量增加引起最小项数量激增而导致效率低下甚至无法工作这种情况.另外,不同于已发表的用于实现大电路的转化算法,待处理的电路结构对该方法的性能影响很小.提出的算法用C语言编程实现,并用MCNC标准电路进行测试.实验结果表明所提算法可以对更大规模电路实现快速FPRM转换,并且算法速度对电路输入个数不敏感,但与待处理逻辑函数的不相交乘积项的数量有关.
数字电路、Reed-Muller (RM)逻辑、固定极性、并行列表技术、逻辑优化
36
TP331.2;TP391.72(计算技术、计算机技术)
国家自然科学基金61131001,61228105;浙江省自然科学基金LY12F01014;宁波市自然科学基金2013A610009资助课题
2014-11-03(万方平台首次上网日期,不代表论文的发表时间)
共7页
2258-2264