《FPGA静态时序分析.docx》由会员分享，可在线阅读，更多相关《FPGA静态时序分析.docx（12页珍藏版）》请在三一办公上搜索。
1、1. 适用范围本文档理论适用于Actel FPGA并且采用Libero软件进行静态时序分析（寄存器到寄存器）。2. 应用背景静态时序分析简称STA，它是一种穷尽的分析方法，它按照同步电路设计的要求，根据电 路网表的拓扑结构，计算并检查电路中每一个DFF（触发器）的建立和保持时间以及其他基于 路径的时延要求是否满足。STA作为FPGA设计的主要验证手段之一，不需要设计者编写测试 向量，由软件自动完成分析，验证时间大大缩短，测试覆盖率可达100%。静态时序分析的前提就是设计者先提出要求，然后时序分析工具才会根据特定的时序模型进 行分析，给出正确是时序报告。进行静态时序分析，主要目的就是为了提高系统
2、工作主频以及增加系统的稳定性。对很多数 字电路设计来说，提高工作频率非常重要，因为高工作频率意味着高处理能力。通过附加约束可 以控制逻辑的综合、映射、布局和布线，以减小逻辑和布线延时，从而提高工作频率。3. 理论分析3.1 静态时序分析的理论基础知识在进行正确的时序分析前，我们必须具备基本的静态时序的基本知识点，不然看着编译器给 出的时序分析报告犹如天书。如图3.1所示，为libero软件给出的寄存器到寄存器模型的时序 分析报告的截取，接下来我们会弄清楚每个栏目的数据变量的含义，以及计算方法。Soarce PinSink PinDelo.?tunciTskew = Tclk2 - Tclkl（
3、公式3-1）3.1.3 Data Arrival TimeTdata数据到达时间（Data Arrival Time）:输入数据在有效时钟沿后到达所需要的时间。主要 分为三部分：时钟到达寄存器时间（Tclk1），寄存器输出延时（Tco）和数据传输延时（Tdata）， 如图3.5所示图3.5数据到达时间数据到达时间计算公式如下:TdataData Arrival Time = Launch edge + Tclk1 +Tco +（公式3-2）3.1.4 Clock Arrival TimeTdata图3.6时钟到达时间时钟到达时间（Clock Arrival Time）:时钟从latch边沿到达
4、锁存寄存器时钟输入端所 消耗的时间为时钟到达时间，如图3.6所示LatchTclk2DQ时钟到达时间计算公式如下:Clock Arrival Time = Lacth edge + Tclk2（公式3-3）3.1.5 Data Required Time (setup/hold)数据需求时间(Data Required Time):在时钟锁存的建立时间和保持时间之间数据必须 稳定，从源时钟起点达到这种稳定状态需要的时间即为数据需求时间。如图3.7所示：Latch edgeDTdataTus/ThTclk2图3.7数据需求时间(建立)数据需求时间计算公式如下：Data Required Time
5、 = Clock Arrival Time - Tsu（公式3-4）(保持)数据需求时间计算公式如下:Data Required Time = Clock ArrivalTime + Th（公式3-5）3.1.6 Setup slack建立时间余量(setup slack):当数据需求时间大于数据到达时间时，就说时间有余量， Slack是表示设计是否满足时序的一个称谓。Tdk1TdataREG1.QDataiREG2.Dsetupslack -i TsuREG2.CLK图3.8建立时间余量如图3.8所示，建立时间余量的计算公式如下:elk REG1.CLKREG1Tclk2Tclk2Data
6、VaTclklREG2Tus/ThSetup slack = Data Required Time - DataArrival Time（公式3-6）由公式可知，正的slack表示数据需求时间大于数据到达时间，满足时序（时序的余量）， 负的slack表示数据需求时间小于数据到达时间，不满足时序（时序的欠缺量）。3.1.7时钟最小周期时钟最小周期：系统时钟能运行的最高频率。1. 当数据需求时间大于数据到达时间时，时钟具有余量;2. 当数据需求时间小于数据到达时间时，不满足时序要求，寄存器经历亚稳态或者不能 正确获得数据；3. 当数据需求时间等于数据到达时间时，这是最小时钟运行频率，刚好满足时序。
7、从以上三点可以得出最小时钟周期为数据到达时间等于数据需求时间，的运算公式如下:Data Required Time = Data Arrival Time（公式3-7）由上式推出如下公式:Tmin + Latch edge + Tclk2 - Tsu = Launch edge + Tclk1 + Tco + Tdata最终推出最小时钟周期为:Tmin = Tco + Tdata + Tsu - Tskew（公式3-8）4. 应用分析4.1设置时钟主频约束所有的静态时序分析都是在有约束的情况下编译器才给出分析报告，所以进行时序分析的第 一步就是设置约束。Libero软件设置时钟约束的途径三种，
8、单时钟约束，多时钟约束和在Designer里面进行 约束。4.1.1单时钟约束有时我们系统所有模块都采用同一个时钟，这种方式最为简单，直接在Synplify主界面上 有个设置时钟约束的，如图4.1中红框所示：Run 二 Close PrjtctAdd FiM君 ChtnNew-Constraint File建立SDC文件，选择时钟约束如图4.3 所示：EnabledCloi Obj EdClock Al LasBreijueiLcyOMe)Period fris)Clock GroupLTl Era_PH_inEt. GULd.4-aful i_cllrgK oup_fl口n： sys JTL
9、iiEt. GLBdHaralt_clkgir oup_LIL：t. CLCle：aralA_cLkpf tu.p_24clliSdefaull_cLkgr uu.p_3图4.3多时钟约束对时钟进行如下约束后保存SDC文件，约束如图4.4所示dock Grouail t_cLker oup_0ail t_cLkjrail t_cLkjrail t_cLkjr图4.4多时钟约束完成4.3 Designer SmartTime 时钟约束时钟约束除了在Synplify中可以约束外，还可以在Designer SmartTime中设置时钟约 束，打开Designer Constraint，选择Clock
10、进行针对每个使用时钟的设置，如图4.5所示:Cons tr amts R.qu3r errientsV Clock Generated CLock Input Leia/ Output Delay一 ExcepticmsW Max DalayMin Delay MiHt cycle FQ_e 白 Fath.ynttiClock Bq.bcCloel SoTir ceBiETio d ln=)Frei.Tieii.iGT (Ml)Dut* (1Fixs.tEdecIt dClic?: hrxz to -iid. -ci cons ! xaintsy e_PLL_ i iiEt/Co r a :
11、CLA zr E_PLL_i he 1 /Cora: CLi2. 3323flD. 0049.9 riEin D. ADO0 1.&6662rsy e_FLL_ ast/CD r e : GEE 57 E_FLL_lns 1/Core: tLE3. 333300. 00343. 39B nslnD. ODD 1颁&Vej =_PLL_iast/CDire :GLC sr s_PLL_ins 1/Core: tLC把3300. 00349.9 irisinD. 0000 1.66664elkell20 ODO50 dOO50. ODD risinD. dDO0 10ClkZ|clj210. OD
12、OjOO. 00050. ODD ri sinD. 000 0 54.4时序报告分析4.4.1 Synplify 时序报告当约束了时序后，需要观察时序报告，看时钟能否达到我们需要的时钟，首先观察Synplify 综合报告。以多时钟约束为例子，从Synplify得到的时序报告如图4.6所示：Start ingClockP.est e dFreii.iencyEstimatedF r eii.iencyP.e e s t e dPeriodEstimatedPeriodSlackclkZ100.0 MHa10Z.7 I-IHe10-0009.7400.Z60sys P LLinst-GLA300.
13、0 MHz3Z3-3 MHz3.3333.0930.240sys FLLinsz.GLB300.0 MHa3E3.3 IIHe3,3333.0930.Z40sys_P LL_inst-GLC300.0 MHz3Z3- 3 MHz3.33 33.0930.240图4.6多时钟约束时序报告由上图可知时序都满足约束，未出现违规，可以在下面的报告中查看最差路径，如图4.7所示 是clk2的最差路径。最差路径4.4.2Designer SmartTime时序分析报告图4.7当设计经过Synplify综合给出网表文件后，还需要Designer进行布局布线，通过布局布 线优化后的时序会有变化，因此，还需要分
14、析布局布线后的时序，打开Designer-Timing Analyzer查阅整体时序分析报告如图4.8所示：Clock Details:HaaePeriodF r eq,neiic7 (KHi)Keauired.Period (ns)Eeq.ui redFr eauejLcr(JOTs)Ext ernal Setup (ns)Ext ernal Hold Cns)Max Cl口ck to Out ISXi& Clock to Out (ns)Oelk4.250. 0002 0. 00050. 000N/An/aH/Aclk29. 610104. 05010. 000100.0000. 5910
15、. 1347. OOUSTS_PLL_instj|rCore : CT.A3. OST32T. 1183. 333300.0301. 538-o. 361N/A1T/AKTE_PLL_in5t/Core: CT.B3. 5T32T. 1183. 333300.0301. 568-0. 361N/AU/AETE_PLL_inst/Core: 施在3. OST32T. 1183. 333300. 0301. 538-0. 3611T/AU/h图4.8布局布线后时序报告由Synplify综合后的报告和Designer进行布局布线后的报告可以看出，布局布线后优化 了一些时序，特别是clk2时钟，通过布
16、局布线后优化到了 184Mhz，完全满足时序。4.4.3详细时序报告图通过Synplify综合后的和Designer进行布局布线都只是看到了一个大体的时序报告，当 我们需要分析时序时候必须观察仔细的时序报告，在SmartTime中提供这种报告功能，以clk2 分析为例，在Timing Analyzer找到如下区域。曰* jlk2Register tu Regi sterrEk+ern：il SetupCLo ck t o Outjiutster to Asj-tlcIll-onousEstern：il RecoveryAsjmcbLt- UTLLH15 t o Re gi st er图4.9时
17、序报告选择如图4.9所示，选择寄存器到寄存器进行分析时钟主频。Source PinSink PinDe Lar (nis)Slack, (ns)ArrivalCns)Reuui r ed.(ns)Setup(ns)Minibub Period (ns)Skev(H5)21fsr_t o_de c_i ns t3/cnt_ 而 5l：l二 EE；：de c_add_i ns t/rne：E _da+：a_H12：H9. 1560. 46810.60211.0700. 3769. 5320. 000p1 fEr_+己 _i nm 11 / cn+_dpc_rll:CUClit i2_：dd_i n
18、s t/m 屯：e _da+a_rT12：H9. 0690.55510.51511.0700. 3769. 4450. 00041 f Ei-_t ij_dH c_i D.E 11 / cnt_ 1pc_H Li:CUCde c_add_i ns t./ m e as _da+a_rT12：H9.0390.58510.48511. OTO0.3769.4150.00051 f sr_t o_de c_i ns + 2/ cnt_lecjl ?：CLI：de c_add_i ns t./ m e as _.la7a_rT12：Il8.9590.&510.40511. OTO0.3760.0006
19、1 f sr _+ o_iit! z_i ns + 2/ cnt_O：CLIC一de c_add_inst/e 已 a， _da?a_rT12：H8. 7950. 82910.24111.0700. 3769. 1710. 00071 f Er_t o_de c_i ns + 3/cnt_ dpC_71 O：CLIC一de c_：dd_i ns t/rrieas _da+ a_r13:D8. 7310. S&710.17711.0440. 4029. 1330. 000图4.10寄存器到寄存器分析如图4.10所示，时序报告中给出了数据延时，时序余量，数据到达时间，数据需求时间，数据 建立时间，以及最小周期和时钟偏斜等信息，有了上一节的时序分析基础知识，我们完全能看懂 这些数据代表的意义，这样对我们时序分析就知己知彼，进一步双击其中一条路径，还会给出这 条路径的硬件电路图，如图4.11所示，有了这些详细的时序报告，对设计进行调整更加清晰。图4.11硬件路径
