逻辑函数的双逻辑综合与优化

• 作者: 夏银水 王伦耀 陈偕雄
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: Reed-Muller逻辑 双逻辑 逻辑综合 逻辑优化
• 年，卷（期）: 2012,（7）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 961-967
• 分类号: TP391.72
• 字数: 6935字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-9775.2012.07.017

摘要

针对传统布尔逻辑在电路面积优化中存在的不足,提出了一种用传统布尔逻辑和Reed-Muller(RM)逻辑相结合的双逻辑优化算法.通过将原逻辑函数的乘积项转化为不相交乘积项,并利用不相交乘积项的位操作,将逻辑函数的覆盖分成2个部分,使之分别适合布尔逻辑综合和RM逻辑综合；同时提出了适合双逻辑函数的逻辑功能验证方法.双逻辑优化算法用C语言编程实现并用MCNC标准电路进行测试.实验结果表明,与单一的布尔逻辑综合结果相比,在绝大多数情况下文中算法可使电路面积获得进一步优化.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈偕雄	浙江大学信息与电子工程学系	139	691	12.0	17.0
2	夏银水	宁波大学信息科学与工程学院	101	345	9.0	13.0
3	王伦耀	宁波大学信息科学与工程学院	43	177	7.0	10.0