《静态时序分析报告ppt课件.ppt》由会员分享，可在线阅读，更多相关《静态时序分析报告ppt课件.ppt（56页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、静态时序分析静态时序分析StaticTimingAnalysis-于斌1认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目报告概要报告概要n时序分析概述n时序分析中的基本概念n常用工具简介2认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目概念+市场研究结构说明和RTL编码RTL模拟逻辑综合、优化、扫描插入形式验证（RTL和门级）布局前STA时序正确布局、CT插入和全局布线转换时钟树到DC形式验证（扫描插入的网表与CT插入的网表）布局后STA详细布线时序正确布
2、线后STA时序正确结束是是是否否否3认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目1.结构及电学特性规范2.HDL中的RTL编码3.为包含存储单元的设计插入DFTmemoryBIST4.为验证设计功能，进行详尽的动态仿真5.设计环境设置，包括将使用的工艺库和其他环境属性6.使用DC对具有扫描插入（和可选JTAG）的设计进行约束和综合设计7.使用DC的内建静态时序分析机进行模块级的静态时序分析8.设计的形式验证，使用Formality将RTL和综合后的网表进行对比9.使用PT进行整个设计布局前的静态时序分析10.对布局工具进
3、行时序约束前的前标注11.具有时序驱动单元布局、时钟树插入和全局布线的初始布局划分12.将时钟树转换到驻留在中的原始设计4认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目13.在DC中进行设计的布局优化14.使用Formality在综合网表和时钟树插入的网表之间进行进行形式验证15.在全局布线后（11步）16.从全局布线得到的估计时间数据反标注到PT17.使用全局布线后提取的估计延时数据在PT中进行静态时序分析18.设计的详细布局19.提取来自详细布局设计的实际时间延迟20.实际提取时间数据反标注到PT21.使用PT进行布局
4、后的静态时序分析22.布局后的门级功能仿真（如果需要的话）23.在LVS和DRC验证之后交货5认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目时序分析概述时序分析概述n与时序相关的流程DesignEntrySynthesisTimingPlaceTimingRouteTiming动态时序仿真 静态时序分析 形式验证6认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目动态时序仿真与静态时序分析动态时序仿真与静态时序分析n动态仿真是时序针对给定的仿真输入信号波形
5、，模拟设计在器件实际工作时的功能和延时情况，给出相应的仿真输出信号波形。它主要用于验证设计在器件实际延时情况下它主要用于验证设计在器件实际延时情况下的逻辑功能。的逻辑功能。由动态时序仿真报告无法得到设计的各项时序性能指标，如最高时钟频率等。n静态时序分析则是通过分析每个时序路径的延时，计算出设计的各项时序性能指标，如最高时钟频率、建立保持时间等，发现时序违规。它仅仅聚焦于时序性能的分析，并不涉及设计的逻辑功能，逻辑功能验证仍需通过仿真或其逻辑功能验证仍需通过仿真或其他手段（如形式验证等）进行他手段（如形式验证等）进行。静态时序分析是最常用的分析、调试时序性能的方法和工具。7认识到了贫困户贫困的
6、根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目静态时序分析静态时序分析-Static Timing AnalysisnSTA是一种验证方法验证方法nSTA的前提是同步逻辑设计同步逻辑设计nSTA是使用工具通过路径计算延迟的综合，并比较相对预定义时钟的延迟nSTA仅关注时序关注时序间的相对关系而不是评估逻辑功能不是评估逻辑功能n无需用向量去激活某个路径，而是对所有的时序路径进行错误分析，能处理百万门级的设计，分析速度比时序仿真工具快几个数量级，在同步逻辑情况下，可以达到100%的时序路径覆盖nSTA的目的是找出隐藏的时序问题，根据时序分析结果优
7、化逻辑或约束条件，使设计达到时序闭合达到时序闭合（timingclosure）8认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目STA的作用的作用n确定芯片最高工作频率确定芯片最高工作频率通过时序分析可以控制工程的综合、映射、布局布线等环节，减少延迟，从而尽可能提高工作频率n检查时序约束是否满足检查时序约束是否满足可以通过时序分析来查看目标模块是否满足约束，如不满足，可以定位到不满足约束的部分，并给出具体原因，进一步修改程序直至满足时序要求n分析时钟质量分析时钟质量时钟存在抖动、偏移、占空比失真等不可避免的缺陷。通过时序分析
8、可以验证其对目标模块的影响9认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目STA的过程的过程nSTA分三步走：1、将设计打散成一个一个的timingpath2、计算每条path的延迟3、检验延迟是否满足设计约束的要求。10认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目时序分析基本概念时序分析基本概念n建立时间（setuptime）n保持时间（holdtime）n时钟到输出延迟（clocktooutputtime）n时钟偏斜（clockskew）n时钟抖
9、动（jitter）11认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目建立时间建立时间tSU（setup time）n触发器的时钟信号上升沿到来以前，数据稳定不变的时间触发器的时钟信号上升沿到来以前，数据稳定不变的时间。输入信号应提前时钟上升沿（假设上升沿有效）T时间到达芯片，这个T就是建立时间Setuptime.如不满足setuptime,这个数据就不能被这一时钟打入触发器，只有在下一个时钟上升沿，数据才能被打入触发器。12认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开
10、了“精准扶贫”项目保持时间保持时间tH（hold time）n保持时间是指触发器的时钟信号上升沿到来以后，数据稳保持时间是指触发器的时钟信号上升沿到来以后，数据稳定不变的时间。定不变的时间。如果holdtime不够，数据同样不能被打入触发器。13认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目时钟到输出延迟时钟到输出延迟tCO（clock to output time）n从时钟信号有效沿到数据有效的时间间隔14认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项
11、目n不满足建立/保持时间，可能出现亚稳态tMETsettingtime，亚稳态到稳态的时间，与工艺无关15认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目最小周期最小周期TT=tCO+tDELAY+tSU16认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目时钟偏斜（时钟偏斜（clock skew）n时钟偏斜指的是同一个时钟信号到达两个不同寄存器之间的时间差值n时钟偏斜永远存在，到一定程度就会严重影响电路的时序17认识到了贫困户贫困的根本原因，才能开始对症下
12、药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目时钟抖动（时钟抖动（jitter）n所谓抖动，就是指两个时钟周期之间存在的差值，这个误差是在时钟发生器内部产生的，和晶振或者PLL内部电路有关，布线对其没有影响jitter=T2-T118认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目STA的过程的过程nSTA分三步走：1、将设计打散成一个一个的timingpath2、计算每条path的延迟3、检验延迟是否满足设计约束的要求。19认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家
13、对扶贫工作高度重视，已经展开了“精准扶贫”项目时序分析基本概念时序分析基本概念n时序路径从输入端口到触发器的数据D端从触发器的时钟clk端到触发器的数据D端从触发器的时钟clk端到输出端口从输入端口到输出端口20认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目时序分析常用路径时序分析常用路径n时钟到建立clocktosetuppathn时钟到管脚clocktopadpathn结束于时钟引脚pathsendingatclockpinofflip-flopsn管脚到管脚padtopadn管脚到建立padtosetup21认识到了
14、贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目时钟到建立时钟到建立 clock to setup path22认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目时钟到管脚时钟到管脚 clock to pad path23认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目结束于时钟引脚结束于时钟引脚 ending at clock pin of F-F24认识到了贫困户贫困的根本原因，才能开始对症下
15、药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目管脚到管脚管脚到管脚 pad to pad25认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目管脚到建立管脚到建立 pad to setup26认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目时序分析基本概念时序分析基本概念n关键路径关键路径通常是指同步逻辑电路中，组合逻辑时延最大的路径。也就是说关键路径是对设计能起决定性影响的时序关键路径是对设计能起决定性影响的时序路径路径。静态时
16、序分析可以找出逻辑电路的关键路径，通过查看时序分析报告，可以确定关键路径常用优化方法：Retiming、Pipeline27认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目时序优化方法时序优化方法-Ritiming28认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目时序优化方法时序优化方法-Pipeline29认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目主流工具主流工具nSynops
17、ys公司的PrimeTime主要用于全芯片的IC设计，PrimeTime是业界最流行的分析工具n各FPGA厂商的工具均提供静态时序分析功能，FPGA的静态时序分析比IC简单30认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目Timing AnalyzernAltera公司的QuartusII自带的静态时序分析工具，可以进行：时序路径的时延分析（DelayMatrix）建立/保持时间分析（Setup/HoldMatrix）同步逻辑性能（RegisteredPerformance）31认识到了贫困户贫困的根本原因，才能开始对症下
18、药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目Timing Analyzer32认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目Timing Analyzer33认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目Timing Analyzer34认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目Timing Analyzer35认识到了贫困户贫困的根本原因，才能开
19、始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目PrimeTimenPrimeTime是Synopsys的静态时序分析工具，为业界标准，占据最大的市场份额nPrimeTime是数字ASIC设计的sign-off必选工具，受到所有EDA工具和IC厂家的支持nFPGA逻辑静态时序分析，仅用到PrimeTime的一小部分功能36认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目Report术语术语nArrivalTime-信号到达时间表示实际计算所得的信号到达逻辑电路中某一点的绝对时间，等于信号到达
20、某条路径起点的时间加上信号在该条路径上的逻辑单元间传递延时的总和nRequiredArrivalTime-要求到达时间简称RAT，表示要求信号在逻辑电路的某一特定点处的到达时间nSlack-余量表示在逻辑电路的某一特定点处要求到达时间与实际到达时间之间的差。Slack值表示该信号到达的太早或太晚37认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目PT过程过程nPrimeTime做STA分四步流程：1、读入设计及库2、约束设计3、指定延迟计算信息4、静态时序分析和报告38认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到
21、病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目1、建立设计环境-建立搜索路径（searchpath）和链接路径（linkpath）-读入设计和库-链接顶层设计-建立运作条件、连线负载模型、端口负载、驱动和传输时间2、说明时序声明（约束）-定义时钟周期、波形、不确定性（uncertainty)和滞后时间(latency)-说明输入、输出端口的延时3、说明时序例外情况（timingexceptions）-多周期路径（multicyclepaths）-不合法路径（falsepaths）-说明最大和最小延时、路径分割（pathsegmentation）和失效弧（disabledarcs
22、）4、进行分析和生成报告-检查时序-生成约束报告-生成路径时序报告39认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目40认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目PrimeTimen建立时间检查clockdelay1-clockdelay2+maxdatapath+tSUclockperiodMaxdatapath是寄存器的tCO加上寄存器间的组合逻辑延迟41认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视
23、，已经展开了“精准扶贫”项目建立时间检查建立时间检查nclockdelay1=0nsnclockdelay2=0nsnmaxdatapath=tco+pathdelay=1.449ns+0.258ns=1.707nsn若T=4ns,则slack=4ns-1.707ns=2.293ns42认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目建立时间检查建立时间检查43认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目PrimeTimen保持时间检查clockdel
24、ay1-clockdelay2+mindatapath-tH044认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目保持时间检查保持时间检查nclockdelay1=0nsnclockdelay2=0nsnmindatapath=tco+pathdelay=1.449ns+0.258ns=1.707nsnintrinsicholdtime=1.284nsn则slack=1.707ns-1.284ns=0.493ns45认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶
25、贫”项目保持时间检查保持时间检查46认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目问题问题n三个阶段时序分析有何不同？DesignEntrySynthesisTimingPlaceTimingRouteTiming区别？47认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目综合后综合后STAn建立时间不符合-重新设计n保持时间不符合-此处修改或布局后修改（根据大小）n采用的统计线载模型n时钟扇出和时钟翻转固定48认识到了贫困户贫困的根本原因，才能开始对症下
26、药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目布局后布局后STAn布局工具将关键单元彼此靠近放置用以最小化路径延迟n修改保持时间违例（或根据违例程度选择布线后修改）n插入了时钟树（clocktree，CT），改变了原有设计49认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目布线后布线后STAn加入寄生电容和RC连线延迟n修正保持时间（插入缓冲器）n最接近实际情况50认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目需要掌握的部分需
27、要掌握的部分n流程图和相对应的文字说明n静态时序分析的概念、目的和作用n建立/保持时间的概念和约束条件的计算nPrimeTime的基本过程51认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目补充题补充题n给定setuptime/holdtime的案例，要求算出最小时钟周期。n也可以给定周期和setuptime和holdtime，计算时间裕度。n我们假设时钟周期是20,每个触发器的cell延迟是1,触发器的建立时间是1,保持时间是0.5,分析下列图中的建立时间和保持时间的slack。52认识到了贫困户贫困的根本原因，才能开始对
28、症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目设时钟周期是20,每个触发器的cell延迟是1,触发器的建立时间是1,保持时间是0.5,分析图中的建立时间和保持时间的slack。53认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目n看到设计，首先要分析路径，找出最长和最短路径，因为dc的综合都是根据约束而得到最短和最长路径来进行器件选择的。n接下来将图中的所有路径标出。n因为没有前级（input_delay)和后级电路(output_delay)，我们只分析图中给出的路径54认识到了贫困户贫困的
29、根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目对于红色路径：Td=Tcell+Td4+Td5+Td6=1+4+3+1=9对于黄色路径：Td=Tcell+Td4+Td5+Td6+Td8=1+4+3+1+2=11对于紫色路径：Td=Tcell+Td1+Td2+Td3=1+2+3+2=8对于路色路径：Td=Tcell+Td7+Td2+Td3=1+2+3+2=855认识到了贫困户贫困的根本原因，才能开始对症下药，然后药到病除。近年来国家对扶贫工作高度重视，已经展开了“精准扶贫”项目所以Tlongest=11,Tshortest=8对于setuptime的slack：Tclk-Tlongest-Tsetup=20-11-1=8对于holdtime的slack：Tshortest-Thold=8-0.5=7.556