逻辑努力
Logical Effort
用逻辑、分支与电气努力比较组合路径的拓扑和连续尺寸候选。
速览
约 1 分钟把一条逻辑路径看成逐级交接负载:门的拓扑决定驱动代价,旁支分走驱动,末端大电容决定总放大需求。逻辑努力把这些因素分开计算,帮助先选出值得进一步验证的尺寸与级数。
系统理解
约 2 分钟先固定参考反相器与记号,再用电容比描述门努力。固定级数的相等努力给出线性模型内的候选尺寸;改拓扑或级数后必须重算寄生项与分支。实际输入斜率、输入到达顺序和单元库限制决定手算模型的适用边界。
复用既有CMOS反相器、静态时序分析和布局布线总览,再深化路径负载分配与实现取舍。
关键参数
| 参数 | 单位 | 含义 |
|---|---|---|
| 路径努力F | 1 | 按本页口径F=GBH |
| 每级努力 | 1 | 固定级数下的负载分配指标 |
常见误区
- 尺寸越大每条路径就越快。
- 手算模型的最小值等于实际签核结果。
工程深入
12 条结论 · 1 道例题把手算负载与驱动模型转成可复核的实现候选,并明确需要回到库表征和全路径时序检查的边界。
定义与统一记号
线性模型与局限
输入斜率会让单一逻辑努力模型产生偏差
相同负载下较慢的输入边沿可能增加门延时;手算模型给出候选后仍应在实际输入转换时间与输出负载下核对单元库或晶体管仿真。2
成立条件 比较时固定输出负载、电源和工艺;输入转换时间应处于所用库表征范围。
路径优化与级数
固定级数时相等努力给出模型内最小努力延时
在连续尺寸、固定门拓扑和固定N级的简化模型中,各级努力相等时努力延时之和最小;最优每级努力为F的N次方根,寄生项仍须另计。12
- f̂
- 模型内最优每级努力,单位 1
- N
- 路径级数,单位 1
- P
- 各级归一化寄生延时之和,单位 1
- Dmin
- 归一化最小路径延时,单位 1
成立条件 忽略尺寸离散、布局约束及输入斜率差异。;本页D采用Weste归一化口径,不把D直接当成皮秒。
例题:动手算一次教学假设,可复算
教学路径有3级,G=2、B=2、H=16,寄生项总和P=5。求路径努力和模型内最小归一化延时。
已知
- 参数为教学假设,尺寸可连续选择。
- 采用本页F=GBH记号。
步骤
- F=2×2×16=64,先把逻辑、分支和电气贡献相乘。
- f̂=64^(1/3)=4,固定3级分配相等努力。
- Dmin=3×4+5=17,在努力延时之和上加寄生项。
这是选定线性模型内的连续尺寸结果。
不能外推到 没有工艺时间基准,不能报告17ps;也不证明离散单元库能实现该尺寸。
逻辑努力可从单元数据拟合而不是只查理想表
在给定输入边沿条件下,可由负载延时曲线估计归一化的斜率和截距,再区分逻辑努力与寄生项;拟合值与理想尺寸表不同不代表数据错误。2
成立条件 需要同一工艺、同一参考时间基准和同类输入边沿。
实现与校验
出处
3 本教材 · 21 处引用- 1
数字集成电路:电路、系统与设计(第2版)
- §6.2.1;PDF pp.205–206;,第 183–184 页 支持:逻辑努力以相同驱动能力下的输入电容作比较
- §6.2.1;表6.5、例6.5、图6.17;PDF p.206;,第 184 页 支持:理想NAND与NOR数值附带尺寸模型条件
- §6.2.1;式6.9–6.14;PDF pp.207–208;,第 185–186 页 支持:本页用H表示路径电气努力以避免教材记号混用
- §6.2.1;PDF pp.205–207;,第 183–185 页 支持:努力延时与寄生延时是不同贡献
- §6.2.1;PDF pp.207;,第 185 页 支持:分支负载会消耗当前路径可用的驱动
- §6.2.1;式6.14–6.16(本页转换为Weste归一化与符号口径);PDF p.208;,第 186 页 支持:固定级数时相等努力给出模型内最小努力延时
- §6.2.1;PDF pp.205–208;,第 183–186 页 支持:最优级数不是固定的四级;逻辑分解会改变努力而不只是改变级数;逻辑努力是尺寸选择的起点而不是时序签核
- 2
CMOS超大规模集成电路设计(第4版)
- §4.4–4.5;PDF pp.320;,第 135 页 支持:逻辑努力以相同驱动能力下的输入电容作比较;努力延时与寄生延时是不同贡献
- §4.4.6.3;PDF pp.323;,第 136 页 支持:理想NAND与NOR数值附带尺寸模型条件
- §4.5;PDF pp.330;,第 143 页 支持:本页用H表示路径电气努力以避免教材记号混用
- §4.4–4.5;PDF pp.330;,第 143 页 支持:分支负载会消耗当前路径可用的驱动;最优级数不是固定的四级;逻辑分解会改变努力而不只是改变级数
- §4.4.6.1;PDF pp.320;,第 135 页 支持:输入斜率会让单一逻辑努力模型产生偏差
- §4.4.6.2;PDF pp.323;,第 136 页 支持:多输入同时翻转超出单输入变化假设
- §4.5;表4.4、图4.36;PDF p.330;,第 143 页 支持:固定级数时相等努力给出模型内最小努力延时
- §4.4.5;PDF pp.320;,第 135 页 支持:逻辑努力可从单元数据拟合而不是只查理想表
- 3
本页结论均已对照来源核对,其中 3 条目前只有一个来源,尚未经过同行专家审阅。发现不准确的地方,请告诉我们。
报告这一页的问题