嵌入式新闻
手机数字基带处理芯片中的静态时序分析
1.引言
随着深亚微米技术的发展,数字威廉希尔官方网站 的规模已经发展到上百万门甚至上千万门。工艺也从几十μm提高到65nm甚至45nm。这样的威廉希尔官方网站 规模做验证的时间在整个芯片的开发周期所占的比例会越来越重。通常,在做验证的时候,我们都会采用动态验证的方法。现在,用静态验证方法(STA Static Timing Analysis),不仅能够完成验证的工作,而且还能大大节省验证所需要的时间。静态时序分析简称它提供了一种针对大规模门级威廉希尔官方网站 进行时序验证的有效方法。静态时序分析是相对于动态时序分析而言的。动态时序分析时不可能产生完备的测试向量,覆盖门级网表中的每一条路径。因此在动态时序分析中,无法暴露一些路径上可能存在的时序问题;而静态时序分析,可以方便地显示出全部路径的时序关系,因此逐步成为集成威廉希尔官方网站 设计签字认可的标准。
2.静态时序分析工作原理
本文以Synopsys公司的Prime Time SI作为时序分析的工具,介绍静态时序分析的工作原理。Prime Time把整个设计威廉希尔官方网站 打散成从主要的输入端口到威廉希尔官方网站 触发器、从触发器到触发器、从触发器到主要输出端口、从主要的输出端口到主要的输出端口、四种类型的时序路径,分析不同路径的时序信息,得到建立时间(setup time)和保持时间(hold time)的计算结果。而Prime time SI又在Prime time的基础上加入串扰分析(Crosstalk analysis)。串扰是由两个或者多个物理相邻连线之间的容性交叉耦合(capacitive cross-coupling)产生的相互作用。随着工艺越来越进步,在130nm或者90nm的工艺下,串扰的影响已经变得与单元延迟和线延迟一样重要。
2.1 时序路径的分析
整个威廉希尔官方网站 的静态时序分析都是由时序路径分析组成。时序路径分析就是检查从发射沿(lunching edge)到捕获沿(capturing edge)的时间是否满足设计的需要。它主要可以分为两类:
建立时间路径
这种路径用于检查信号在到达捕获沿之前的一段稳定时间(setup time),也就是确定从发射沿到捕获沿的过程是否足够快。建立路径包括普通的数据到时钟的建立路径、数据到数据以及时钟门的路径。如果最晚的一个发射沿到最早的一个捕获沿之间的时间满足时序要求(没有timing violation),才能确保这条建立路径都满足条件。
保持时间路径
这种路径用于检查信号在到达捕获沿之后的一段稳定时间的(hold time),也就是确定从发射沿到捕获沿的时间是否太短。包括普通的数据到时钟的建立路径、数据到数据以及时钟门的路径、异步信号同步化的检查。为了正确的分析,我们检查保持路径时必须检查最早的一个发射沿到最晚的一个捕获沿之间的时间满足时序要求。
如图1中发射部分由所有的时钟端口到触发器FF2的D端口之间的单元(包括U1、U2、FF1、U4)和线组成;捕获部分由所有的时钟端口到触发器FF2的时钟端口之间的单元(U1、U3、FF2)和线组成。其中U1既属于建立路径又属于保持路径。那么,建立路径就应该结合到FF2的D端口最慢的路径和到其时钟端口最快的路径来看。保持路径则相反,我们应该找到达FF2D端口最快的路径和到其时钟端口最慢的路径。对于Setup Time验证来说:
Slack=Required Time – Arrival Time
对于Hold Time验证来说:
Slack= Arrival Time –Required Time
Slack为正值,表示满足时序要求
图1 建立/保持路径示意图
PT工作流程
图2为PT的工作流程,我们可以看出静态时序分析是一个反复进行的过程。直到结果满足要求为止。
图2 PT工作流程
芯片在工作时所处的环境是不同的,然而环境的不同导致芯片内部的单元和线的延迟不同。为了使芯片在大多数环境下都能正常工作,PT中提供了三种分析模式:single、bc_wc、on_chip_variation。我们平时常用的是bc_wc模式,它把环境用工艺制程(process)、温度(temperature)、电压(voltage)分为以下3种情况:
1、best case:工艺制程:1;理想温度零下40摄氏度;电压1.32V(此芯片额定电压为1.2V)
2、typical case:工艺制程:1;室温环境25摄氏度;电压1.2V
3、worst case: 工艺制程:1;125摄氏度;电压1.08V
为了测试芯片在投片生产和封装整个制造过程是否出现物理等方面的缺陷导致功能不正确。现在的超大规模集成威廉希尔官方网站 的设计中,都加入了可测性设计(DFT:Design for Test)威廉希尔官方网站 。当芯片工作于测试模式时,时钟树的结构与功能模式完全不同。我们必须在测试模式下也要分以上3种情况做静态时序分析。
3.静态时序分析与门级仿真的关系
静态时序分析也有自己的弱点,它无法验证威廉希尔官方网站 功能的正确性。值得注意的是,静态时序分析只能有效地验证同步时序的正确性,大部分设计中可能包含地异步威廉希尔官方网站 的时序验证,则必须通过门级仿真来保证其时序的正确性。
全部0条评论
快来发表一下你的评论吧 !