[发明专利]基于VMM RAL的寄存器自动化验证方法

说明书

技术领域:

本发明涉及寄存器验证领域，特别是涉及一种针对ARM（先进微处理器）芯片基于VMM RAL（新思科技推出的基于寄存器抽象层的验证方法学）的寄存器自动化验证方法。 

背景技术

当前验证工作占整个芯片设计工作的百分之七十或者以上，而在整个验证工作中对寄存器的验证是繁琐、复杂、易出错的工作，并且对寄存器的验证是验证的首要的和重要的任务；能否对寄存器进行高效和完备的验证，是影响后续验证工作能否顺利进行的关键因素。 

RAL（Register Abstraction Layer寄存器抽象层验证技术和方案）能够自动的为DUT（待测设计）模块中的寄存器和存储器建立高层次的面向对象的抽象层。这个抽象的机制使得验证环境和测试用例能很好的从模块级复用到子系统级，而不必做任何改变。 

传统的寄存器验证方法通常会通过简单读写对寄存器进行访问，来确定是否可进行有效操作，这种方法可验证寄存器故障较单一，效率比较低，且复用性较差。寄存器的定义在整个项目进行中是不断变化的，在传统方法中，每次寄存器的变化，验证的工作人员都要手动的在验证环境中更新这种改动，并且重新进行验证策略选择；伴随着每次寄存器的变化，都要重复上述过程。这个过程是非常繁琐的，出现错误是不可避免的。如果对 寄存器的验证不够充分，出现了错误，这将直接影响后续验证工作的进行。 

发明内容：

本发明要解决的技术问题是提供一种基于VMM RAL的寄存器自动化验证方法，能有效缩短芯片的验证时间，提高效率，保证验证质量。 

为解决上述技术问题，本发明的基于VMM RAL的寄存器自动化验证方法，包括如下步骤： 

步骤一、根据MAS（Macro Architecture Specification设计说明书）初始化一个具有固定格式的描述寄存器的Excel（微软办公表格）表格； 

步骤二、利用脚本工具从所述Excel表格中转换出VMM（新思科技推出的验证方法学）的ralgen（寄存器传输级文件产生）命令能够识别的扩展名为.ralf文件，利用ralgen命令基于.ralf文件产生描述寄存器的RAL（Register Abstraction Layer寄存器抽象层验证技术和方案）模型文件； 

步骤三、在验证环境平台中例化和调用所述RAL模型文件，选择要验证的寄存器并使用通用寄存器验证任务模块进行验证。 

采用本发明的方法可以自动产生.ralf文件、自动产生描述寄存器的RAL模型文件、自动完成寄存器本身功能的验证，从而完成寄存器验证的绝大部分工作，使得寄存器的较繁琐的遍历验证能够自动的完成。因此可以大大缩短芯片的验证时间，保证验证的质量，节省产品成本，提升竞争力。 

实施本发明方法的整个验证环境平台采用基于VMM RAL方法搭建，并用脚本组织运行整个验证环境，可进行自动化激励产生，覆盖率收集；具有良好复用性，可以在任何项目（不同总线宽度，验证架构不同等）中 使用，而不必做任何的改动，有效提高寄存器验证工作效率。 

采用本发明的方法，在有寄存器变化时，只需更新一个文件，即一般只需要修改寄存器表格，不需要修改验证环境平台，从而降低了出错的机会，保障了后续工作的顺利进行。 

附图说明

下面结合附图与具体实施方式对本发明作进一步详细的说明： 

图1是所述基于VMM RAL的寄存器自动化验证方法流程图； 

图2是寄存器模块级验证环境平台结构示意图； 

图3是寄存器子系统级验证环境平台结构示意图。 

具体实施方式

Synopsys（新思科技）公司基于VMM（新思科技推出的验证方法学）推出了寄存器抽象层验证技术和方案，简称RAL，是Synopsys公司针对芯片验证中如何简便、高效地完成寄存器/存储器相关的验证任务这一问题而开发的解决方案。该方案构建在Synopsys公司的VMM基础上，使用了VMM中的通用技术，可以在VMM的验证环境平台中非常方便地集成和重用。 

基于VMM RAL和传统方法相比，利用RAL能够方便的为寄存器建模，这个寄存器模型中包括寄存器名字、基地址、便宜地址、操作权限、复位值和在硬件电路中的位置等信息。使用RAL可以方便的对寄存器进行读写操作并对结果进行比较。这就给寄存器的验证提供了一种简洁高效的途径。