基于GSTE中的符号仿真设计与实现
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 绪论 | 第10-15页 |
| ·引言 | 第10-11页 |
| ·课题背景与研究意义 | 第11-13页 |
| ·课题背景 | 第11-12页 |
| ·研究意义 | 第12页 |
| ·国内外现状 | 第12-13页 |
| ·主要研究内容 | 第13-14页 |
| ·章节安排 | 第14-15页 |
| 第二章 形式化验证方法简介 | 第15-27页 |
| ·形式化验证方法 | 第15-18页 |
| ·传统的模拟验证 | 第16页 |
| ·硬件形式化验证 | 第16-18页 |
| ·STE 验证方法 | 第18-22页 |
| ·STE 基本理论 | 第18-19页 |
| ·STE 验证的特点 | 第19-22页 |
| ·STE 验证的不足 | 第22页 |
| ·GSTE 验证方法 | 第22-25页 |
| ·断言图 | 第23-24页 |
| ·GSTE 验证算法 | 第24-25页 |
| ·本章小结 | 第25-27页 |
| 第三章 验证软件 VIS 的研究与分析 | 第27-42页 |
| ·VIS 概述 | 第27-28页 |
| ·电路模型 | 第28-29页 |
| ·模型的抽取 | 第29-31页 |
| ·模型的性质 | 第31-37页 |
| ·线性时态逻辑 LTL | 第32-34页 |
| ·计算树逻辑 CTL | 第34-37页 |
| ·VIS 验证命令流程 | 第37-39页 |
| ·VIS 内部结构 | 第39-41页 |
| ·本章小结 | 第41-42页 |
| 第四章 系统需求分析与总体设计 | 第42-48页 |
| ·需求分析 | 第42页 |
| ·设计要求 | 第42-43页 |
| ·平台开发环境 | 第43页 |
| ·系统架构设计 | 第43-44页 |
| ·主要模块设计 | 第44-47页 |
| ·前台设计 | 第44-46页 |
| ·后台设计 | 第46-47页 |
| ·本章小结 | 第47-48页 |
| 第五章 验证仿真平台的具体实现 | 第48-74页 |
| ·前台的具体实现 | 第49-57页 |
| ·主界面的实现 | 第49-53页 |
| ·断言图编辑区域的实现 | 第53-57页 |
| ·VIS 后台仿真算法的实现 | 第57-66页 |
| ·GSTE 算法的实现 | 第57-59页 |
| ·断言图的后台实现 | 第59-61页 |
| ·符号仿真的实现 | 第61-66页 |
| ·交通灯实例的演示 | 第66-73页 |
| ·问题的提出与建模 | 第66-69页 |
| ·断言图的建立 | 第69-70页 |
| ·仿真验证结果 | 第70-73页 |
| ·本章小结 | 第73-74页 |
| 第六章 总结与展望 | 第74-77页 |
| ·全文总结 | 第74-76页 |
| ·研究内容及创新点 | 第75页 |
| ·存在的不足 | 第75-76页 |
| ·工作展望 | 第76-77页 |
| 致谢 | 第77-78页 |
| 参考文献 | 第78-81页 |
| 攻硕期间取得的研究成果 | 第81-82页 |
