适合RM逻辑实现的逻辑搜索和拆分算法

• 作者: 夏银水 王伦耀 陈偕雄
• 来源期刊: 浙江大学学报（工学版）
• 学科: 工学
• 关键词: Reed-Muller逻辑 双逻辑 逻辑拆分 逻辑优化
• 年，卷（期）: 2012,（11）
• 所属期刊栏目: 电信技术
• 页码范围: 2089-2096
• 页数: 8页
• 分类号: TP17
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2012.11.022

摘要

针对以往算法在搜索适合Reed-Muller(RM)逻辑实现的逻辑子覆盖中存在的不足,提出基于不相交乘积项的搜索方法.该方法通过将逻辑函数转化为不相交乘积项的集合,并搜索符合约束条件的不相交乘积项的多数覆盖以及根据乘积项之间的位操作结果,将逻辑函数拆分成二部分,使之分别适合RM逻辑实现和传统布尔逻辑实现.提出的算法用C编程实现,并用MCNC电路测试.实验结果表明,相比于以往的方法,提出的算法能够有效扩大搜索范围,并且具有运行速度快且对逻辑函数的输入变量数量不敏感等特点.