统一验证方法的实现

摘要	第1-5页
ABSTRACT	第5-11页
第一章 引言	第11-22页
·研究的目的和意义	第11页
·国内外现状分析	第11-20页
·论文的研究内容及特色	第20页
·本文的章节安排	第20-22页
第二章 传统仿真验证方法分析	第22-29页
·仿真验证的技术	第22-25页
·仿真验证过程分析	第25-29页
第三章 统一验证方法	第29-50页
·统一验证方法概述	第29页
·统一验证方法的关键概念	第29-32页
·统一验证方法在系统级验证中的应用	第32-41页
·基于控制的数字子系统	第41-48页
·统一验证方法的典型的应用实例	第48-50页
第四章 多级复用的验证模型架构	第50-59页
·多级复用的验证模型结构	第50-53页
·可复用验证模型演化流程	第53-56页
·系统级验证模型开发	第56-57页
·行为级验证模型开发	第57页
·RTL 级验证模型开发	第57-59页
第五章 1553B IP 核的MRVM 模型	第59-78页
·系统介绍	第59-62页
·1553B 总线控制器IP 核结构	第62-66页
·1553B IP 核的MRVM 模型	第66-71页
·1553B 的两级MRVM 模型	第71-75页
·1553B 的MRVM 模型仿真	第75-76页
·系统分析与比较	第76-78页
第六章 总结	第78-80页
致谢	第80-81页
参考文献	第81-84页
硕士期间研究成果	第84-85页