包含无关项逻辑函数的固定极性转换

作     者：汪迪生 汪鹏君 孙飞 俞海珍 WANG Di-sheng;WANG Peng-jun;SUN Fei;YU Hai-zhen

作者机构：宁波大学电路与系统研究所浙江宁波315211 

出 版 物：《电路与系统学报》 (Journal of Circuits and Systems)

年 卷 期：2013年第18卷第1期

页      面：117-121页

学科分类：080902[工学-电路与系统] 0809[工学-电子科学与技术（可授工学、理学学位）] 08[工学] 

基　　金：国家自然科学基金资助项目(61076032) 浙江省科技厅项目(2011R09021-04 2010C31012) 浙江省教育厅项目(Y201016317) 宁波大学学科项目(XKL089) 

主　　题：Reed—Muller 逻辑综合 固定极性转换 无关项 

摘      要：通过对Boolean逻辑和RM((Reed-Muller)逻辑的研究,针对Boolean逻辑函数SOP(Sum-of-Products)展开式中无关项取舍不确定的特点,结合快速列表技术,提出一种包含无关项逻辑函数的固定极性转换方法。该方法首先求出最小项和无关项的相关与项,然后生成最小项索引表以及无关项索引表,最后搜索无关项取舍,得到最佳固定极性RM(Fixed-Polarity Reed-Muller,FPRM)展开式。通过对10个MCNC Benchmark电路进行测试,结果表明:与不考虑无关项的极性转换方法相比,该方法能有效简化FPRM展开式。