以时间裕量为参数的时序电路再综合算法

作者：李鹏 兰巨龙时间裕量时序电路布尔可满足性重定时

摘要：为了有效地利用时序电路中普遍存在的时间裕量来提高再综合算法的面积优化效率,对时间裕量概念进行拓展,制定了基于时间裕量参数的再综合取舍判断准则;用局部重定时消除寄存器对布尔可满足性映射范围的限制,并通过全局重定时保证整个时序电路满足时钟周期的要求.实验结果表明,文中算法是有效的.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社