电子学报 ›› 2015, Vol. 43 ›› Issue (1): 79-85.DOI: 10.3969/j.issn.0372-2112.2015.01.013

• 学术论文 • 上一篇    下一篇

基于对偶逻辑的混合极性RM电路极性转换和优化方法

卜登立1,2, 江建慧1   

  1. 1. 同济大学软件学院, 上海 201804;
    2. 井冈山大学电子与信息工程学院, 江西 吉安 343009
  • 收稿日期:2013-04-15 修回日期:2014-06-09 出版日期:2015-01-25 发布日期:2015-01-25
  • 作者简介:卜登立 男, 1975年出生, 河北定州人.同济大学博士研究生, 井冈山大学副教授, 主要研究领域为VLSI设计和可靠性评估、计算机辅助设计.E-mail:bodengli@163.com;江建慧 男, 1964年出生, 浙江淳安人.博士, 教授, 博士生导师, CCF高级会员, 主要研究领域为可信系统与网络、软件可靠性工程、VLSI/SoC测试与容错.E-mail:jhjiang@tongji.edu.cn
  • 基金资助:

    国家自然科学基金(No.60903033,No.61432017);国家973重点基础研究计划(No.2005CB321604)

Dual Logic Based Polarity Conversion and Optimization of Mixed Polarity RM Circuits

BU Deng-li1,2, JIANG Jian-hui1   

  1. 1. School of Software Engineering, Tongji University, Shanghai 201804, China;
    2. School of Electronics and Information Engineering, Jinggangshan University, Ji'an, Jiangxi 343009, China
  • Received:2013-04-15 Revised:2014-06-09 Online:2015-01-25 Published:2015-01-25

摘要:

针对混合极性RM(Reed-Muller)电路逻辑综合中的极性转换和极性优化问题,提出了基于对偶逻辑的极性转换和极性优化方法.从理论上证明了所提出方法的正确性,并用实验验证了其有效性和可行性.所提出方法有助于将较成熟的MPRM(Mixed-Polarity RM)极性转换和极性优化方法应用于MPDRM(Mixed-Polarity Dual form of RM).对15个基于XOR的MCNC电路进行逻辑综合然后映射到FPGA(Field Programmable Gate Array)的实验结果表明,从平均结果来看,与逻辑综合工具Espresso以及ABC的结果相比,混合极性RM电路能够获得面积和延时的优势,并且MPDRM电路极性优化结果能够得到最为优化的FPGA实现.

关键词: RM电路, 混合极性, 逻辑综合, 对偶逻辑, 极性转换, 极性优化

Abstract:

Dual logic based polarity conversion and polarity optimization method is proposed for logic synthesis of mixed polarity RM (Reed-Muller) circuits.The correctness of the proposed method is proved in theory,and the validity and feasibility is verified by experiments.The proposed method can contribute to applying the methods for polarity conversion and optimization of MPRM (Mixed-Polarity RM) to MPDRM (Mixed-Polarity Dual form of RM).The results of mapping to FPGA (Field Programmable Gate Array) after logic synthesis for fifteen XOR-based logic circuits from MCNC show that on average,compared to the FPGA implementations of optimized designs obtained by logic synthesis tools such as Espresso and ABC,mixed polarity RM circuits have superiority in area and speed,and MPDRM circuits can achieve optimal FPGA implementations.

Key words: RM circuits, mixed polarity, logic synthesis, dual logic, polarity conversion, polarity optimization

中图分类号: