EDA365欢迎您登录！
您需要 登录 才可以下载或查看，没有帐号？注册
x
摘 要：本文以SIM卡控制模块的功能验证为例，介绍了运用Synopsys Vera验证工具以及RVM验证方法学快速高效地搭建高质量验证平台的方法。文中详细介绍了RVM验证方法学以及RVM验证平台的结构。$ ^$ y7 j# B, o
关键词：RVM；SoC；验证平台；可重用性；功能验证
# M" }) @; u& X: S- e1 [' G8 F9 w/ I3 t& ~% r9 e4 X$ T( b
引言) j7 G/ s2 f. ^, G" ?
随着SoC设计日趋复杂，验证成为SoC设计过程中最关键的环节。本文介绍了Synopsys的RVM验证方法学，采用Vera硬件验证工具以及OpenVera验证语言建立目标模型环境，自动生成激励，完成自核对测试、覆盖率分析等工作。通过建立层次化的可重用性验证平台，大大提高了验证工程师的工作效率。文中以一个SIMC功能模块的验证为例，详细介绍了RVM验证方法学在SoC芯片验证中的应用。
! w; h7 N8 p/ B* \) e; T
1 _1 H( M9 `2 d! f( x功能验证
( {0 L! L3 W/ m5 f2 ~一个设计被综合前，首先要对RTL描述进行逻辑功能验证，以确保模块或芯片的功能正确性。通常，RTL级的功能验证主要采用自底向上的验证策略，可分为模块级验证和系统级验证两个阶段。
# d$ @: C% p. \" g4 O7 o7 d/ M- U2 H
传统验证方法大多是在信号级的接口上直接与待验证设计(DUT)通信，即用激励直接驱动DUT的引脚，通过检查接口信号的值和变化来达到验证设计功能的目的。这种方法的抽象层次较低，验证平台的开发与DUT的接口协议紧密相关，使得验证平台的重用性较差。如果要做到一个验证平台可以验证多个不同的DUT，必须将验证平台的抽象层次提高到事务级，而且应该构建层次化的结构，层与层之间具有一定的独立性，改变底层并不会影响上层。 基于事务的验证
* R$ Y( ?# b% F$ k+ F0 _3 I所谓事务(Transaction)是指设计对象与事务处理器(Transactor)之间通过接口所做的一次数据传输。从硬件的角度来看，事务可看成作用在一个特定接口上的一组信号的集合单元。事务具有3个要素：起始时间、终止时间，以及所有与这个事务相关的信息。1 _' ~; O- D. h, G" M
5 U2 V; O5 K) X) E4 @$ ~基于事务的验证工具让用户除了可以在信号/引脚级上进行验证，还可以在事务级上进行验证，从而提高了设计生产率。
. x% }" ^5 K" x, H6 G$ E4 B L8 ]
" Y8 y3 |( c9 R% p' t" ]8 f基于事务验证环境的基本要素
; q" F- T9 ~+ y# q7 l8 SDUT：待验证设计对象的RTL描述或门级描述。0 P/ }+ R. `6 F; |: M q- V" X
* l3 V. r+ ^9 h# _( q, B% D* _事务：在DUT和事务处理器之间通过接口在特定起止时间内的一次数据传输。事务能够对信号波形进行标识，表示相关的信号属性，还可以标识错误。7 w" w9 b) {' v3 O( b( W3 H! K
' A$ `1 W0 e/ Z9 y& d6 s
事务处理器：也叫总线功能模型(BFM)。事物处理器可以表示事务所代表的信号变化，并与DUT通过接口进行连接。一个典型的DUT往往具有不同的接口，因此一个验证环境中具有不同的事务处理器以产生相关的测试向量对DUT进行激励。
) \/ W8 i5 u- m2 \' Z0 N- l) s8 Z, r5 w1 G3 G+ p; c2 Z' i' K% Y
测试例(Testcase)：用来产生验证DUT特定功能所需要的事务。
' c. C8 L$ ^$ D+ d! l P. Q
1 G6 D7 ]$ e# K/ p+ l* A q4 }, N基于事务的验证处理过程
0 @" C/ k9 F9 Z! e6 y" Y测试例通过特定的事务来调用事务处理器的任务，事务处理器按照DUT所遵循的协议对事务进行处理，经过处理后的事务通过连接DUT的接口输入到DUT中，DUT对输入的激励进行响应。DUT输出的响应再转换为事务的形式，这样验证平台的自核对模块就可以在事务级上对激励和响应进行核对，以检查DUT的功能是否正确。 RVM层次化验证方法学3 e) I# o4 W1 N" C3 M4 _
RVM验证方法学是一种层次化的验证方法学，它能把验证的步骤分层进行，将验证工作提高到更高的抽象层次，即事务层。层次化的验证方法使得验证工程师只需关心DUT的输入/输出接口，而不必关心DUT内部的具体实现。$ Q) ]6 V, o& E; u( ^4 S
6 O* t6 B1 j- a1 F1 |根据RVM方法学，验证工程师可以搭建出具有随机测试、自动检错核对、功能覆盖等功能的层次化验证平台。这类验证平台包含很多参考模型，每个模型可完成不同的功能。在搭建验证平台的过程中，还可以直接调用Synopsys提供的RVM基类库，其中定义了丰富的标准类。利用RVM基类以及面向对象的技术可以更方便地生成验证平台各个层次的模块。, H' D( V' c. j1 X; @
. W! R: P! `1 H* A g2 }2 _# D基于RVM的验证平台分成5层，每层完成独立的功能，层与层通过接口互相连接。 信号层
+ L3 T( X8 }, p' R8 w: b0 U信号层提供验证平台与DUT的信号级连接。验证平台通过信号层将上层产生的激励驱动到DUT中。具体实现时，需要定义验证平台与DUT连接的虚端口，当DUT的接口改变时，只需要修改验证平台虚端口中的信号，上层模块不需要修改，方便整个验证平台的重用。 / w, ^$ z0 a |1 r2 c
/ q2 @6 \ W* A. f5 P- e8 Q
命令层4 b6 ~. l2 @/ F* C# v7 R: w
命令层将信号层的信号抽象为事务，给高层提供DUT的接口与事务的转换。命令层主要包括驱动器模块和监视器模块，与上层模块通过事务级通道连接，与下层模块通过虚端口连接。驱动器完成对DUT激励的驱动。监视器检测DUT的输出，将输出反馈给上层模块。
9 _0 F" C( P0 b- t
, p! ?- ~7 `, k功能层! D/ L- G7 T; ~3 S
功能层模拟DUT的基本行为，将DUT的行为抽象为更高一级的事务。功能层中包括事务处理器模块和自核对模块。事务处理器模块根据DUT所遵循的协议将上层产生的事务进行处理，经过事务处理器处理的事务通过事务级通道传给下层。自核对模块用于对比事务经过DUT处理之后是否符合协议的要求，通常用于检查DUT传输数据的正确性。
8 f- _/ B( k0 P) r9 o
8 s( ?: b& ?7 |! b8 @: \0 d- t激励产生层
9 C- l5 e. ^' }, O+ x激励产生层用于产生对DUT的激励事务。这一层包括产生器模块，该模块产生一系列的事务对象，通过事务级通道传输给下层。RVM支持两种产生器： Atomic产生器，用于产生一组相似的事务对象； Scenario产生器，用于产生顺序可控制的事务对象。
" Y* T& j% }% W9 e$ }3 W. b# v8 p# y3 p7 T
测试层
( p6 n0 n3 v x4 h/ i @. K* \; n) L测试层用于对DUT的逻辑功能进行验证。这一层主要是用户为了验证DUT的逻辑功能而编写的不同测试例，在测试例中可以对各个模块的限制条件进行修改。通过对不同测试例运行结果的统计，可以查看DUT的功能覆盖率，只有功能覆盖率达到一定要求，才能够认为该DUT已经被完备的验证通过。 & B G1 |; d) d' R9 h
g, y# @! y {+ e5 R* K
| 
/1 
发表于 2020-10-14 13:35
收藏
淘帖
支持！
反对！