基于VMM RAL的寄存器验证方法的研究

摘要	第1-4页
Abstract	第4-6页
第一章 绪论	第6-8页
·课题背景及研究目的和意义	第6-7页
·本文研究内容及章节安排	第7-8页
第二章 VMM 验证方法学和RAL	第8-16页
·VMM 验证方法学	第8-10页
·RAL 的介绍	第10-15页
·RAL 的基本概念	第10-11页
·RAL 的主要特点和功能	第11-15页
·小结	第15-16页
第三章 寄存器验证方法的开发	第16-46页
·RAL 的验证思想	第16-17页
·RAL 模型	第17-26页
·RAL 模型产生器的输入	第18-21页
·RAL 模型产生器的设计	第21-24页
·RAL 模型的产生	第24-26页
·验证方法的实现	第26-45页
·寄存器初始值的验证	第26-29页
·寄存器复位功能的验证	第29-30页
·寄存器读写属性的验证	第30-33页
·特殊寄存器的验证	第33-42页
·耦合关系的验证	第42-45页
·小结	第45-46页
第四章 寄存器的自动化验证	第46-58页
·RAL 环境的集成	第46-48页
·RAL 指令解析	第48-50页
·寄存器功能验证	第50-53页
·验证结果	第53-57页
·小结	第57-58页
第五章 总结与展望	第58-60页
·总结	第58-59页
·展望	第59-60页
致谢	第60-61页
参考文献	第61-63页
附录	第63-97页
附录A：RAL 模型产生器实现代码	第63-74页
附录B：寄存器验证方法实现的部分代码	第74-97页