三维集成的设计与测试协同
Design and Test Co-Optimization for Three-Dimensional Integration
把访问资源、测试时间、空间功率与热状态放入同一个可行性检查。
速览
约 1 分钟三维测试不只是让更多模块同时运行。访问通道足够时仍可能超功率或出现埋藏热点;热约束又会影响可共享的测试硬件与总时间。因此应把物理位置、DfT可配置性和排程一起检查。
系统理解
约 2 分钟建立每个测试任务的层位置、功率、时长与访问需求,并与堆叠热模型连接。候选任务必须同时通过资源、功率及温度约束,完成任务只释放资源而不会自动清除热历史。
协同选择可包含访问宽度、测试先后与BIST共享。但模型里的分区并行限制、前瞻裕量或面积系数均有适用条件。最终方案需在与测试夹具一致的边界下验证,不把搜索中的估计最优误当作产品签核。
已有可测性设计与MBIST解释基础机制;本节点只补三维空间、热历史与访问/共享资源的协同约束。
关键参数
| 参数 | 单位 | 含义 |
|---|---|---|
| 访问宽度 | 通道 | 同时活动任务占用的测试通道 |
| 测试功率预算 | W | 允许的活动测试功率之和上限 |
| 测试时间 | s | 全部任务完成的总持续时间 |
常见误区
- 增加TAM通道一定同比缩短测试时间。
- 访问资源通过即可宣布排程可行。
- 测试结束会让芯片立即恢复环境温度。
工程深入
12 条结论 · 2 道例题避免在电访问或面积单项最优后才发现热与工位约束无法满足。
协同对象与输入
增加测试访问宽度不保证持续缩短测试时间
在受TAM宽度限制时,增加访问资源可以提高并行度;当温度约束成为瓶颈后,新增通道不一定继续减少测试时间,因此不能把访问宽度当成唯一优化目标。1
成立条件 这里是特定测试调度模型中的资源瓶颈转换;不预设通用TAM阈值或声称增加通道完全没有其他收益
固定DfT与可调整DfT必须分开比较
协同优化可在固定扫描链和访问分配的条件下只调整排程,也可在允许重构DfT时同时调整链数与资源分配;两种可行域不同,不能把后者的收益直接归给前者。1
成立条件 固定模式不允许改变扫描链数与访问分配;可配置模式的比较以实际允许修改DfT架构为前提
约束与排程
资源、功率与温度约束必须同时通过
对同一时刻的活动集合,应分别核对访问资源之和、测试功率之和及全模型的最高温度;通过其中一项不能替代另外两项。12
- 时刻t正在测试的对象集合无量纲
- 对象i占用的测试访问宽度单位 通道
- 可用访问宽度上限单位 通道
- 对象i的测试功率单位 W
- 全局测试功率上限单位 W
- 热模型节点j的温度单位 K
- 允许温度上限单位 K
成立条件 每个对象访问宽度和测试功率按本次测试任务定义;温度为热模型状态而非功率线性换算的无条件常数
例题:动手算一次教学假设,可复算
两个教学任务各需4个通道,功率分别6 W和5 W;设备有8个通道、功率预算10 W。是否可同时开始?
已知
- w1=w2=4通道,Wlim=8通道
- P1=6 W,P2=5 W,Plim=10 W
步骤
- w1+w2 = 4+4 = 8通道 ≤ 8通道访问资源检查通过。
- P1+P2 = 6+5 = 11 W > 10 W功率检查不通过,不能并行安排。
即使改为错开任务满足功率预算,仍应继续计算温度,不据此宣称热安全。
适用边界 教学假设,不是任何实际测试设备或芯片的规格。
验证与取舍
BIST共享成本与最大同时活动数有关
在明确的线性面积估计模型里,同组任务最大同时活动数越大,所需并行测试硬件的估计面积可能越大;利用调度中的串行间隙可改变共享成本,但实际还要检查连线、时序和控制可达性。2
- 该模型下估计的控制器面积单位 μm²
- 单路串行控制器的面积基准单位 μm²
- 额外并行路数的面积惩罚系数无量纲
- 组内最大同时活动任务数无量纲
成立条件 仅为论文采用的控制器面积模型,不是真实库面积定律;Sbase与α须由适用架构和实现评估给定;ρ为正整数
例题:动手算一次教学假设,可复算
教学面积模型取Sbase=1000 μm²、α=0.20,比较同组最大并行数3与1。
已知
- Sbase=1000 μm²,α=0.20
- 比较ρ=3和ρ=1;其余条件不变
步骤
- Aest(3) = 1000×[1+0.20×(3−1)] = 1400 μm²并行三路的教学模型结果。
- Aest(1) = 1000×[1+0.20×(1−1)] = 1000 μm²串行共享的教学模型结果。
- 相对减少 = (1400−1000)/1400 ≈ 28.6%以并行三路面积为分母,不误用串行基准。
只说明最大并行数与模型面积的耦合,不保证减少测试总成本。
适用边界 数值是教学假设;串行会改变时间、热历史及可共享连线,必须另行验证。
出处
5 份资料 · 21 处引用- 1
Thermal-Aware Test Schedule and TAM Co-Optimization for Three-Dimensional IC
- §1、§3.1,图3,出版社HTML全文,文内小节/图号定位(不虚填PDF及印刷页) 支持:三维测试设计应与热和资源预算共同制定
- §1贡献列表、§3.1,出版社HTML全文,文内小节/图号定位(不虚填PDF及印刷页) 支持:增加测试访问宽度不保证持续缩短测试时间
- §1末段、§2.1、§3.1,出版社HTML全文,文内小节/图号定位(不虚填PDF及印刷页) 支持:固定DfT与可调整DfT必须分开比较
- §3.1末段,出版社HTML全文,文内小节/图号定位(不虚填PDF及印刷页) 支持:调度输入应把测试任务映射回物理层与位置
- §3.1,出版社HTML全文,文内小节/图号定位(不虚填PDF及印刷页) 支持:资源、功率与温度约束必须同时通过
- §2.1,出版社HTML全文,文内小节/图号定位(不虚填PDF及印刷页) 支持:一个测试会话结束不意味着热状态归零;测试与功能运行不能默认共用同一冷却边界
- §2.2,图2末段,出版社HTML全文,文内小节/图号定位(不虚填PDF及印刷页) 支持:垂直分区限并行是一种保守策略而非自然定律
- §1、§2.2,出版社HTML全文,文内小节/图号定位(不虚填PDF及印刷页) 支持:快速优化模型应与最终热验证分层使用
- 2
Temperature-Conscious Test Scheduling Strategies for 3D Integrated Circuits
- §3.4,式(9)–(11),文章页码第8页(共21页) 支持:三维测试设计应与热和资源预算共同制定
- §3.1,式(1),文章页码第4页(共21页) 支持:调度输入应把测试任务映射回物理层与位置
- §4.1,图3,文章页码第8页(共21页) 支持:总功率合格不等于所有局部温度合格
- §3.4,式(10)–(11),文章页码第8页(共21页) 支持:资源、功率与温度约束必须同时通过
- §3.2.3,式(3)–(4),文章页码第6页(共21页) 支持:一个测试会话结束不意味着热状态归零
- §4.2.1,式(12),文章页码第9页(共21页) 支持:垂直分区限并行是一种保守策略而非自然定律
- §4.2.2,式(13)–(15),文章页码第10页(共21页) 支持:前瞻温度检查需要模型状态和明确裕量
- §3.3,式(6)–(7),文章页码第7页(共21页) 支持:BIST共享成本与最大同时活动数有关
- 3
Thermal Analysis of a 3D Stacked High-Performance Commercial Microprocessor using Face-to-Face Wafer Bonding Technology
- §V,图13,作者稿PDF第6页(不虚填正式会议版印刷页码) 支持:总功率合格不等于所有局部温度合格
- §III-A,图6,作者稿PDF第4页(不虚填正式会议版印刷页码) 支持:快速优化模型应与最终热验证分层使用
- 4
Power and Thermal Model
- Power and Thermal Model / Thermal model、Class overview,官方HTML,无印刷/PDF页码 支持:前瞻温度检查需要模型状态和明确裕量
- 5
本页结论均已对照来源核对,其中 3 条目前只有一个来源,尚未经过同行专家审阅。发现不准确的地方,请告诉我们。
报告这一页的问题