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

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