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

IP软核验证方法研究

致谢第1-6页
中文摘要第6-7页
ABSTRACT第7-11页
1 绪论第11-15页
   ·研究的背景第11页
   ·本论文研究的意义第11页
   ·国际国内研究现状第11-12页
   ·本文的主要贡献第12页
   ·论文的组织结构第12-15页
2 IP软核验证方法基础第15-33页
   ·So C(System on a Chip)概述第15-16页
   ·国内SoC-IP产业的现状第16-17页
   ·IP核分析第17-20页
     ·IP技术的发展第17-18页
     ·IP核的特征第18页
     ·IP模块的分类第18-19页
     ·IP软核可重用设计的基本原则第19-20页
   ·IP软核的验证第20-24页
     ·测试平台第21-22页
     ·基于模块的验证第22-23页
     ·模型检查第23-24页
   ·验证研究第24-33页
     ·国内外验证技术研究现状第24-25页
     ·验证的重要性第25-26页
     ·验证分类第26-28页
     ·验证流程第28-32页
     ·验证和测试的区别第32-33页
3 动态验证第33-43页
   ·功能验证分析第33-36页
   ·验证覆盖分析第36-37页
   ·UART IP软核的动态验证第37-43页
     ·UART简介第37-38页
     ·UART通信时序方式第38-39页
     ·UART的组成及实现流程第39-40页
     ·UART仿真及结果分析第40-43页
4 静态验证第43-53页
   ·代码静态检查第43-44页
     ·Lint工具第43页
     ·Lint应用实例第43-44页
   ·静态时序分析第44-50页
     ·STA基本原理第46-47页
     ·STA实例分析第47-50页
   ·统计时序分析第50-53页
5 SystemVerilog验证第53-65页
   ·System verilog概述第53页
   ·System Verilog的验证特性第53-54页
   ·System Verilog 与 Verilog的特点对比第54-55页
   ·SVA断言应用举例第55-57页
   ·实例 PCI的断言验证第57-65页
     ·PCI系统的 SVA检验器第57页
     ·PCI局部总线第57-59页
     ·PCI系统实例第59-62页
     ·PCI的验证程序及结果第62-65页
6 形式验证研究第65-69页
   ·形式验证的现状第65页
   ·形式验证的分类第65-67页
     ·模型检验第66页
     ·定理证明第66页
     ·等价性检查第66-67页
   ·形式验证研究发展方向第67-69页
7 各种验证方法的对比分析第69-75页
   ·动态仿真与 SVA的对比研究第69-72页
   ·形式验证与动态验证的对比研究第72页
   ·形式验证与 SVA的对比研究第72-73页
   ·各种 IP软核验证方法对比总结第73-75页
8 结论第75-77页
参考文献第77-79页
附录 A第79-81页
作者简历第81-85页
学位论文数据集第85页

论文共85页,点击 下载论文
上一篇:低成本高性能覆膜砂用酚醛树脂的研究
下一篇:平板式固体氧化物燃料电池气道模拟与优化