很多人询问关于约束、时序分析的问题,比如:如何设置setup,hold时间?如何使用全局时钟和第二全局时钟(长线资源)?如何进行分组约束?如何约束某部分组合逻辑?如何通过约束保证异步时钟域之间的数据交换可靠?如何使用i/o逻辑单元内部的寄存器资源?如何进行物理区域约束,完成物理综合和物理实现?为了解决大家的疑难,我们将逐一讨论这些问题。(注:以下主要设计时序约束)
a 时序约束的概念和基本策略
时序约束主要包括周期约束(ffs到ffs,即触发器到触发器)和偏移约束(ipad到ffs、ffs到opad)以及静态路径约束(ipad到opad)等3种。通过附加约束条件可以使综合布线工具调整映射和布局布线过程,使设计达到时序要求。例如用offset_in_before约束可以告诉综合布线工具输入信号在时钟之前什么时候准备好,综合布线工具就可以根据这个约束调整与ipad相连的logic circuitry的综合实现过程,使结果满足ffs的建立时间要求。
附加时序约束的一般策略是先附加全局约束,然后对快速和慢速例外路径附加专门约束。附加全局约束时,首先定义设计的所有时钟,对各时钟域内的同步元件进行分组,对分组附加周期约束,然后对fpga/cpld输入输出pad附加偏移约束、对全组合逻辑的pad to pad路径附加约束。附加专门约束时,首先约束分组之间的路径,然后约束快、慢速例外路径和多周期路径,以及其他特殊路径。
b 附加约束的基本作用
提高设计的工作频率
对很多数字电路设计来说,提高工作频率非常重要,因为高工作频率意味着高处理能力。通过附加约束可以控制逻辑的综合、映射、布局和布线,以减小逻辑和布线延时,从而提高工作频率。
获得正确的时序分析报告
几乎所有的fpga设计平台都包含静态时序分析工具,利用这类工具可以获得映射或布局布线后的时序分析报告,从而对设计的性能做出评估。静态时序分析工具以约束作为判断时序是否满足设计要求的标准,因此要求设计者正确输入约束,以便静态时序分析工具输出正确的时序分析报告。
指定fpga/cpld引脚位置与电气标准
fpga/cpld的可编程特性使电路板设计加工和fpga/cpld设计可以同时进行,而不必等fpga/cpld引脚位置完全确定,从而节省了系统开发时间。这样,电路板加工完成后,设计者要根据电路板的走线对fpga/cpld加上引脚位置约束,使fpga/cpld与电路板正确连接。另外通过约束还可以指定io引脚所支持的接口标准和其他电气特性。为了满足日新月异的通信发展,xilinx新型fpga/cpld可以通过io引脚约束设置支持诸如agp、blvds、ctt、gtl、gtlp、hstl、ldt、lvcmos、lvdci、lvds、lvpecl、lvdsext、lvttl、pci、pcix、sstl、ulvds等丰富的io接口标准。另外通过区域约束还能在fpga上规划各个模块的实现区域,通过物理布局布线约束,完成模块化设计等。
c 周期(period)的含义
周期的含义是时序中最简单也是最重要的含义,其它很多时序概念会因为软件商不同略有差异,而周期的概念确是最通用的,周期的概念是fpga/asic时序定义的基础概念。后面要讲到的其它时序约束都是建立在周期约束的基础上的,很多其它时序公式,可以用周期公式推导。周期约束是一个基本时序和综合约束,它附加在时钟网线上,时序分析工具根据period约束检查时钟域内所有同步元件的时序是否满足要求。period约束会自动处理寄存器时钟端的反相问题,如果相邻同步元件时钟相位相反,那么它们之间的延迟将被默认限制为period约束值的一半。如下图所示,
图1 周期的定义
时钟的最小周期为:
tclk = tcko +tlogic +tnet +tsetup -tclk_skew
tclk_skew =tcd2 -tcd1
其中tcko为时钟输出时间,tlogic为同步元件之间的组合逻辑延迟,tnet为网线延迟,tsetup为同步元件的建立时间,tclk_skew为时钟信号tcd2和tcd1延迟的差别。
d 数据和时钟之间的约束
为了确保芯片数据采样可靠和下级芯片之间正确地交换数据,需要约束外部时钟和数据输入输出引脚之间的时序关系(或者内部时钟和外部输入/输出数据之间的关系,这仅仅是从采用了不同的参照系罢了)。约束的内容为告诉综合器、布线器输入数据到达的时刻,或者输出数据稳定的时刻,从而保证与下一级电路的时序关系。
这种时序约束在xilinx中用setup to clock(edge),clock(edge) to hold等表示。在altera里常用tsu (input setup times)、th (input hold times)、tco (clock to out delays)来表示。很多其它时序工具直接用setup和hold表示。其实他们所要描述的是同一个问题,仅仅是时间节点的定义上略有不同。下面依次介绍。
e 关于输入到达时间
xilinx的输入到达时间的计算时序描述如下图所示:
图2 输入到达时间示意图
定义的含义是输入数据在有效时钟沿之后的tarrival时刻到达。则,
tarrival=tcko+toutput+tlogic 公式1
根据上面介绍的周期(period)公式,我们可以得到:
tcko+toutput+tlogic+tinput+tsetup-tclk_skew=tclk; 公式2
将公式1代入公式2:tarrival+tinput+tsetup-tclk_skew=tclk, 而tclk_skew满足时序关系后为负,所以
tarrival +tinput+tsetup
这就是tarrival应该满足的时序关系。其中tinput为输入端的组合逻辑、网线和pad的延迟之和,tsetup为输入同步元件的建立时间。
f 数据延时和数据到达时间的关系
图3 数据延时和数据到达时间示意图
tdelay为要求的芯片内部输入延迟,其最大值tdelay_max与输入数据到达时间tarrival的关系如上图所示。也就是说:tdelay_max+tarrival=tperiod 公式4
所以:
tdelay
g 要求输出的稳定时间
从下一级输入端的延迟可以计算出当前设计输出的数据必须在何时稳定下来,根据这个数据对设计输出端的逻辑布线进行约束,以满足下一级的建立时间要求,保证下一级采样的数据是稳定的。计算要求的输出稳定时间如下图所示:
图4 要求的输出稳定时间示意图
公式的推导如下:
定义:tstable = tlogic +tinput +tsetup
从前面帖子介绍的周期(period)公式,可以得到(其中tclk_skew=tclk1-tclk2):
tclk=tcko+toutput+tlogic+tinput+tsetup+tclk_skew
将tstable的定义代入到周期公式,可以得到:
tclk=tcko+toutput+tstable+tclk_skew
所以:tcko +toutput+tstable
这个公式就是tstable必须要满足的基本时序关系,即本级的输出应该保持怎么样的稳定状态,才能保证下级芯片的采样稳定。有时我们也称这个约束关系是输出数据的保持时间的时序约束关系。只要满足上述关系,当前芯片输出端的数据比时钟上升沿提早tstable 时间稳定下来,下一级就可以正确地采样数据。其中toutput为设计中连接同步元件输出端的组合逻辑、网线和pad的延迟之和,tcko为同步元件时钟输出时间。
h 实施时序约束的方法和命令
实施上述约束的基本方法是,根据已知时序信息,推算需要约束的时间值,实施约束。具体地说是这样的,首先对于一般设计,首先掌握的是tclk,这个对于设计者来说是个已知量。前面介绍公式和图中的tcko和tsetup(注:有的工具软件对tcko和tsetup的定义与前面图形不同,还包含了到达同步器件的一段logic的时延)是器件内部固有的一个时间量,一般我们选取典型值,对于fpga,这个量值比较小,一般不大于1~2ns。比较难以确定的是tinput和toutput两个时间量。
约束输入时间偏移,需要知道tinput,tinput为输入端的组合逻辑、网线和pad的延迟之和,pad的延时也根据器件型号也有典型值可选,但是到达输入端的组合逻辑电路和网线的延时就比较难以确定了,只能通过静态时序分析工具分析,或者通过底层布局布线工具量取,有很大的经验和试探的成分在里面。
约束输出时间偏移,需要知道toutput,toutput为设计中连接同步元件输出端的组合逻辑、网线和pad的延迟之和,仍然是到达输出端的组合逻辑电路和网线的延时就比较难以确定,需要通过静态时序分析工具分析,或者通过底层布局布线工具量取,有很大的经验和试探的成分在里面。
约束的具体命令根据约束工具不同而异,首先说使用xilinx器件的情况下,实施上述约束的命令和方法。xilinx把上述约束统称为:offset约束(偏移约束),一共有4个相关约束属性:offset_in_before、offset_in_after、offset_out_before和offset_out_after。其中前两个属性叫做输入偏移(offset_in)约束,基本功能相似,仅仅是约束取的参考对象不同而已。后两个属性叫做输出偏移(offset_out)约束,基本功能相似,也是约束取的参考对象不同而已。为了便于理解,举例说明。
输入偏移约束:时钟周期为20ns,前级寄存器的tcko选择1ns,前级输出逻辑延时toutput为3ns,中间逻辑tlogic的延时为10ns,那么tarrival=14ns,于是可以在数据输入引脚附加net data_in offet=in 14ns after clk约束,也可以使用offset_in_before对芯片内部的输入逻辑进行约束,其语法如下:
net data_in offet=in tdelay before clk
其中tdelay为要求的芯片内部输入延迟,其最大值与输入数据到达时间tarrival的关系:tdelay_max + tarrival = tperiod,所以tdelay < tperiod - tarrival = 20 - 14 =6 ns。
输出偏移约束:设时钟周期为20ns,后级输入逻辑延时tinput为4ns、建立时间tsetup为1ns,中间逻辑tlogic的延时为10ns,那么tstable=15ns,于是可以在数据输入引脚附加net data_out offet=out 15ns before clk约束,也可以直接对芯片内部的输出逻辑直接进行约束,net data_out offet=out toutput_delay after clk,其中toutput_delay为要求的芯片内部输出延迟,其最大值与要求的输出数据稳定时间tstable的关系为:
toutput_delay_max+tstable= tperiod。tout_delay< tperiod - tstable = 20 - 15 = 5ns
i altera对应的时序概念
下面主要介绍altera对应的这些时序概念和约束方法。前面首先介绍的第一个时序概念是周期(period),这个概念是fpga/asic通用的一个概念,各方的定义相当统一,至多是描述方式不同罢了,所有的fpga设计都首先要进行周期约束,这样做的好处除了在综合与布局布线时给出规定目标外,还能让时序分析工具考察整个设计的fmax等。
altera的周期定义如下图所示,公式描述如下:
图5 altera 的 period 示意图
clock period = clk-to-out + data delay + setup time - clk skew
即,tclk= tco+ b + tsu-(e-c) fmax =1/tclk
对比一下前面的介绍,只要理解了b 包含了两级寄存器之间的所有 logic 和 net 的延时就会发现与前面公式完全一致。
j altera的其他基本时序概念
clock setup time (tsu) 要想正确采样数据,就必须使数据和使能信号在有效时钟沿到达前就准备好,所谓时钟建立时间就是指时钟到达前,数据和使能已经准备好的最小时间间隔。如下图所示:
图6 tsu示意图
(注:这里定义setup时间是站在同步时序整个路径上的,需要区别的是另一个概念micro tsu。micro tsu指的是一个触发器内部的建立时间,它是触发器的固有属性,一般典型值小于1~2ns。在xilinx等的时序概念中,称altera的micro tsu为setup时间,用tsetup表示,请大家区分一下。回到altera的时序概念,altera的tsu定义如下:tsu = data delay – clock delay + micro tsu)
clock hold time (th) 时钟保持时间是只能保证有效时钟沿正确采用的数据和使能信号的最小稳定时间。其定义如下图所示:
图7 th示意图
定义的公式为:th= clock delay – data delay + micro th
注:其中micro th是指寄存器内部的固有保持时间,同样是寄存器的一个固有参数,典型值小于1~2ns。
clock-to-output delay(tco) 这个时间指的是当时钟有效沿变化后,将数据推倒同步时序路径的输出端的最小时间间隔。如下图所示:
图8 tco示意图
tco = clock delay + micro tco + data delay
(注:其中 micor tco也是一个寄存器的固有属性,指的是寄存器相应时钟有效沿,将数据送到输出端口的内部时间参数。它与xilinx的时序定义中,有一个概念叫tcko是同一个概念。)
pin to pin delay (tpd) tpd指输入管脚通过纯组合逻辑到达输出管脚这段路径的延时,特别需要说明的是,要求输入到输出之间只有组合逻辑,才是tpd延时。
slack是表示设计是否满足时序的一个称谓,正的slack表示满足时序(时序的余量),负的slack表示不满足时序(时序的欠缺量)。slack的定义和图形如下图所示。
图9 slack示意图
slack = required clock period – actual clock period
slack = slack clock period – (micro tco+ data delay + micro tsu)
clock skew指一个同源时钟到达两个不同的寄存器时钟端的时间偏移,如下图所示。
图10 clock skew示意图
诺德股份子公司通过LG化学审核 又向国际化迈进关键一步
PoP的SMT工艺的返修工艺的控制
一种基于EBR的数据延时的实现方法
芯动科技风华1号GPU与统信UOS操作系统完成全面深度适配认证
基于元宇宙技术的存算平台方案
约束、时序分析的概念
时代飞腾推出基于TI硬件平台低成本高性能数字电视方案
9.22电机智造会议议程抢先看
倒计时!爱立信保障“特种兵”“火”力全开备战亚洲大型体育赛事
新能源电动汽车充电设施的建设及运营模式
全志科技获德国莱茵TÜV颁发 “ISO 26262功能安全管理体系最高等级ASIL D认证”证书
西门子plc工业通信网络应用案例解析
交直流霍尔电流探头TCP0150说明书
新成果展示:具有倾斜台面的Micro-LED模型数据库的开发与应用
黑芝麻智能亮相2022全球CEO峰会,荣获“全球电子成就奖”两项大奖
华为Mate10什么时候上市?最新消息:华为Mate10概念图曝光,外观、配置、性能、价格汇总
美国要求荷兰ASML进一步限制DUV***出口到中国
AR MR培训公司Reflekt,注资超过400万美元
新能源汽车换电模式发展中的难题已经解决了吗?
端子有哪些连接技术,它的优势是什么