视频格式转换芯片的可测性设计与形式验证
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 第一章 绪论 | 第7-18页 |
| ·集成电路测试验证的重要性 | 第7页 |
| ·可测性设计方法概述 | 第7-10页 |
| ·故障模型 | 第10-11页 |
| ·测试方法学 | 第11-14页 |
| ·测试的生成 | 第13页 |
| ·测试效率 | 第13-14页 |
| ·集成电路的验证概述 | 第14-16页 |
| ·动态功能验证 | 第14-15页 |
| ·形式验证概述 | 第15-16页 |
| ·本文研究内容与章节安排 | 第16-18页 |
| 第二章 视频格式转换芯片的存储器内建自测试 | 第18-39页 |
| ·视频格式转换芯片架构 | 第19-21页 |
| ·存储器内建自测试 mbist | 第21-25页 |
| ·存储器的故障模型 | 第22-24页 |
| ·MBIST 测试方法 | 第24-25页 |
| ·视频格式转换芯片的存储器内建自测试 | 第25-39页 |
| ·RAM 的存储器建模 | 第26-28页 |
| ·视频格式转换芯片的 mbist 电路算法设计 | 第28-36页 |
| ·BIST 电路设计 | 第36-39页 |
| 第三章 视频格式转换芯片的内部扫描设计 | 第39-50页 |
| ·基于扫描路径的可测性设计 | 第39-42页 |
| ·扫描路径设计的基本结构和测试 | 第39-42页 |
| ·全扫描设计与部分扫描设计 | 第42页 |
| ·提高设计的可测性的方法 | 第42-44页 |
| ·内部扫描设计 | 第44-50页 |
| ·扫描设计的策略制定 | 第44-45页 |
| ·基于 EDT 技术的扫描设计 | 第45-50页 |
| 第四章 视频格式转换芯片的边界扫描设计 | 第50-60页 |
| ·典型的基于边界的扫描设计 | 第50-51页 |
| ·视频格式转换芯片的边界扫描结构 | 第51-57页 |
| ·测试存取通道 | 第51-52页 |
| ·TAP 控制器 | 第52-53页 |
| ·指令寄存器与指令 | 第53-55页 |
| ·测试数据寄存器 | 第55-56页 |
| ·边界扫描的操作方式 | 第56-57页 |
| ·基于 EDT 的边界扫描设计 | 第57-60页 |
| 第五章 视频格式转换芯片的形式验证 | 第60-64页 |
| ·等价性验证的原理 | 第60-61页 |
| ·等价性验证的策略 | 第61-62页 |
| ·视频格式转换芯片的等价性验证 | 第62-64页 |
| 第六章 系统的仿真验证与结果分析 | 第64-76页 |
| ·March23N 算法的电路仿真 | 第64-73页 |
| ·主控状态机的仿真结果 | 第65-66页 |
| ·March 元素的仿真结果 | 第66-70页 |
| ·故障检测仿真 | 第70-73页 |
| ·可测性设计结果分析 | 第73-74页 |
| ·电路设计的形式验证结果 | 第74-76页 |
| 第七章 总结与展望 | 第76-78页 |
| ·论文总结 | 第76-77页 |
| ·展望 | 第77-78页 |
| 参考文献 | 第78-81页 |
| 发表论文和参加科研情况说明 | 第81-82页 |
| 参与的科研项目 | 第81-82页 |
| 致谢 | 第82页 |
