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

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.