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

摘要

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

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号