STA分析-复制
1 静态时序分析(Static Timing Analysis)
静态时序分析(Static Timing Analysis):静态执行对于数字设计时序的分析,不依赖于施加在输入端口上的激励,验证设计是否可以安全地运行在给定的时钟频率下且没有时序违例
时序仿真(Timing Simulation):施加一组激励,观察在这组激励下电路行为是否符合要求,然后换一组激励再重复以上过程
建立时间检查:保证数据可以在给定时钟周期内到达触发器
保持时间检查:保证数据在被触发器采样后还能保持一定时间,不会漏采数据
STA的运行:
在逻辑设计的逻辑综合后运行:确定最差或关键的时序路径
在逻辑设计的逻辑优化后运行:查看是否有剩余的唏嘘违例路径需要优化,或确定关键路径
在物理设计中:可以在每一部执行STA以确定最差路径
不同阶段下,STA采用的模型:
逻辑设计阶段:
理想的互连线或基于线负载模型的互连线
带有延迟和抖动估计值的理想时钟
物理设计阶段(包括上面2种模型):
具有近似估计值的全局布线的互连线、具有近似寄生参数提取值的实际布线的互连线、具有可以签核(Signoff)精度寄生参数提取值的实际布线的互连线
实际的时钟树
包括串扰的影响或者不包括串扰的影响
SDC(Synopsys Design Constraints):设计约束文件基于TCL(Tool Command Language)格式,由Synopsys公司开发定义,用于电路的逻辑综合,对电路的时序、功耗、面积等进行约束。
2 波形的压摆(Slew)
波形(Waveform):定义时钟的高电平时间
上升沿(Rising):时钟信号从0到1的转变时间
下降沿(Falling):时钟信号从1到0的转变时间
有效沿(Active):分为上升沿和下降沿
转换时间(Transition Time):信号在两个特定电平之间转换所需要的时间
压摆率(Slew Rate):电压转换速率
下降压摆(Fall Slew):下降沿达到Vdd的slew_upper_threshold_pct_fall和slew_lower_threshold_pct_fall的时间之差
上升压摆(Rise Slew):上升沿达到Vdd的slew_lower_threshold_pct_rise和slew_upper_threshold_pct_rise的时间之差
压摆阈值点的选择对应的是波形的线性部分
压摆降额系数(Slew Derate Factor):用slew_derate_from_library进行配置,压摆测量预置点为30%和70%且压摆降额系数为0.5,等效于测量阈值点为10%和90%,(70 - 30) / (90 - 10) = 0.5
3 信号偏斜(Skew)
时钟延迟(Clock Latency):从时钟源到终点所花费的总时间,SDC中用set_clock_latency命令显式地指定时钟树的延迟
时钟抖动(Jitter):信号时间与理想事件时间的偏差(Deviation)
时钟偏斜(Clock Skew):到达不同时钟树终点的时间差,是最长时钟路径和最短时钟路径的延迟差,时钟偏斜在SDC中用set_clock_uncertainty命令显式指定时钟不确定度的值,该值包括时钟抖动、时钟偏斜估计值和额外悲观度
4 时序路径(Clock Path)
路径延迟(Path Delay):逻辑通过逻辑路径传播的总延迟,包括逻辑路径中经过各个逻辑单元和网络走线的延迟
最大时序:逻辑从时钟的根节点到达逻辑终点的最大延迟时间
最小时序:逻辑从时钟的根节点到达逻辑终点的最小延迟时间
最大时序路径:也称为晚路径(Late Path),延迟最大的路径
最小时序路径:也称为早路径(Early Path),延迟最小的路径
5 时序弧(Timing Arc)
时序敏感(Timing Sense):输出如何针对输入的不同跳变类型而变化
时序弧(Timing Arc):每个输入引脚到每个输出引脚都存在一条时序弧
正单边类型(Positive Unate):输入引脚上升沿跳变导致输出引脚电平上升(或不变),而输出引脚的下降沿跳变导致输出引脚电平下降(或不变),表示输出引脚电平跳变方向与输入引脚电平跳变方向相同
负单边类型(Negative Unate):输入引脚上升沿跳变导致输出引脚电平下降(或不变),而输出引脚的下降沿跳变导致输出引脚电平上升(或不变),表示输出引脚电平跳变方向与输入引脚电平跳变方向相反
非单边类型(Non-Unate):仅从一个输入引脚的跳变方向无法确定引脚电平将如何跳变,还取决于其他输入引脚的状态
6 时钟域(Clock Domain)
时钟域:由同一时钟驱动的一组触发器
时钟域独立:不存在从一个时钟域开始而在另一个时钟域结束的数据路径
伪路径(False Path):将时钟同步器(Clock Synchronizer)逻辑明确放在两个时钟域之间,不是真实的时序路径,数据没有被约束要在一个时钟周期之内通过同步器逻辑传播,在SDC中用set_false_path命令指定时钟域之间的伪路径
7 工作环境(Operating Condition)
(1)静态时序分析3种标准的工作环境:
最坏情况下的慢速WCS(Worst-Case Slow):工艺慢(Slow)、温度最高(如125°C)、电压最低(如1.2V x 90%)
典型TYP(Typical):典型(Typical)工艺,温度是额定值(如25°C),电压是额定值(如1.2V)
最佳情况下的快速BCF(Best-Case Fast):工艺快(Fast),温度最低(如-40°C),电压最高(如1.2V x 110%)
(2)功耗分析(Power Analysis)工作环境:
最大漏电功耗ML(Maximal Leakage):工艺快,温度最高(如125°C),电压最高(如1.2V x 90%)
典型漏电功耗TL(Typical Leakage):经典工艺,温度最高(如125°C),电压是额定值(如1.2V)
8 时序模型(Timing Model)
时序模型:对设计中的单元实例(Instance)工作时的实际情况进行建模
线性延迟模型(Linear Delay Model):D = D0 + D1 x S + D2 x C,D0、D1、D2为常数,D为逻辑单元的延迟,S为输入过渡时间,C为输出负载电容
输入过渡时间(Input Transition Time):信号过渡时间越大,延迟越大
输出负载电容(Output Load Capacitance):负载电容越大,延迟越大
非线性延迟模型(NLDM,Non-Linear Delay Model):以二维形式表示,两个独立变量是输入过渡时间和输出负载电容,表中的数值表示延迟
计算延迟:cell_rise、cell_fall
计算逻辑单元输出引脚的过渡时间:rise_transition、fall_transition
状态相关的时序模型(State-Dependent Model):取决于引脚状态的多个时序模型
使用when来指定与状态有关的条件
可以既使用状态相关的时序模型又使用非状态相关的时序模型来指定一些时序关系
黑盒(Black Box)的接口时序模型:其可以具有以下时序弧:
纯组合逻辑路径的输入到输出的时序弧
从同步输入端口到相关时钟端口的建立时间和保持时间时序弧
从异步输入端口到相关时钟端口的恢复时间和撤销时间时序弧
从时钟端口到输出端口的输出传播延迟
CCS时序模型(Composite Current Source,复合电流源):使用随时间变化且依赖电压的电流源,为不同情况下的接收引脚电容和输出充电电流指定详细时序模型
接收引脚电容(Receiver Pin Capacitance):在过渡波形的不同部分分别指定接收引脚电容,用receiver_capacitance_rise和receiver_capacitance_fall分别定义输入引脚上用于上升沿波形的接收电容及输入引脚上用于下降沿波形的接收电容
输出充电电流(Output Charging Currents):根据输入过渡时间和输出负载电容的不同组合指定随时间变化的输出电流,用output_current_rise和output_current_fall来分别定义上升输出波形的输出电流及下降输出波形的输出电流
CCS噪声模型(CCSN,CCS Noise):对单元内不同的CCB进行表示
CCB(Channel Connected Block):沟道连接块,是单元的源极(Source)、漏极(Drain)的沟道(Channel)的连接块
du_current定义输出引脚上针对输入和输出引脚电压不同组合的直流电流
output_voltage_rise和output_voltage_fall定义CCB输出上升和下降的时序信息
propagated_noise_high和propagated_noise_low定义通过CCB的串扰噪声传播信息,包括输入噪声幅值和宽度
9 时序检查(Timing Check)
同步时序检查(Synchronous):建立时间和保持时间检查
建立时间(Setup Time):输入的数据必须在有效时钟沿之前保持稳定的最短时间
保持时间(Hold Time):有效时钟沿之后输入的数据必须保持稳定的最短时间
timing_type决定该时序逻辑单元是上升沿触发还是下降沿触发,rise_constraint和fall_constraint决定时间约束
负值保持时间表示触发器的数据引脚可以在时钟引脚之前改变,并且仍然满足保持时间的检查要求
建立时间和保持时间的数值总和应为正值
异步时序检查(Asynchronous):恢复时间和撤销时间检查
异步恢复时间和撤销时间检查:验证异步引脚在下一个时钟有效边沿处是否已明确返回到了无效状态
异步引脚无效状态(Inactive):有效时钟沿将开始锁存输入的数据
异步引脚有效状态(Active):输出由异步引脚控制
恢复时间(Recovery Time):异步输入被置为无效(De-asserted)后在下一个有效时钟沿之前需要保持稳定的最短时间
撤销时间(Removal Time):一个有效时钟沿后,异步引脚必须保持有效状态的最短时间,即在有效时钟沿之后必须经过一段撤销时间才能将异步引脚置为无效状态
脉冲宽度检查(Pulse Width Check):确保逻辑单元引脚上的脉冲宽度满足最低要求,timing_type为min_pulse_width
对于触发器的同步输出,有着从时钟引脚(CK)到输出端口(Q或QN)传播延迟检查
传播延迟(Propagation Delay):从时钟的有效沿到输出的上升沿或下降沿
10 功率(Power)
有功功率(Active Power):与单元输入和输出引脚上的行为有关
输出开关功率(Output Switching Power):与单元类型无关,取决于输出负载电容、开关频率和供电电源
内部开关功率(Internal Switching Power):取决于单元类型,是当单元的输入或输出处于活动状态时单元内部的功耗
触发器在每次时钟切换,都会消耗功率,通常是由触发器单元内部反相器的开关引起。即使触发器输出未切换,也会消耗由于时钟引脚切换引起的功率
漏电功率(Leakage Power):与MOS器件的亚阈值电流和栅极氧化物隧穿电流有关
高阈值电压单元漏电小,速度慢;低阈值电压单元漏电打,速度快
温度越高,亚阈值电流越高
————————————————
版权声明:本文为CSDN博主「Remoa」的原创文章,遵循CC 4.0 BY-SA版权协议,转载请附上原文出处链接及本声明。
原文链接:https://blog.csdn.net/remoa_dengqinyi/article/details/128952611
STA分析-复制的更多相关文章
- STA分析(七) sdc
STA分析前的环境设置,包括:setup clocks,specifying IO characteristics 1)定义一个master clock:create_clock -name .. - ...
- STA分析(六) cross talk and noise
在深亚微米技术(deep submicron)中,关于crosstalk和noise对design的signal integrate的影响越来越大.主要表现在glitch和对delay的影响. 1)m ...
- STA分析(一) setup and hold
timing check可以分为Dynamic Timing Analysis(Post_sim)和Static Timing Analysis STA:可以分析的很全面:仿真速度也很快:可以分析控制 ...
- hibernate缓存机制详细分析 复制代码 内部资料 请勿转载 谢谢合作
您可以通过点击 右下角 的按钮 来对文章内容作出评价, 也可以通过左下方的 关注按钮 来关注我的博客的最新动态. 如果文章内容对您有帮助, 不要忘记点击右下角的 推荐按钮 来支持一下哦 如果您对文章内 ...
- STA分析(五) parastics
互联线的寄生参数 一般一个cell或者block的连接pin就叫做一个net.在物理实现的时候,一条net可能会穿过几层metal,因为每个metal层的电阻,电容值都不一样.所以,在分析 net的寄 ...
- STA分析(四) lib model
library中的一个cell可以是一个standard cell,IO buffer,或者一个complex IP.其中包含area,functionality,timing,power等相关的信息 ...
- STA分析(三) cmos模型
CMOS集成电路的基本结构是以P型材料作为衬底(p-substrate),直接生成NMOS, 同时增加N肼(n-well),在其上制造PMOS. 增加两个bulk(P+,N+)防止非MOS管内的PN结 ...
- STA分析(二) multi_cycle and false
multicycle path:当FF之间的组合逻辑path propagate delay大于一个时钟cycle时,这条combinational path能被称为multicycle path. ...
- 【Java EE 学习 72 下】【数据采集系统第四天】【移动/复制页分析】【使用串行化技术实现深度复制】
一.移动.复制页的逻辑实现 移动.复制页的功能是在设计调查页面的时候需要实现的功能.规则是如果在同一个调查中的话就是移动,如果是在不同调查中的就是复制. 无论是移动还是复制,都需要注意一个问题,那就是 ...
- MongoDB实战指南(七):MongoDB复制集之复制集工作机制
http://www.cnblogs.com/longshiyVip/p/5097336.html 概述了复制集,整体上对复制集有了个概念,但是复制集最重要的功能之——自动故障转移是怎么实现的呢?数据 ...
随机推荐
- P1551 亲戚 && #569. 【例4-7】亲戚(并查集)
P1551 亲戚 题目链接:落谷 题目链接:TFLS OJ 落谷题解(具体分析见慎入潜出P239) #include<bits/stdc++.h> using namespace std; ...
- 《小白WEB安全入门》01. 扫盲篇
@ 目录 基础知识 什么是WEB 什么是前端 什么是后端 什么是数据库 什么是协议 什么是WEB安全 什么是服务器 什么是IP地址.端口 什么是局域网.广域网.内网.外网 什么是URL 什么是MAC地 ...
- Frida环境配置
目录 安装Linux客户端 配置Android服务端 测试运行效果 官方手册 安装Linux客户端 github地址:https://github.com/frida/frida pip instal ...
- WorkPress使用BackWPup插件备份后手动还原方法记录
前提 拿到BackWPup插件备份的zip包(下文均以backup.zip来指代).这个是备份包是事先从源WorkPress上备份好的. 环境 OS:Centos7.9 Apache:2.4.6 PH ...
- VMware Work Station使用ubuntu20.04挂载共享文件夹写入文件时出现输入/输出错误
原因是默认的max_write为0x00020000即128k,超过此大小会报错,另外big_writes,umask等选项也要加上, sudo /usr/bin/vmhgfs-fuse .host: ...
- C++中::和:, .和->的作用和区别
符号::和:的作用和区别 ::是作用域运算符,A::B表示作用域A中的-名称B,A可以是名字空间.类.结构: 类作用域操作符 "::"指明了成员函数所属的类.如:M::f(s)就表 ...
- Dubbo3应用开发—协议(Dubbo协议、REST协议 、gRPC协议、Triple协议)
协议 协议简介 什么是协议 Client(Consumer端)与Server(Provider端)在传输数据时双方的约定. Dubbo3中常见的协议 1.dubbo协议[前面文章中使用的都是dubbo ...
- [ABC201E] Xor Distances 题解
Xor Distances 题目大意 给定一颗带边权无根树,定义 \(\text{dis}(i,j)\) 表示 \(i,j\) 两点在树上的最短路径的边权的异或和.求: \[\sum_{i=1}^n\ ...
- [ABC208E] Digit Products 题解
Digit Products 题目大意 求有多少个不大于 \(n\) 的正整数,使得该正整数各位乘积不大于 \(k\). 思路分析 观察数据范围,首先考虑数位 DP. 考虑设计记忆化搜索函数 dfs( ...
- vue之留言板
<!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8&quo ...