数字电路IP软核行为级设计方法研究
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-11页 |
| 1 引言 | 第11-15页 |
| ·研究的背景 | 第11-12页 |
| ·本论文研究的意义 | 第12页 |
| ·国内国外研究现状 | 第12页 |
| ·本文的主要贡献 | 第12-13页 |
| ·论文的组织结构 | 第13-15页 |
| 2 数字电路IP结构描述特征 | 第15-31页 |
| ·IP核基本结构与设计思想 | 第15-22页 |
| ·IP核的分类 | 第16-17页 |
| ·IP核的特征 | 第17-18页 |
| ·IP核复用技术 | 第18-19页 |
| ·IP核的设计思想 | 第19-22页 |
| ·IP软核结构描述方法分析 | 第22-25页 |
| ·设计规范描述 | 第22-23页 |
| ·结构描述 | 第23页 |
| ·模块描述 | 第23-24页 |
| ·验证描述 | 第24-25页 |
| ·IP软核结构验证方法分析 | 第25-31页 |
| ·基于模块的验证 | 第26-27页 |
| ·基于任务流的验证 | 第27-29页 |
| ·基于覆盖率的验证 | 第29-30页 |
| ·基于事务的验证 | 第30-31页 |
| 3 数字电路IP行为级约束分析 | 第31-47页 |
| ·IP软核设计的约束分析 | 第31-36页 |
| ·IP软核设计语言 | 第31-33页 |
| ·IP软核的设计过程 | 第33-34页 |
| ·IP软核设计中的时序约束 | 第34-35页 |
| ·IP软核的交付与生产 | 第35-36页 |
| ·行为级描述约束思想 | 第36-43页 |
| ·行为级描述的基本原理 | 第37页 |
| ·行为级描述的数据类型 | 第37-38页 |
| ·基于布尔方程的建模方式 | 第38-39页 |
| ·基于电路原理图的建模方法 | 第39页 |
| ·基于用户定义原语的建模方式 | 第39-40页 |
| ·基于数据流的建模方式 | 第40-41页 |
| ·基于行为算法的建模方式 | 第41-43页 |
| ·行为级综合问题 | 第43页 |
| ·测试向量的设计方法 | 第43-47页 |
| ·IP软核测试的基本步骤 | 第44-45页 |
| ·测试平台的搭建 | 第45-46页 |
| ·测试向量的生成 | 第46-47页 |
| 4 数字电路IP行为级建模方法 | 第47-57页 |
| ·过程结构 | 第47-49页 |
| ·always结构 | 第47-48页 |
| ·initial结构 | 第48页 |
| ·过程结构实例分析 | 第48-49页 |
| ·过程控制 | 第49-52页 |
| ·过程语句 | 第49-50页 |
| ·时序控制 | 第50-51页 |
| ·过程赋值 | 第51-52页 |
| ·简单语句 | 第52-54页 |
| ·条件结构 | 第52-53页 |
| ·循环结构 | 第53-54页 |
| ·连续赋值 | 第54-55页 |
| ·测试平台的编写 | 第55页 |
| ·总结 | 第55-57页 |
| 5 串行通信接口IP软核设计 | 第57-67页 |
| ·串行通信接口基本原理 | 第57-58页 |
| ·UART的软核结构 | 第58-59页 |
| ·UART测试向量的设计方法 | 第59-60页 |
| ·UART行为级设计与验证 | 第60-67页 |
| ·UART发射机IP软核设计 | 第60-62页 |
| ·UART接收机IP软核设计 | 第62-65页 |
| ·UART波特率发生器的设计 | 第65-67页 |
| 6 32 bit寄存器文件IP软核设计 | 第67-75页 |
| ·寄存器文件的基本原理 | 第67页 |
| ·寄存器文件的软核结构 | 第67-69页 |
| ·寄存器文件测试向量设计方法 | 第69页 |
| ·寄存器文件行为级设计与验证 | 第69-75页 |
| ·寄存器文件IP软核设计 | 第69-72页 |
| ·数据选择器IP软核设计 | 第72-75页 |
| 7 多功能函数发生器IP软核设计 | 第75-79页 |
| ·多功能函数发生器原理 | 第75页 |
| ·多功能函数发生器功能与结构 | 第75-76页 |
| ·多功能函数发生器功能 | 第75-76页 |
| ·多功能函数发生器结构 | 第76页 |
| ·测试向量的设计方法 | 第76-77页 |
| ·多功能函数发生器IP软核设计与验证 | 第77-79页 |
| 8 IP软核设计方法比较 | 第79-81页 |
| ·行为级设计方法的比较 | 第79页 |
| ·行为级验证方法的比较 | 第79-81页 |
| 9 结论 | 第81-83页 |
| 参考文献 | 第83-87页 |
| 作者简历 | 第87-91页 |
| 学位论文数据集 | 第91页 |
