快速故障检测在硅后验证中的优化技术研究

硅后验证论文 故障检测论文 检测延迟论文 覆盖率论文
论文详情
中文摘要第3-4页
英文摘要第4-5页
1 绪论第8-16页
    1.1 引言第8-10页
    1.2 研究背景第10-13页
    1.3 国内外研究现状第13-15页
    1.4 论文研究工作第15页
    1.5 论文组织结构第15-16页
2 基于LLVM的故障检测方法优化第16-38页
    2.1 引言第16页
    2.2 LLVM编译器架构第16-19页
    2.3 软件签名的控制流错误检测第19-31页
        2.3.1 软件签名的控制流错误检测算法概述第19-23页
        2.3.2 基于LLVM的CFCSS算法实现第23-28页
        2.3.3 基于LLVM的CFCSS算法优化第28-31页
    2.4 指令复制的错误检测第31-35页
        2.4.1 指令复制的错误检测算法概述第31-32页
        2.4.2 基于LLVM的EDDI算法实现第32-34页
        2.4.3 基于LLVM的EDDI算法优化第34-35页
    2.5 主动访存的错误检测第35-37页
        2.5.1 主动访存的错误检测算法概述第35-36页
        2.5.2 基于LLVM的PLC算法实现第36-37页
        2.5.3 基于LLVM的PLC算法优化第37页
    2.6 本章小结第37-38页
3 故障延迟检测框架第38-46页
    3.1 引言第38页
    3.2 故障延迟检测框架概述第38-39页
    3.3 预处理第39-41页
    3.4 故障注入第41-43页
        3.4.1 候选故障指令的选取第41-42页
        3.4.2 候选故障指令的修改第42-43页
    3.5 故障延迟检测第43-45页
    3.6 本章小结第45-46页
4 实验测试第46-55页
    4.1 故障检测算法效率测试第47-52页
        4.1.1 CFCSS算法测试第47-49页
        4.1.2 EDDI算法测试第49-50页
        4.1.3 PLC算法测试第50-52页
    4.2 粒度可控测试第52-55页
5 总结与展望第55-56页
致谢第56-57页
参考文献第57-62页
附录第62-63页
    A.作者在攻读学位期间发表的论文目录第62页
    B.作者在攻读学位期间发表的专利目录第62-63页
    C.作者在攻读学位期间参加的科研项目目录第63页
论文购买
论文编号ABS4590788,这篇论文共63页
会员购买按0.30元/页下载,共需支付18.9
不是会员,注册会员
会员更优惠充值送钱
直接购买按0.5元/页下载,共需要支付31.5
只需这篇论文,无需注册!
直接网上支付,方便快捷!
相关论文

点击收藏 | 在线购卡 | 站内搜索 | 网站地图
版权所有 艾博士论文 Copyright(C) All Rights Reserved
版权申明:本文摘要目录由会员***投稿,艾博士论文编辑,如作者需要删除论文目录请通过QQ告知我们,承诺24小时内删除。
联系方式: QQ:277865656