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

摘要

随着集成电路规模和复杂度的不断增大,在集成电路设计中,功能验证的作用越来越重要,是保证芯片流片是否成功的关键性因素。在功能验证中对寄存器的验证是保障后续验证工作顺利进行的重要一环,同时也是非常繁琐和容易出错的。
　　 本文的主要内容是利用VMM(Verification Methodology Manual)中的寄存器／存储器抽象层验证技术和解决方案——RAL(Register Abstraction Layer),开发出一种验证寄存器功能的自动化、可复用的方法,并利用此方法完成了项目中寄存器的验证。本文首先研究了VMM验证方法学和RAL,然后,在此基础上重点讲述了此验证方法的开发过程,包括RAL模型产生器的设计和验证方法的实现,接着,使用此方法完成了对项目中寄存器的验证,包括RAL环境的集成,验证寄存器的初始值、复位功能、读写属性、耦合关系,最后给出仿真波形、验证结果和覆盖率统计,其中验证结果全部passed,覆盖率达到了100％。

目录

文摘

英文文摘

第一章 绪论

1.1 课题背景及研究月的和意义

1.2 本文研究内容及章节安排

第二章 VMM验证方法学和RAL

2.1 VMM验证方法学

2.2 RAL的介绍

2.2.1 RAL的基本概念

2.2.2 RAL的主要特点和功能

2.3 小结

第三章 寄存器验证方法的开发

3.1 RAL的验证思想

3.2 RAL模型

3.2.1 RAL模型产生器的输入

3.2.2 RAL模型产生器的设计

3.2.3 RAL模型的产生

3.3 验证方法的实现

3.3.1 寄存器初始值的验证

3.3.2 寄存器复位功能的验证

3.3.3 寄存器读写属性的验证

3.3.4 特殊寄存器的验证

3.3.5 耦合关系的验证

3.4 小结

第四章 寄存器的自动化验证

4.1 RAL环境的集成

4.2 RAL指令解析

4.3 寄存器功能验证

4.4 验证结果

4.5 小结

第五章 总结与展望

5.1 总结

5.2 展望

致谢

参考文献

附录

附录 A:RAL模型产生器实现代码

附录 B:寄存器验证方法实现的部分代码