静态时序分析优秀PPT.ppt

上传人:wj151****6093 文档编号:86833113 上传时间:2023-04-15 格式:PPT 页数:56 大小:1.20MB
返回 下载 相关 举报
静态时序分析优秀PPT.ppt_第1页
第1页 / 共56页
静态时序分析优秀PPT.ppt_第2页
第2页 / 共56页
点击查看更多>>
资源描述

《静态时序分析优秀PPT.ppt》由会员分享,可在线阅读,更多相关《静态时序分析优秀PPT.ppt(56页珍藏版)》请在得力文库 - 分享文档赚钱的网站上搜索。

1、静态时序分析静态时序分析StaticTimingAnalysis-于斌1报告概要报告概要n时序分析概述n时序分析中的基本概念n常用工具简介2概念+市场探讨结构说明和RTL编码RTL模拟逻辑综合、优化、扫描插入形式验证(RTL和门级)布局前STA时序正确布局、CT插入和全局布线转换时钟树到DC形式验证(扫描插入的网表与CT插入的网表)布局后STA具体布线时序正确布线后STA时序正确结束是是是否否否31.结构及电学特性规范2.HDL中的RTL编码3.为包含存储单元的设计插入DFTmemoryBIST4.为验证设计功能,进行详尽的动态仿真5.设计环境设置,包括将运用的工艺库和其他环境属性6.运用DC

2、对具有扫描插入(和可选JTAG)的设计进行约束和综合设计7.运用DC的内建静态时序分析机进行模块级的静态时序分析8.设计的形式验证,运用Formality将RTL和综合后的网表进行对比9.运用PT进行整个设计布局前的静态时序分析10.对布局工具进行时序约束前的前标注11.具有时序驱动单元布局、时钟树插入和全局布线的初始布局划分12.将时钟树转换到驻留在中的原始设计413.在DC中进行设计的布局优化14.运用Formality在综合网表和时钟树插入的网表之间进行进行形式验证15.在全局布线后(11步)16.从全局布线得到的估计时间数据反标注到PT17.运用全局布线后提取的估计延时数据在PT中进行

3、静态时序分析18.设计的具体布局19.提取来自具体布局设计的实际时间延迟20.实际提取时间数据反标注到PT21.运用PT进行布局后的静态时序分析22.布局后的门级功能仿真(假如须要的话)23.在LVS和DRC验证之后交货5时序分析概述时序分析概述n与时序相关的流程DesignEntrySynthesisTimingPlaceTimingRouteTiming动态时序仿真 静态时序分析 形式验证6动态时序仿真与静态时序分析动态时序仿真与静态时序分析n动态仿真是时序针对给定的仿真输入信号波形,模拟设计在器件实际工作时的功能和延时状况,给出相应的仿真输出信号波形。它主要用于验证设计在器件实际延时状况

4、下的逻辑功能。由动态时序仿真报告无法得到设计的各项时序性能指标,如最高时钟频率等。n静态时序分析则是通过分析每个时序路径的延时,计算出设计的各项时序性能指标,如最高时钟频率、建立保持时间等,发觉时序违规。它仅仅聚焦于时序性能的分析,并不涉及设计的逻辑功能,逻辑功能验证仍需通过仿真或其他手段(如形式验证等)进行。静态时序分析是最常用的分析、调试时序性能的方法和工具。7静态时序分析静态时序分析-Static Timing AnalysisnSTA是一种验证方法nSTA的前提是同步逻辑设计nSTA是运用工具通过路径计算延迟的综合,并比较相对预定义时钟的延迟nSTA仅关注时序间的相对关系而不是评估逻辑

5、功能n无需用向量去激活某个路径,而是对全部的时序路径进行错误分析,能处理百万门级的设计,分析速度比时序仿真工具快几个数量级,在同步逻辑状况下,可以达到100%的时序路径覆盖nSTA的目的是找出隐藏的时序问题,依据时序分析结果优化逻辑或约束条件,使设计达到时序闭合(timingclosure)8STA的作用的作用n确定芯片最高工作频率确定芯片最高工作频率n 通过时序分析可以限制工程的综合、映射、布局布线等通过时序分析可以限制工程的综合、映射、布局布线等环节,削减延迟,从而尽可能提高工作频率环节,削减延迟,从而尽可能提高工作频率n检查时序约束是否满足检查时序约束是否满足n 可以通过时序分析来查看目

