J4 ›› 2013, Vol. 40 ›› Issue (1): 135-140.doi: 10.3969/j.issn.1001-2400.2013.01.024

• 研究论文 • 上一篇    下一篇

采用FDDs实现FPRM电路延时和面积优化

汪鹏君1,2;王振海1
  

  1. (1. 宁波大学 电路与系统研究所,浙江 宁波  315211;
    2. 复旦大学 专用集成电路与系统国家重点实验室,上海  201203)
  • 收稿日期:2011-09-01 出版日期:2013-02-20 发布日期:2013-03-28
  • 通讯作者: 汪鹏君
  • 作者简介:汪鹏君(1966-),男,教授,博士,E-mail: wangpengjun@nbu.edu.cn.
  • 基金资助:

    国家自然科学基金资助项目(61076032); 浙江省自然科学基金资助项目(Y1101078); 浙江省重点科技创新团队资助项目(2011R09021-04);国家重点实验室基金资助项目(10KF012); 宁波市自然科学基金资助项目(2011A610104)

Delay and area optimization for FPRM circuits by FDDs

WANG Pengjun1,2;WANG Zhenhai1   

  1. (1. Institute of Circuits and Systems, Ningbo University, Ningbo  315211, China;
    2. State Key Laboratory of ASIC & System, Fudan University, Shanghai  201203, China)
  • Received:2011-09-01 Online:2013-02-20 Published:2013-03-28
  • Contact: WANG Pengjun

摘要:

Functional Decision Diagrams(FDDs)是Reed-Muller(RM)展开式的一种图形表达方式,其变量顺序和RM展开式极性共同决定对应电路的延时和面积.通过对FDDs和固定极性RM(FPRM)展开式的研究,提出采用FDDs的FPRM电路延时和面积优化算法.首先根据固定极性特点,利用FDDs建立FPRM电路延时估计模型;然后结合延时估计模型、列表技术和FDDs变量顺序搜索策略,按电路延时和面积对中小规模和大规模电路进行最佳极性和变量顺序搜索; 最后对PLA格式的MCNC Benchmark电路进行测试,结果表明该算法对延时和面积的优化效果显著.

关键词: 电路, 综合, FPRM, FDDs, 延时和面积优化

Abstract:

Functional Decision Diagrams (FDDs) are a graphical expression for Reed-Muller (RM) expansion, and its variable order and polarity jointly influence the delay and area of the corresponding circuit. By studying FDDs and fixed polarity RM (FPRM) expansion, a delay and area optimization algorithm is presented. Firstly, a delay evaluation model is set up by FDDs. Then by combining the tabular technique and the search strategy of variable order, the optimal polarity and variable order are searched for both medium-scale and large-scale circuits according to the delay and area. Finally, the algorithm is tested with MCNC Benchmarks. The results show that the proposed algorithm is very effective for delay and area optimization.

Key words: circuits, synthesis, fixed polarity reed-muller, functional decision diagrams, delay and area optimization

中图分类号: 

  • TP391.7