集成电路寄存器传输级测试生成
| 声 明 | 第1页 |
| 关于论文使用授权的说明 | 第2-3页 |
| 摘要 | 第3-4页 |
| Abstract | 第4-8页 |
| 第一章 引言 | 第8-18页 |
| ·问题的提出 | 第8-11页 |
| ·研究现状 | 第11-16页 |
| ·本文的工作 | 第16-18页 |
| 第二章 集成电路测试与设计验证综述 | 第18-45页 |
| ·集成电路测试 | 第18-28页 |
| ·功能测试与结构测试 | 第19-20页 |
| ·自动测试生成 | 第20-21页 |
| ·可测试性设计 | 第21-28页 |
| ·设计验证方法 | 第28-32页 |
| ·模拟的方法 | 第28-29页 |
| ·形式化方法 | 第29-30页 |
| ·半形式化方法 | 第30-32页 |
| ·测试生成算法 | 第32-44页 |
| ·测试生成算法分类 | 第32页 |
| ·组合电路测试生成算法 | 第32-41页 |
| ·时序电路测试生成算法 | 第41-44页 |
| ·本章小结 | 第44-45页 |
| 第三章 硬件描述语言与高层次测试生成 | 第45-67页 |
| ·硬件描述语言的产生与发展 | 第45-46页 |
| ·硬件描述语言的描述特点 | 第46-52页 |
| ·电路的抽象层次与描述风格 | 第46-48页 |
| ·并行语句与串行语句 | 第48-50页 |
| ·阻塞与非阻塞性赋值 | 第50-51页 |
| ·描述的对象与环境 | 第51-52页 |
| ·RTL 行为描述 | 第52-59页 |
| ·语法与语义限制 | 第52-54页 |
| ·组合进程 | 第54-56页 |
| ·时钟进程 | 第56-58页 |
| ·异步进程 | 第58-59页 |
| ·高层次测试探讨 | 第59页 |
| ·高层次测试生成 | 第59-66页 |
| ·必要性 | 第59-60页 |
| ·方法探讨 | 第60-65页 |
| ·困难和前景 | 第65-66页 |
| ·本章小结 | 第66-67页 |
| 第四章 RTL 行为描述抽象 | 第67-84页 |
| ·行为描述中的进程 | 第67页 |
| ·过程性语句 | 第67-72页 |
| ·过程性语句的抽象与控制结构 | 第67-70页 |
| ·进程控制树 | 第70页 |
| ·数据流向图 | 第70-72页 |
| ·语句的语义行为 | 第72-76页 |
| ·语义行为分析 | 第72-74页 |
| ·输入、输出与状态 | 第74-75页 |
| ·定义行为图 | 第75-76页 |
| ·语句的执行条件 | 第76-77页 |
| ·进程的相互关系 | 第77-80页 |
| ·本文的电路模型 | 第80-81页 |
| ·行为模拟方式 | 第81-83页 |
| ·本章小结 | 第83-84页 |
| 第五章 行为倾向驱动引擎 | 第84-106页 |
| ·电路行为的表征与展现 | 第84-85页 |
| ·函数或映射的属性 | 第85-90页 |
| ·立方的基本概念 | 第85-86页 |
| ·多值立方与函数的属性 | 第86-88页 |
| ·属性的表示 | 第88-89页 |
| ·属性的容量和大小 | 第89页 |
| ·属性测试的强度 | 第89-90页 |
| ·抽象的行为值与RTL 变量的行为 | 第90-94页 |
| ·行为值的定义与性质 | 第90-92页 |
| ·变量的行为 | 第92-93页 |
| ·行为的蕴涵与增强 | 第93-94页 |
| ·行为倾向 | 第94-98页 |
| ·电路的行为与行为链 | 第94-96页 |
| ·行为倾向的含义 | 第96-98页 |
| ·驱动引擎 | 第98-105页 |
| ·驱动算法 | 第98-100页 |
| ·请求-响应策略 | 第100-103页 |
| ·电路行为的自动展现 | 第103-104页 |
| ·引擎的配置问题 | 第104-105页 |
| ·本章小结 | 第105-106页 |
| 第六章 RTL 测试生成算法 | 第106-124页 |
| ·传输故障模型 | 第106-110页 |
| ·电路故障的层次化抽象模型 | 第106-107页 |
| ·传输故障的定义与组织 | 第107-108页 |
| ·传输故障与逻辑故障的对应关系 | 第108-110页 |
| ·无回溯的测试生成思路 | 第110-115页 |
| ·回溯的原因与分析 | 第110-111页 |
| ·消除回溯的可能性和现实性 | 第111-112页 |
| ·无回溯测试生成方案 | 第112-114页 |
| ·方案优势和尚需解决的问题 | 第114-115页 |
| ·基于行为倾向驱动引擎构造无回溯测试生成算法 | 第115-120页 |
| ·整体算法框架 | 第115-116页 |
| ·故障覆盖的度量措施 | 第116-118页 |
| ·驱动引擎的配置 | 第118-119页 |
| ·测试生成的结束机制 | 第119-120页 |
| ·简单实例分析 | 第120-123页 |
| ·算法特征小结 | 第123-124页 |
| 第七章 系统实现与实验结果 | 第124-130页 |
| ·拟定的实验方案 | 第124-125页 |
| ·系统实现方式 | 第125-126页 |
| ·实验结果比较分析 | 第126-130页 |
| 第八章 结论 | 第130-132页 |
| ·本文主要贡献与创新 | 第130页 |
| ·存在的问题和建议 | 第130-131页 |
| ·本文的结论 | 第131-132页 |
| 参考文献 | 第132-146页 |
| 发表文章目录 | 第146-147页 |
| 致谢 | 第147-148页 |
| 作者简历 | 第148页 |
