基于OKFDDs的混合极性间转换算法

摘要：

本文通过对Ordered Kronecker Functional Decision Diagrams(OKFDDs)的研究,提出一种基于OKFDDs终端节点的混合极性间转换算法.首先根据OKFDDs数据展开规律,建立OKFDDs与MPRM展开式对应关系;然后根据布尔展开式系数与混合极性展开式系数的运算关系,建立混合极性间OKFDDs终端节点的运算关系,实现不同极性间MPRM展开式的转换;最后通过对MCNC Benchmark电路测试,结果表明:与列表技术相比,转换效率平均提高37.1％.

关键词： 逻辑电路 混合极性间转换算法 参数设计 性能测试

作者: 王振海 汪鹏君

作者单位: 宁波大学电路与系统研究所 宁波 315211

会议类型: 国内会议

会议名称: 中国电子学会电路与系统学会第二十三届年会

会议地点: 桂林

会议语种:中文

页码: 39-45

在线出版日期: 2011-10-01（万方平台首次上网日期，不代表论文的发表时间）