VIS中电路模拟算法的GPU实现
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 第一章 绪论 | 第8-12页 |
| ·电子设计自动化和逻辑模拟 | 第8-9页 |
| ·模拟和仿真 | 第8页 |
| ·模拟验证在电子设计自动化中的作用 | 第8-9页 |
| ·研究意义、选题依据 | 第9-10页 |
| ·问题的提出 | 第9页 |
| ·并行电路模拟在国外的发展状况 | 第9-10页 |
| ·研究并行电路模拟的意义 | 第10页 |
| ·主要研究内容和章节安排 | 第10-12页 |
| ·主要研究内容 | 第10-11页 |
| ·章节安排 | 第11-12页 |
| 第二章 形式化验证软件VIS 的学习与研究 | 第12-26页 |
| ·VIS 介绍 | 第12-13页 |
| ·VIS 的历史 | 第12页 |
| ·VIS 概述 | 第12-13页 |
| ·VIS 的设计 | 第13-18页 |
| ·Verilog 语言调度和执行语义简介 | 第13-17页 |
| ·VL2MV | 第17-18页 |
| ·BLIF-MV 文件分析与研究 | 第18-23页 |
| ·BLIF-MV 中的模块 | 第18-19页 |
| ·多值变量 | 第19-20页 |
| ·关系表 | 第20-23页 |
| ·使用VIS 进行电路模拟 | 第23-25页 |
| ·本章小结 | 第25-26页 |
| 第三章 CUDA 编程模型概述 | 第26-41页 |
| ·通用GPU 的应用 | 第26-28页 |
| ·基于GPU 的通用计算 | 第26-28页 |
| ·CUDA 概述 | 第28-38页 |
| ·CUDA 编程模型 | 第30-36页 |
| ·多线程和GPU 硬件体系结构 | 第36-38页 |
| ·搭建CUDA 平台 | 第38-39页 |
| ·CUDA 计算性能分析 | 第39-40页 |
| ·本章小结 | 第40-41页 |
| 第四章 VIS 中电路模拟算法在GPU 上的实现 | 第41-75页 |
| ·电路模拟算法简介 | 第41-51页 |
| ·电路结构模型 | 第41-42页 |
| ·电路结构划分映射方法 | 第42-43页 |
| ·事件驱动模拟算法 | 第43-48页 |
| ·基于周期的模拟算法 | 第48-51页 |
| ·并行电路模拟算法研究 | 第51-60页 |
| ·同步事件驱动并行模拟算法 | 第51-54页 |
| ·异步事件驱动并行模拟算法 | 第54-60页 |
| ·电路模拟算法的CUDA 实现 | 第60-74页 |
| ·VIS 中电路模拟算法 | 第60-68页 |
| ·算法实现与测试结果 | 第68-74页 |
| ·本章小结 | 第74-75页 |
| 第五章 总结与展望 | 第75-77页 |
| ·本文总结 | 第75页 |
| ·下一步工作的展望和设想 | 第75-77页 |
| 致谢 | 第77-78页 |
| 参考文献 | 第78-81页 |
