文摘
英文文摘
插图索引
附表索引
第1章 绪论
1.1 引言
1.2 数字电路测试
1.3 可测性设计概述与意义
1.3.1 可测性设计概述
1.3.2 可测性设计的意义
1.4 内建自测试
1.5 本文研究的意义和目的
1.6 本文主要工作与组织结构
第2章 RTL测试综合技术简介
2.1 引言
2.2 RTL测试生成
2.2.1 初始化状态已知的测试生成
2.2.2 微处理器的符号式测试生成
2.2.3 处理器的功能测试生成
2.2.4 含功能故障模型的测试生成
2.3 RTL故障仿真
2.4 RTL的可测性设计
2.4.1 基于控制/数据流提取的可测试性分析和优化
2.4.2 基于常规表达式的可测性分析和优化
2.4.3 高级扫描
2.5 RTL的内建自测试
2.5.1 算术BIST
2.5.2 微处理器的自测试程序
2.6 非扫描BIST方案
2.6.1 边界非扫描BIST方案
2.6.2 邻接非扫描BIST方案
2.6.3 一般非扫描BIST方案
2.7 小结
第3章 RTL数据通路内部功能模块产生测试向量方法
3.1 引言
3.2 加法器产生测试向量
3.2.1 加法器产生测试向量原理
3.2.2 加法器产生测试向量的实现
3.3 减法器产生测试向量
3.4 乘法器产生测试向量
3.4.1 沿用加法器类似结构的传统乘法器弊端
3.4.2 改进后的乘法器结构
3.5 RTL数据通路内部功能模块产生测试向量示例
3.6 小结
第4章 可测性设计与调度算法
4.1 引言
4.2 预备知识
4.2.1 控制路径等定义
4.2.2 Thru功能定义
4.2.3 剔除关键弧
4.3 满足功耗限制的可测性设计
4.4 测试综合与调度算法概述
4.5 实验结果与分析
4.5.1 实验结果
4.5.2 实验结果分析
4.6 结论
结论
参考文献
附录A 攻读工程硕士学位期间发表的论文和参加的科研项目
致谢