基于RVM的层次化SoC芯片验证平台设计及应用

文章摘要：功能层功能层模拟DUT的基本行为，将DUT的行为抽象为更高一级的事务。功能层中包括事务处理器模块和自核对模块。事务处理器模块根据DUT所遵循的协议将上层产生的事务进行处理，经过事务处理器处理的事务通过事务级通道传给下层。自核对模块用于对比事务经过DUT处理之后是否符合协议的要求，通常用于检查DUT传输数据的正确性。激励产生层激励产生层用于产生对DUT的激励事务。这一层包括产生器模块，该模块产生一系列的事务对象，通过事务级通道传输给下层。RVM支持两种产生器：Atomic产生器，用于产生一组相似的事务对象；scenario产生器，用于产生顺序可控制的事务对象。测试层测试层用于对DUT的逻辑功能进

基于RVM的层次化SoC芯片验证平台设计及应用,标签：单片机开发,单片机原理,单片机教程,http://www.88dzw.com

功能层

功能层模拟DUT的基本行为，将DUT的行为抽象为更高一级的事务。功能层中包括事务处理器模块和自核对模块。事务处理器模块根据DUT所遵循的协议将上层产生的事务进行处理，经过事务处理器处理的事务通过事务级通道传给下层。自核对模块用于对比事务经过DUT处理之后是否符合协议的要求，通常用于检查DUT传输数据的正确性。

激励产生层

激励产生层用于产生对DUT的激励事务。这一层包括产生器模块，该模块产生一系列的事务对象，通过事务级通道传输给下层。RVM支持两种产生器：Atomic产生器，用于产生一组相似的事务对象；scenario产生器，用于产生顺序可控制的事务对象。

测试层

测试层用于对DUT的逻辑功能进行验证。这一层主要是用户为了验证DUT的逻辑功能而编写的不同测试例，在测试例中可以对各个模块的限制条件进行修改。通过对不同测试例运行结果的统计，可以查看DUT的功能覆盖率，只有功能覆盖率达到一定要求，才能够认为该DUT已经被完备的验证通过。

SlMC模块的功能验证

SIMC是SIM卡控制器的简称，通过SIMC可以在手机基带处理芯片上外接SIM卡，实现数据的发送和接收。SIMC模块连接在系统的APB总线上，ARM微控制器通过APB总线对SIMC进行访问。该模块主要包括波特率产生部分、接收数据的串并转换部分、发送数据的并串转换部分、发送FIFO的控制部分、接收FIFO的控制部分等。发送数据时，SIMC模块会将发送数据寄存器的数据先放到发送FIFO中，再将FIFO中的数据发送出去；接收数据时，SIMC模块将接收到的数据放到接收FIFO中，再由处理器从接收数据寄存器中读取数据。如果接收数据后，判断校验位或停止位出错，则数据不会被放人接收FIFO中，SIMC模块的状态寄存器会有相应的指示。

本文将以一款基带处理芯片的SIMC为例，详细介绍RVM验证方法学的应用。其中DUT的RTL代码用Verilog编写，验证平台的代码用Open Vera编写。Open Vera语言是一种新型的高阶验证语言(HLV)。用0penVera编写的代码中调用了RVM的基类和库函数，充分应用了面向对象技术。

SIMC模块的

RVM分层验证平台结构

SIMC模块的验证平台利用Synopsys公司Vera验证工具搭建，验证平台的搭建遵循RVM验证方法学，代码的编写过程调用了RVM基类库。SIMC模块验证平台结构如图2所示。

信号层

信号层包括定义的虚端口，用于和SIMC模块RTL代码的接口相连。首先定义一个interface变量，该变量中定义的接口对应于SIMC模块的接口信号，interface变量的定义语句中用hdl_node关键字和RTL代码的接口信号相连。定义的虚端口再和interface中的信号绑定。

命令层

命令层包括ARM端的驱动器和监视器、SIM卡端的驱动器和监视器。ARM端的驱动器模仿APB总线，按照协议的规定对DUT进行驱动，SIM卡端的驱动器模仿一个SIM卡对DUT进行驱动。两端的监视器检测DUT的输出数据和驱动到DUT中的数据，将数据保存在自核对模块中进行比较，通过比较来检查DUT传输数据是否正确。

编程实现时，可以通过继承RVM基类库中的rvm_xactor类得到所需要的子类，在子类的代码中加入需要实现的功能。

功能层

功能层包括将SIM卡事务转化为ARM事务的事务处理器、实现中断服务功能的事务处理器、自核对模块。编程实现时，事务处理器可以通过继承R V M基类库中的rvm_xactor得到，在子类的代码中加入需要实现的功能。自核对模块用于比较DUT的激励和响应是否符合要求。

激励产生层

激励产生层包括两个Atomic产生器，两个产生器是同一个类的两个对象。产生器为DUT产生随机激励，激励封装在一个事务中，通过事务通道传到下层模块中。两端的产生器都是产生SIM卡事务的，ARM端有一个将SIM卡事务转化为ARM事务的事务处理器来完成SIM卡事务向ARM事务的转化。通过产生器可以随机产生符合协议规范的激励。编写代码时，产生器可以通过调用R V M 的宏rvm_atomic_gen很方便地实现。

上一页  [1] [2] [3]  下一页