基于分解算法的RM及DFRM之间的转换

摘要

利用Kronecker矩阵积运算推导出了固定极性Reed-Muller(RM)和双重形式RM(dual form of Reed-Muller,DFRM)的展开式,并根据在相同极性下两者之间的转换关系,提出一种简洁高效的转换算法--分解法.该算法将转换矩阵进行分解,从根本上避免了矩阵的重复计算,缩短了计算时间.实验结果显示,在得到更为简洁的RM或DFRM表达式的同时,对小变量函数的标准电路测试过程所需时间几乎为0.而对大变量函数的标准电路也表现得十分优异.