基于28nm LTE模块的逻辑综合及等价性验证
| 摘要 | 第5-6页 |
| ABSTRACT | 第6-7页 |
| 符号对照表 | 第12-13页 |
| 缩略语对照表 | 第13-17页 |
| 第一章 绪论 | 第17-21页 |
| 1.1 研究背景和意义 | 第17-18页 |
| 1.1.1 研究背景 | 第17页 |
| 1.1.2 研究意义 | 第17-18页 |
| 1.2 国内外研究现状 | 第18-20页 |
| 1.2.1 国内研究现状 | 第18-19页 |
| 1.2.2 国外研究现状 | 第19-20页 |
| 1.3 研究内容 | 第20-21页 |
| 第二章 系统实现工具 | 第21-27页 |
| 2.1 Design Compiler | 第21-23页 |
| 2.1.1 功能分析 | 第21-22页 |
| 2.1.2 操作模式 | 第22-23页 |
| 2.1.3 实现方法 | 第23页 |
| 2.2 Conformal LEC | 第23-26页 |
| 2.2.1 功能分析 | 第23-24页 |
| 2.2.2 操作模式 | 第24-25页 |
| 2.2.3 实现方法 | 第25-26页 |
| 2.3 本章小结 | 第26-27页 |
| 第三章 逻辑综合 | 第27-53页 |
| 3.1 综述 | 第27页 |
| 3.2 实现原理 | 第27-29页 |
| 3.2.1 实现方式 | 第27-28页 |
| 3.2.2 实现过程 | 第28-29页 |
| 3.3 详细过程 | 第29-48页 |
| 3.3.1 环境设置 | 第30-34页 |
| 3.3.2 约束和优化方式设置 | 第34-39页 |
| 3.3.3 设计读入 | 第39-41页 |
| 3.3.4 编译执行 | 第41-44页 |
| 3.3.5 测试电路插入 | 第44-47页 |
| 3.3.6 结果分析 | 第47-48页 |
| 3.4 设计检查 | 第48-52页 |
| 3.4.1 检查内容 | 第48-50页 |
| 3.4.2 检查结果 | 第50-52页 |
| 3.5 本章小结 | 第52-53页 |
| 第四章 逻辑等价性验证 | 第53-79页 |
| 4.1 综述 | 第53页 |
| 4.2 实现原理 | 第53-54页 |
| 4.2.1 展平式 | 第53-54页 |
| 4.2.2 分层式 | 第54页 |
| 4.3 详细过程 | 第54-77页 |
| 4.3.1 环境设置 | 第55-57页 |
| 4.3.2 设计读入 | 第57-60页 |
| 4.3.3 关键点提取 | 第60-62页 |
| 4.3.4 关键点匹配 | 第62-65页 |
| 4.3.5 等价性验证 | 第65-68页 |
| 4.3.6 调试 | 第68-77页 |
| 4.4 结果分析 | 第77-78页 |
| 4.5 本章小结 | 第78-79页 |
| 第五章 验证 | 第79-97页 |
| 5.1 综述 | 第79页 |
| 5.2 综合验证过程 | 第79-86页 |
| 5.2.1 文件准备及设计读入 | 第79-81页 |
| 5.2.2 综合编译 | 第81-82页 |
| 5.2.3 扫描链插入 | 第82-84页 |
| 5.2.4 设计检查 | 第84-85页 |
| 5.2.5 结果分析 | 第85-86页 |
| 5.3 逻辑等价性验证过程 | 第86-96页 |
| 5.3.1 文件准备及设计读入 | 第86-88页 |
| 5.3.2 关键点提取及匹配 | 第88-90页 |
| 5.3.3 等价性验证 | 第90-91页 |
| 5.3.4 调试 | 第91-95页 |
| 5.3.5 结果分析 | 第95-96页 |
| 5.4 本章小结 | 第96-97页 |
| 第六章 总结和展望 | 第97-99页 |
| 6.1 总结 | 第97-98页 |
| 6.2 展望 | 第98-99页 |
| 参考文献 | 第99-101页 |
| 致谢 | 第101-103页 |
| 作者简介 | 第103-104页 |