6、标模块是否满足约束,如不可以通过时序分析来查看目标模块是否满足约束,如不满足,可以定位到不满足约束的部分,并给出具体缘由,满足,可以定位到不满足约束的部分,并给出具体缘由,进一步修改程序直至满足时序要求进一步修改程序直至满足时序要求n分析时钟质量分析时钟质量n 时钟存在抖动、偏移、占空比失真等不行避开的缺陷。时钟存在抖动、偏移、占空比失真等不行避开的缺陷。通过时序分析可以验证其对目标模块的影响通过时序分析可以验证其对目标模块的影响9STA的过程的过程nSTA分三步走:n1、将设计打散成一个一个的timingpathn2、计算每条path的延迟n3、检验延迟是否满足设计约束的要求。10时序分析基

7、本概念时序分析基本概念n建立时间(setuptime)n保持时间(holdtime)n时钟到输出延迟(clocktooutputtime)n时钟偏斜(clockskew)n时钟抖动(jitter)11建立时间建立时间tSU(setup time)n触发器的时钟信号上升沿到来以前,数据稳定不变的时间。触发器的时钟信号上升沿到来以前,数据稳定不变的时间。输入信号应提前时钟上升沿输入信号应提前时钟上升沿(假设上升沿有效)(假设上升沿有效)T时间到时间到达芯片,这个达芯片,这个T就是建立时间就是建立时间Setup time.如不满足如不满足setup time,这个数据就不能被这一时钟打入触发器,只有

8、在下一这个数据就不能被这一时钟打入触发器,只有在下一个时钟上升沿,数据才能被打入触发器。个时钟上升沿,数据才能被打入触发器。12保持时间保持时间tH(hold time)n保持时间是指触发器的时钟信号上升沿到来以后,数据稳保持时间是指触发器的时钟信号上升沿到来以后,数据稳定不变的时间。假如定不变的时间。假如hold time不够,数据同样不能被打入不够,数据同样不能被打入触发器触发器。13时钟到输出延迟时钟到输出延迟tCO(clock to output time)n从时钟信号有效沿到数据有效的时间间隔14n不满足建立/保持时间,可能出现亚稳态tMETsettingtime,亚稳态到稳态的时间

