基于OKFDDs的Reed-Muller逻辑混合极性转换算法

• 作者: 李辉 汪鹏君
• 来源期刊: 电子与信息学报
• 学科: 工学
• 关键词: 电路设计 电路逻辑综合 OKFDDs MPRM表达式 极性转换
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 论文
• 页码范围: 932-937
• 分类号: TP391.72
• 字数: 4562字
• 语种: 中文
• DOI: 10.3724/SP.J.1146.2010.00776

摘要

混合极性转换是RM(Reed-Muller)电路逻辑综合过程的一个重要环节,能够实现从Boolean逻辑最小项表达式到RM逻辑MPRM(Mixed-Polarity Reed-Muller)表达式的转换.该文通过对OKFDDs(Ordered Kronecker Functional Decision Diagrams)展开规律的研究,建立MPRM表达式与OKFDDs数据结构的对应关系.在此基础上,根据最小项系数与MPRM系数的下标包含关系,结合多输出函数描述方式,提出一种直接从最小项表达式展开到MPBM表达式的新型混合极性转换算法.最后通过对多个Benchmark测试的实验结果表明其转换效率相比其它混合极性转换算法有明显提高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	汪鹏君	宁波大学电路与系统研究所	137	551	11.0	14.0
2	李辉	宁波大学电路与系统研究所	19	161	6.0	12.0