首页--工业技术论文--无线电电子学、电信技术论文--微电子学、集成电路(IC)论文--一般性问题论文--测试和检验论文

基于断言的形式化验证与UVM的综合应用

摘要第5-6页
ABSTRACT第6-7页
缩略语对照表第11-14页
第一章 绪论第14-18页
    1.1 研究背景第14-15页
    1.2 国内外研究现状第15-17页
    1.3 论文的主要工作和结构第17-18页
第二章 多核调试模块的功能和验证方案第18-28页
    2.1 多核调试模块的结构和功能第18-21页
    2.2 多核调试模块验证点的提取第21-22页
    2.3 多核调试模块验证点覆盖率检查第22-26页
    2.4 本章小结第26-28页
第三章 基于断言的形式化验证第28-44页
    3.1 形式化验证分类第28-29页
    3.2 断言第29-30页
        3.2.1 即时断言第29页
        3.2.2 并发断言第29-30页
    3.3 Jasper的应用第30-32页
        3.3.1 Jasper的验证流程第30-31页
        3.3.2 Japser覆盖率统计第31-32页
    3.4 多核调试模块的形式化验证方案第32-33页
    3.5 对多核调试试模块进行形式化验证第33-36页
    3.6 形式化验证结果及覆盖率分析第36-42页
    3.7 形式化验证特点第42-43页
    3.8 本章小结第43-44页
第四章 使用UVM对多核调试模块进行验证第44-60页
    4.1 模拟验证第44页
    4.2 UVM各组件功能及运行机制第44-48页
        4.2.1 UVM组件功能第44-46页
        4.2.2 UVM的运行机制第46-48页
    4.3 多核调试模块的UVM验证方案第48-49页
    4.4 使用UVM对多核调试模块进行验证第49-54页
    4.5 UVM验证结果及覆盖率分析第54-58页
    4.6 UVM验证特点第58页
    4.7 本章小结第58-60页
第五章 综合使用基于断言的形式化验证和UVM进行验证第60-78页
    5.1 形式化验证与UVM的对比第60页
    5.2 多核调试模块的综合验证策略第60-62页
    5.3 验证结果及覆盖率分析第62-69页
    5.4 综合验证数据分析第69-72页
    5.5 实际工程中的应用第72-76页
        5.5.1 综合验证改进策略第72-74页
        5.5.2 改进后综合验证数据分析第74-76页
    5.6 本章小结第76-78页
第六章 总结与展望第78-80页
    6.1 总结第78页
    6.2 展望第78-80页
参考文献第80-82页
致谢第82-84页
作者简介第84-85页

论文共85页,点击 下载论文
上一篇:宽带差分天线及功分器的设计
下一篇:基于UVM的SDRAM控制器验证方法研究