9、,与工艺无关15最小周期最小周期TT=tCO+tDELAY+tSU16时钟偏斜(时钟偏斜(clock skew)n时钟偏斜指的是同一个时钟信号到达两个不同寄存器之间的时间差值n时钟偏斜恒久存在,到确定程度就会严峻影响电路的时序17时钟抖动(时钟抖动(jitter)n所谓抖动,就是指两个时钟周期之间存在的差值,这个误差是在时钟发生器内部产生的,和晶振或者PLL内部电路有关,布线对其没有影响jitter=T2-T118STA的过程的过程nSTA分三步走:n1、将设计打散成一个一个的timingpathn2、计算每条path的延迟n3、检验延迟是否满足设计约束的要求。19时序分析基本概念时序分析基本

10、概念n时序路径从输入端口到触发器的数据D端从触发器的时钟clk端到触发器的数据D端从触发器的时钟clk端到输出端口从输入端口到输出端口20时序分析常用路径时序分析常用路径n时钟到建立clocktosetuppathn时钟到管脚clocktopadpathn结束于时钟引脚pathsendingatclockpinofflip-flopsn管脚到管脚padtopadn管脚到建立padtosetup21时钟到建立时钟到建立 clock to setup path22时钟到管脚时钟到管脚 clock to pad path23结束于时钟引脚结束于时钟引脚 ending at clock pin of

11、F-F24管脚到管脚管脚到管脚 pad to pad25管脚到建立管脚到建立 pad to setup26时序分析基本概念时序分析基本概念n关键路径n关键路径通常是指同步逻辑电路中,组合逻辑时延最大的路径。也就是说关键路径是对设计能起确定性影响的时序路径。n静态时序分析可以找出逻辑电路的关键路径,通过查看时序分析报告,可以确定关键路径n常用优化方法:Retiming、Pipeline27时序优化方法时序优化方法-Ritiming28时序优化方法时序优化方法-Pipeline29主流工具主流工具nSynopsys公司的PrimeTime主要用于全芯片的IC设计,PrimeTime是业界最流行的分

12、析工具n各FPGA厂商的工具均供应静态时序分析功能,FPGA的静态时序分析比IC简洁30Timing AnalyzernAltera公司的QuartusII自带的静态时序分析工具,可以进行:时序路径的时延分析(DelayMatrix)建立/保持时间分析(Setup/HoldMatrix)同步逻辑性能(RegisteredPerformance)31Timing Analyzer32Timing Analyzer33Timing Analyzer34Timing Analyzer35PrimeTimenPrimeTime是Synopsys的静态时序分析工具,为业界标准,占据最大的市场份额nPri

13、meTime是数字ASIC设计的sign-off必选工具,受到全部EDA工具和IC厂家的支持nFPGA逻辑静态时序分析,仅用到PrimeTime的一小部分功能36Report术语术语nArrivalTime-信号到达时间n表示实际计算所得的信号到达逻辑电路中某一点的确定时间,等于信号到达某条路径起点的时间加上信号在该条路径上的逻辑单元间传递延时的总和nRequiredArrivalTime-要求到达时间n简称RAT,表示要求信号在逻辑电路的某一特定点处的到达时间nSlack-余量n表示在逻辑电路的某一特定点处要求到达时间与实际到达时间之间的差。Slack值表示该信号到达的太早或太晚37PT过程

14、过程nPrimeTime做STA分四步流程:1、读入设计及库2、约束设计3、指定延迟计算信息4、静态时序分析和报告381、建立设计环境-建立搜寻路径(searchpath)和链接路径(linkpath)-读入设计和库-链接顶层设计-建立运作条件、连线负载模型、端口负载、驱动和传输时间2、说明时序声明(约束)-定义时钟周期、波形、不确定性(uncertainty)和滞后时间(latency)-说明输入、输出端口的延时3、说明时序例外状况(timingexceptions)-多周期路径(multicyclepaths)-不合法路径(falsepaths)-说明最大和最小延时、路径分割(pathse

15、gmentation)和失效弧(disabledarcs)4、进行分析和生成报告-检查时序-生成约束报告-生成路径时序报告3940PrimeTimen建立时间检查clockdelay1-clockdelay2+maxdatapath+tSUclockperiodMaxdatapath是寄存器的tCO加上寄存器间的组合逻辑延迟41建立时间检查建立时间检查nclockdelay1=0nsnclockdelay2=0nsnmaxdatapath=tco+pathdelay=1.449ns+0.258ns=1.707nsn若T=4ns,则slack=4ns-1.707ns=2.293ns42建立时间检

16、查建立时间检查43PrimeTimen保持时间检查clockdelay1-clockdelay2+mindatapath-tH044保持时间检查保持时间检查nclockdelay1=0nsnclockdelay2=0nsnmindatapath=tco+pathdelay=1.449ns+0.258ns=1.707nsnintrinsicholdtime=1.284nsn则slack=1.707ns-1.284ns=0.493ns45保持时间检查保持时间检查46问题问题n三个阶段时序分析有何不同?DesignEntrySynthesisTimingPlaceTimingRouteTiming区

17、分?47综合后综合后STAn建立时间不符合-重新设计n保持时间不符合-此处修改或布局后修改(依据大小)n接受的统计线载模型n时钟扇出和时钟翻转固定48布局后布局后STAn布局工具将关键单元彼此靠近放置用以最小化路径延迟n修改保持时间违例(或依据违例程度选择布线后修改)n插入了时钟树(clocktree,CT),变更了原有设计49布线后布线后STAn加入寄生电容和RC连线延迟n修正保持时间(插入缓冲器)n最接近实际状况50须要驾驭的部分须要驾驭的部分n流程图和相对应的文字说明n静态时序分析的概念、目的和作用n建立/保持时间的概念和约束条件的计算nPrimeTime的基本过程51补充题补充题n给定

18、setuptime/holdtime的案例,要求算出最小时钟周期。n也可以给定周期和setuptime和holdtime,计算时间裕度。n我们假设时钟周期是20,每个触发器的cell延迟是1,触发器的建立时间是1,保持时间是0.5,分析下列图中的建立时间和保持时间的slack。52设时钟周期是20,每个触发器的cell延迟是1,触发器的建立时间是1,保持时间是0.5,分析图中的建立时间和保持时间的slack。53n看到设计,首先要分析路径,找出最长和最短路径,因为dc的综合都是依据约束而得到最短和最长路径来进行器件选择的。n接下来将图中的全部路径标出。n因为没有前级(input_delay)和

19、后级电路(output_delay),我们只分析图中给出的路径54对于红色路径: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

展开阅读全文
相关资源
相关搜索

当前位置:首页 > pptx模板 > 商业计划书

本站为文档C TO C交易模式,本站只提供存储空间、用户上传的文档直接被用户下载,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有。本站仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私,请立即通知得利文库网,我们立即给予删除!客服QQ:136780468 微信:18945177775 电话:18904686070

工信部备案号:黑ICP备15003705号-8 |  经营许可证:黑B2-20190332号 |   黑公网安备:91230400333293403D

© 2020-2023 www.deliwenku.com 得利文库. All Rights Reserved 黑龙江转换宝科技有限公司 

黑龙江省互联网违法和不良信息举报
举报电话:0468-3380021 邮箱:hgswwxb@163.com