一种基于特征多项式局部逻辑替代新方法研究

将验证和测试阶段的一种特征多项式方法应用于布局后逻辑重综合中,以此寻找满足时序要求的可替换模块,通过在域上计算其特征多项式来比较模块的等价性。可以大大提高综合效率,通过实验结果说明了本方法的有效性,具有一定的借鉴意义。