华南理工大学学报(自然科学版) ›› 2013, Vol. 41 ›› Issue (5): 34-42.doi: 10.3969/j.issn.1000-565X.2013.05.006

• 电子、通信与自动控制 • 上一篇    下一篇

宽函数的布尔匹配及其在FPGA 重综合中的应用

张峰1 王作建2 吴洋2 于芳1 刘忠立1   

  1. 1.中国科学院 微电子研究所,北京 100029; 2.北京飘石科技有限公司,北京 100029
  • 收稿日期:2012-08-22 修回日期:2013-01-21 出版日期:2013-05-25 发布日期:2013-04-01
  • 通信作者: 张峰(1987-) ,男,博士生,主要从事FPGA EDA 工具的设计与研究. E-mail:zhangfeng08@yeah.net
  • 作者简介:张峰(1987-) ,男,博士生,主要从事FPGA EDA 工具的设计与研究.

Boolean Matching of Wide Functions and Its Application to Resynthesis of FPGA

Zhang Feng1 Wang Zuo-jian2 Wu Yang2 Yu Fang1 Liu Zhong-li1   

  1. 1.Institute of Microelectronics of Chinese Academy of Sciences,Beijing 100029,China;2.Uptops Design Technologies,Inc.,Beijing 100029,China
  • Received:2012-08-22 Revised:2013-01-21 Online:2013-05-25 Published:2013-04-01
  • Contact: 张峰(1987-) ,男,博士生,主要从事FPGA EDA 工具的设计与研究. E-mail:zhangfeng08@yeah.net
  • About author:张峰(1987-) ,男,博士生,主要从事FPGA EDA 工具的设计与研究.

摘要: 当前大多数商用现场可编程门阵列( FPGA) 可配置逻辑块结构在查找表( LUT)的基础上增加了很多辅助逻辑资源,而传统的LUT 基工艺映射算法无法充分利用这些资源.为此,文中提出一种基于香农展开式和不相交支持集分解算法的布尔匹配方法,并将其应用于工艺映射后的重综合.使用该方法对工艺映射后网表中的宽函数进行布尔匹配,使其在目标FPGA 结构上重新实现,从而达到充分利用所有逻辑资源和减少LUT 数的目的.实验结果表明,该方法能在不增加电路关键路径延时的基础上,对学术界综合工具ABC 工艺映射之后的4-LUT 和6-LUT 网表分别节省7.9%和7.8%的面积开销.

关键词: 电子设计自动化, 现场可编程门阵列, 布尔匹配, 宽函数, 重综合, 可配置逻辑块, 查找表

Abstract:

The configurable logic block ( CLB) of the existing commercial FPGAs ( Field Programmable GateArrays) comprises not only lookup table ( LUT) but also many assistant logic resources that cannot be fully utilizedby the conventional LUT-based mapping algorithms.In order to solve this problem,a Boolean matching method forpost-mapping resynthesis is proposed based on the Shannon expansion and the DSD ( Disjoint Support Decomposition)algorithm.This method helps to implement the Boolean matching of wide functions of mapped LUTs and reimplementthe wide functions with target FPGA CLB,so as to make full use of all logic resources in CLB and reducethe number of LUTs.From the mapped results generated by state-of-the-art FPGA mapper ABC,it is foundthat the proposed method reduces the number of LUTs respectively by 7.9% for 4-LUT networks and by 7.8% for6-LUT networks while preserving the logic depth.

Key words: electronic design automation, field programmable gate array, Boolean matching, wide function, resyn-thesis, configurable logic block, lookup table

中图分类号: