首页--工业技术论文--无线电电子学、电信技术论文--基本电子电路论文--一般性问题论文

时序电路测试生成算法研究

摘要第1-4页
Abstract第4-9页
第一章 绪论第9-17页
   ·数字电路测试生成第9-12页
     ·数字电路测试生成的发展第9-10页
     ·时序电路测试分析第10页
     ·时序电路获取测试集的方法第10-12页
   ·基于模拟的时序电路ATPG 发展第12-14页
   ·研究目标第14-16页
   ·论文的研究内容与组织结构第16-17页
第二章 时序电路测试生成的主要技术第17-35页
   ·系统模型第17-21页
     ·电路模型第17-18页
     ·故障模型第18-21页
   ·故障压缩技术第21-25页
     ·故障等价第21页
     ·单固定故障等价第21-22页
     ·基本门的故障压缩第22-23页
     ·故障支配第23-24页
     ·电路中的等价故障第24-25页
     ·故障压缩结果第25页
   ·可测性分析第25-29页
   ·故障模拟第29-34页
     ·故障模拟技术第29-31页
     ·HOPE 技术第31-34页
     ·故障模拟的统计分析第34页
   ·本章小结第34-35页
第三章 基于蚂蚁算法和遗传算法的测试生成第35-65页
   ·概述第35-36页
   ·测试生成流程第36-37页
   ·蚂蚁算法和遗传算法第37-46页
     ·蚂蚁算法第37-41页
     ·遗传算法第41-46页
   ·基于蚂蚁算法和遗传算法的测试生成第46-52页
     ·算法描述第46-47页
     ·基于蚂蚁算法和遗传算法的初始化第47-49页
     ·基于蚂蚁算法和遗传算法的测试矢量生成第49-52页
   ·测试生成实现第52-53页
     ·测试生成步骤第52-53页
     ·基于蚂蚁算法的测试生成示例第53页
   ·实验结果第53-59页
     ·初始化实验结果第53-55页
     ·基于蚂蚁算法的测试生成实验结果第55-56页
     ·基于蚂蚁算法和遗传算法的测试生成结果第56-59页
   ·时序电路测试矢量的静态压缩第59-63页
     ·概述第59-60页
     ·基于矢量删除的静态压缩第60-62页
     ·实验结果第62-63页
   ·本章小结第63-65页
第四章 基于粒子群算法的时序电路测试生成第65-79页
   ·粒子群优化算法第65-70页
     ·粒子群算法基本原理第65-68页
     ·粒子群算法的发展第68-70页
   ·基于粒子群算法的时序电路测试生成第70-74页
     ·自动测试生成粒子群模型第71-72页
     ·测试生成步骤第72-73页
     ·实验结果第73-74页
   ·基于粒子群算法和蚂蚁算法的时序电路自动测试生成第74-78页
     ·概述第74-75页
     ·基于粒子群算法和蚂蚁算法的时序电路自动测试生成第75-76页
     ·实验结果第76-78页
   ·本章小结第78-79页
第五章 基于模拟和确定性算法的测试生成第79-91页
   ·概述第79-80页
   ·SAT 算法简介第80-82页
     ·SAT 问题概述第80-81页
     ·可满足性问题的有关定义第81页
     ·SAT 的算法第81-82页
   ·可满足性测试生成的基本原理第82-84页
     ·可满足性测试生成的基本原理第82-83页
     ·基本门的CNF 范式第83-84页
   ·基于模拟和SAT 的测试生成第84-87页
     ·基于SAT 的时序电路测试生成第84-85页
     ·布尔可满足性搜索算法第85-86页
     ·基于模拟和SAT 的测试生成实现第86-87页
   ·实验结果第87-89页
   ·本章小结第89-91页
第六章 MCM 互连测试的探针路径优化研究第91-115页
   ·MCM 基板的互连测试方法第91-94页
     ·单探针测试第92页
     ·双探针测试第92-93页
     ·单双探针混合测试的原理第93-94页
   ·探针测试路径优化第94-95页
   ·基于蚂蚁算法的探针测试路径优化第95-107页
     ·定义第96页
     ·蚂蚁算法求解单探针路径的数学模型第96-99页
     ·基于蚂蚁算法的单探针测试路径优化实现第99-103页
     ·参数仿真试验第103-107页
     ·小结第107页
   ·MCM 基板互连的探针测试策略和路径优化第107-111页
     ·MCM 基板互连的探针测试和路径优化流程第108-111页
   ·大规模 MCM 基板互连的探针测试路径优化第111-112页
   ·探针测试路径优化算法的复杂度分析第112-113页
   ·本章小结第113-115页
第七章 结束语第115-117页
参考文献第117-127页
致谢第127-129页
攻读博士学位其间的研究成果第129-130页

论文共130页,点击 下载论文
上一篇:胶州湾李村河口区沉积物有机碳、酸可挥发硫化物及重金属的环境响应
下一篇:铅、镉对河南华溪蟹(Sinopotamon henanense)细胞结构的影响