浅谈数字IC设计技术(2).docVIP

(12)把时钟树送给综合工具并插入到初始综合网表。?　　(13)形式验证。对比插入时钟树综合网表实现的功能与初始综合网表是否一致。?　　(14)在步骤(11)准布线后提取估计的延迟信息。?　　(15)把步骤(14)提取出来的延迟信息反标给综合工具和静态时序分析工具。?　　(16)静态时序分析。利用准布线后提取出来的估计延时信息。?　　(17)在综合工具中实现现场时序优化(可选项)。?　　(18)完成详细的布线工作。?　　(19)从完成了详细布线的设计中提取详细的延时信息。?　　(20)把步骤(19)提取出来的延时信息反标给综合工具和静态时序分析工具。?　　(21)Post-l