GMAC桥协议转换电路的功能验证及激励自动生成方法研究
| 摘要 | 第10-11页 |
| ABSTRACT | 第11页 |
| 第一章 绪论 | 第12-26页 |
| 1.1 课题背景及研究意义 | 第12-15页 |
| 1.1.1 集成电路功能验证方法与地位 | 第12-13页 |
| 1.1.2 集成电路功能验证研究必要性 | 第13-15页 |
| 1.2 集成电路验证技术概述 | 第15-21页 |
| 1.2.1 模拟验证技术 | 第16-19页 |
| 1.2.2 形式化验证方法 | 第19-21页 |
| 1.3 课题主要研究内容 | 第21-24页 |
| 1.3.1 GMAC桥协议转换电路设计 | 第22页 |
| 1.3.2 建立协议转换电路功能规范点模型 | 第22-23页 |
| 1.3.3 基于功能覆盖率的模拟验证完备性研究 | 第23页 |
| 1.3.4 基于功能规范点的自动激励生成研究 | 第23-24页 |
| 1.4 文章结构 | 第24-26页 |
| 第二章 GMAC桥电路设计及实现 | 第26-60页 |
| 2.1 GMAC部件总体结构 | 第26-32页 |
| 2.1.1 NAC端口 | 第26-28页 |
| 2.1.2 GMAC端口 | 第28-32页 |
| 2.2 GMAC桥电路设计 | 第32-49页 |
| 2.2.1 GMAC桥结构设计 | 第32-38页 |
| 2.2.2 集成电路有限状态机模型 | 第38-45页 |
| 2.2.3 GMAC桥有限状态机模型 | 第45-49页 |
| 2.3 GMAC桥的实现及性能分析评估 | 第49-58页 |
| 2.3.1 面积及功耗 | 第49-50页 |
| 2.3.2 传输效率分析 | 第50-58页 |
| 2.3.3 波特率与传输效率 | 第58页 |
| 2.4 本章小结 | 第58-60页 |
| 第三章 总线接口类电路功能验证方法研究 | 第60-72页 |
| 3.1 总线接口类电路特点分析 | 第60-65页 |
| 3.1.1 总线接口类电路特点 | 第60-62页 |
| 3.1.2 数据传输协议 | 第62-63页 |
| 3.1.3 电路内部自动机 | 第63-65页 |
| 3.2 功能规范特点分析 | 第65-67页 |
| 3.2.1 功能规范组成成分 | 第65-66页 |
| 3.2.2 接口电路功能规范组成成分 | 第66-67页 |
| 3.3 基于功能规范的自动验证 | 第67-70页 |
| 3.3.1 建立功能规范模型 | 第67-69页 |
| 3.3.2 测试激励自动生成 | 第69-70页 |
| 3.4 本章小结 | 第70-72页 |
| 第四章 功能规范描述及建模方法研究 | 第72-90页 |
| 4.1 功能规范点描述基础 | 第72-79页 |
| 4.1.1 操作符及表达式 | 第72-73页 |
| 4.1.2 数据类型 | 第73-76页 |
| 4.1.3 谓词和函数 | 第76-79页 |
| 4.2 事件行为描述 | 第79-85页 |
| 4.2.1 事件依赖与约束 | 第79-82页 |
| 4.2.2 事件时序组合关系 | 第82-83页 |
| 4.2.3 事件循环发生 | 第83-84页 |
| 4.2.4 事件时序顺序 | 第84-85页 |
| 4.3 功能规范点建模 | 第85-88页 |
| 4.3.1 描述语言BNF定义 | 第85-86页 |
| 4.3.2 功能规范模型 | 第86-88页 |
| 4.4 本章小结 | 第88-90页 |
| 第五章 测试激励自动生成研究 | 第90-104页 |
| 5.1 测试激励生成模型 | 第90-93页 |
| 5.1.1 测试激励生成流程 | 第90-91页 |
| 5.1.2 事件约束 | 第91-92页 |
| 5.1.3 测试向量自动生成 | 第92-93页 |
| 5.2 激励生成决策算法 | 第93-99页 |
| 5.2.1 功能覆盖率 | 第93-94页 |
| 5.2.2 最优化模型 | 第94-96页 |
| 5.2.3 激励生成决策 | 第96-99页 |
| 5.3 基于UVM的测试激励生成平台 | 第99-103页 |
| 5.3.1 激励生成平台组成 | 第99-100页 |
| 5.3.2 激励生成平台结构 | 第100-101页 |
| 5.3.3 激励生成平台主要组件 | 第101-103页 |
| 5.4 本章小结 | 第103-104页 |
| 第六章 GMAC桥电路功能建模及验证 | 第104-124页 |
| 6.1 GMAC桥电路功能规范 | 第104-108页 |
| 6.1.1 GMAC桥电路功能点 | 第104-107页 |
| 6.1.2 事件约束 | 第107-108页 |
| 6.2 GMAC桥电路功能规范建模 | 第108-115页 |
| 6.2.1 AXI协议功能点分析 | 第108-111页 |
| 6.2.2 NAC协议行为约束 | 第111页 |
| 6.2.3 数据传输模型 | 第111-115页 |
| 6.3 GMAC桥电路测试激励生成 | 第115-123页 |
| 6.3.1 功能规范模型 | 第115-120页 |
| 6.3.2 激励生成效果分析 | 第120-123页 |
| 6.4 本章小结 | 第123-124页 |
| 第七章 结束语 | 第124-126页 |
| 7.1 本文总结 | 第124-125页 |
| 7.2 工作展望 | 第125-126页 |
| 致谢 | 第126-128页 |
| 参考文献 | 第128-132页 |
| 作者在读期间取得的学术成果 | 第132页 |
