并行ATPG算法理论与原型系统设计技术研究
| 中文摘要 | 第1-9页 |
| 英文摘要 | 第9-11页 |
| 第一章 绪论 | 第11-26页 |
| §1．1 研究背景 | 第11-20页 |
| 1．1．1 ATPG在VLSI设计中的地位和困难 | 第11-15页 |
| 1．1．2 VLSI的ATPG的并行化需求 | 第15-16页 |
| 1．1．3 并行ATPG的现有成果 | 第16-19页 |
| 1．1．4 并行ATPG存在的问题 | 第19-20页 |
| 1．1．5 研究并行ATPG的意义 | 第20页 |
| §1．2 研究内容 | 第20-23页 |
| 1．2．1 研究目标 | 第20页 |
| 1．2．2 研究方法 | 第20-21页 |
| 1．2．3 主要工作 | 第21-22页 |
| 1．2．4 主要创新 | 第22-23页 |
| §1．3 本文约定 | 第23-25页 |
| 1．3．1 电路模型 | 第23页 |
| 1．3．2 故障模型 | 第23-24页 |
| 1．3．3 测试码 | 第24页 |
| 1．3．4 故障覆盖率 | 第24页 |
| 1．3．5 并行计算的有关概念 | 第24-25页 |
| 1．3．6 其它 | 第25页 |
| §1．4 论文组织 | 第25-26页 |
| 第二章 并行ATPG原型系统 | 第26-44页 |
| §2．1 引言 | 第26页 |
| §2．2 原型系统设计 | 第26-38页 |
| 2．2．1 并行计算的几大要素 | 第26-34页 |
| 2．2．2 原型系统框架 | 第34-38页 |
| 2．2．3 实验系统 | 第38页 |
| §2．3 初步评估 | 第38-43页 |
| 2．3．1 CFPPG算法 | 第38-40页 |
| 2．3．2 实验分析 | 第40-43页 |
| §2．4 小结 | 第43-44页 |
| 第三章 并行故障模拟 | 第44-84页 |
| §3．1 引言 | 第44-45页 |
| §3．2 字级测试码并行 | 第45-56页 |
| 3．2．1 前人的研究 | 第45页 |
| 3．2．2 SFFSM算法描述 | 第45-49页 |
| 3．2．3 实验分析 | 第49-56页 |
| §3．3 字级故障并行 | 第56-67页 |
| 3．3．1 前人的研究 | 第56-57页 |
| 3．3．2 SFPSM算法描述 | 第57-60页 |
| 3．3．3 实验分析 | 第60-67页 |
| §3．4 测试码并行 | 第67-75页 |
| 3．4．1 前人的研究 | 第67-68页 |
| 3．4．2 DPPFS算法描述 | 第68-71页 |
| 3．4．3 实验分析 | 第71-75页 |
| §3．5 故障并行 | 第75-83页 |
| 3．5．1 前人的研究 | 第75-76页 |
| 3．5．2 DFPFS算法描述 | 第76-78页 |
| 3．5．3 实验分析 | 第78-83页 |
| §3．6 小结 | 第83-84页 |
| 第四章 并行测试生成 | 第84-113页 |
| §4．1 引言 | 第84-85页 |
| §4．2 故障并行 | 第85-94页 |
| 4．2．1 前人的研究 | 第85-86页 |
| 4．2．2 DFPTG算法描述 | 第86-88页 |
| 4．2．3 实验分析 | 第88-94页 |
| §4．3 搜索空间并行 | 第94-99页 |
| 4．3．1 前人的研究 | 第94页 |
| 4．3．2 DSPTG算法描述 | 第94-98页 |
| 4．3．3 实验分析 | 第98-99页 |
| §4．4 电路并行 | 第99-111页 |
| 4．4．1 前人的研究 | 第99-100页 |
| 4．4．2 GFFCP算法描述 | 第100-107页 |
| 4．4．3 算法的复杂性估计 | 第107-109页 |
| 4．4．4 实验分析 | 第109-111页 |
| §4．5 小结 | 第111-113页 |
| 第五章 并行ATPG | 第113-145页 |
| §5．1 引言 | 第113页 |
| §5．2 功能并行 | 第113-119页 |
| 5．2．1 SSFPT算法描述 | 第114-117页 |
| 5．2．2 实验分析 | 第117-119页 |
| §5．3 静态混合并行ATPG（1） | 第119-125页 |
| 5．3．1 SSFFT算法描述 | 第119-122页 |
| 5．3．2 实验分析 | 第122-125页 |
| §5．4 静态混合并行ATPG（2） | 第125-129页 |
| 5．4．1 SSFST算法描述 | 第125-127页 |
| 5．4．2 实验分析 | 第127-129页 |
| §5．5 静态混合并行ATPG（3） | 第129-134页 |
| 5．5．1 SSSFT算法描述 | 第129-132页 |
| 5．5．2 实验分析 | 第132-134页 |
| §5．6 动态混合并行ATPG | 第134-140页 |
| 5．6．1 SSDHT算法描述 | 第134-137页 |
| 5．6．2 实验分析 | 第137-140页 |
| §5．7 静态混合并行ATPG（4） | 第140-144页 |
| 5．7．1 SSFCT算法描述 | 第141页 |
| 5．7．2 实验分析 | 第141-144页 |
| §5．8 小结 | 第144-145页 |
| 第六章 性能分析 | 第145-155页 |
| §6．1 引言 | 第145页 |
| §6．2 时间开销 | 第145-153页 |
| 6．2．1 串行ATPG算法 | 第145-146页 |
| 6．2．2 松耦合并行ATPG算法 | 第146-153页 |
| §6．3 存储开销 | 第153-154页 |
| 6．3．1 串行ATPG算法 | 第153-154页 |
| 6．3．2 松耦合并行ATPG算法 | 第154页 |
| 6．3．3 紧耦合并行ATPG算法 | 第154页 |
| §6．4 小结 | 第154-155页 |
| 第七章 结论 | 第155-157页 |
| §7．1 总结 | 第155-156页 |
| §7．2 将来的研究 | 第156-157页 |
| 图表目录 | 第157-161页 |
| 攻博期间参与科研项目和发表论文情况 | 第161-162页 |
| 致谢 | 第162-163页 |
| 参考文献 | 第163-168页 |
