EDA/PLD中的利用VMM建立基于事务的层次化验证平台
100 浏览量
2020-11-07
03:09:41
上传
评论
收藏 205KB PDF 举报
EDA/PLD中的利用中的利用VMM建立基于事务的层次化验证平台建立基于事务的层次化验证平台
摘要：VMM是一种基于 SystemVerilog语言的验证方法学，它通过引入断言、抽象化、自动化与重用这四种机
制提高了项目验证的生产率。本文通过一个实例介绍怎样利用 VMM建立基于事务的可重用的层次化验证平台。
0引言： 随着集成电路深亚微米时代的到来，集成电路的规模不断扩大，促进了系统级芯片
SoC（Systems-on-a-Chip）的发展和应用。通常一个 SoC芯片的规模在几百万门至几千万门左右，面对如此高
的复杂度，验证成为 SoC设计中最困难、最具挑战性的课题之一。VMM（Verification Methodology Manual）
验证方法学采用 SystemVeri
摘要：VMM是一种基于 SystemVerilog语言的验证方法学，它通过引入断言、抽象化、自动化与重用这四种机制提高了
项目验证的生产率。本文通过一个实例介绍怎样利用 VMM建立基于事务的可重用的层次化验证平台。
0引言：
随着集成电路深亚微米时代的到来，集成电路的规模不断扩大，促进了系统级芯片 SoC（Systems-on-a-Chip）的发展和
应用。通常一个 SoC芯片的规模在几百万门至几千万门左右，面对如此高的复杂度，验证成为 SoC设计中最困难、最具挑战
性的课题之一。VMM（Verification Methodology Manual）验证方法学采用 SystemVerilog语言，引入了断言、抽象化、自动
化及重用机制，指导验证工程师搭建基于事务的可重用的层次化验证平台，可以很容易地实现定向测试、随机测试、数据自检
查等功能，减少了测试案例的复杂度，提高了验证生产率，减少了总的验证代码量，缩短了产品的面市时间。
1基于事务的验证
基于事务的验证是当前采用的主要验证技术。简单来说事务就是在接口上的操作。事务可以是抽象的和高层次的，例如可
靠地发送一个TCP包，也可以是物理层面上的，例如在APB内连接上的写周期。基于事务的验证让用户不必关注底层的细节，
在抽象级别更高的事务级上进行验证，从而提高了验证效率。
验证环境中的组件称为事务处理器。它是一个静态的对象，它自主地生成、处理或者监视事务。传统的总线功能模型即是
一种低层次的事务处理器，它将事务级激励转换成被测设计对象接口上的引脚信号跃变或者相反。而更高层次的事务处理器只
有事务级接口。事务处理器根据设计对象中所使用的协议来处理事务，被测设计对象所产生的响应从引脚信号的跃变转换回事
务级的响应形式。这样就可以做到在事务级上核对响应是否正确，检查出响应不相符的时候，就进一步在信号/引脚级上加以
查看，从而将错误定位出来。
2 VMM验证方法学
VMM是一种基于 SystemVerilog的验证方法学。它最大程序地利用了 SystemVerilog的面向对象编程的优点，通过一系列
机制提高了验证的生产率。
2.1层次化验证模型
VMM采用了易于验证重用的分层式测试平台结构。每一层即建立在其他层之上的又具有一定的独立性，使得验证平台在
不同的项目之间使用时，即使改变某一层的功能也不会影响其他层的重用，这样就大大提高了验证的重用性。
可以看出 VMM推荐的层次化验证平台从底至上被分成信号层、命令层、功能层、场景层以及测试层。其中的验证组件包
括发生器、代理、驱动器、监视器、检查器、记分板以及断言。
信号层包括待测设计DUT与接口。命令层在信号层之上，向下通过信号层接口与待测设计相连，向上通过事务级通道与
评论0