一种可重用的SOC验证平台.pdfVIP

一种可重用的 SOC 验证平台∗ 杜宁，郑建宏 （重庆邮电大学，重庆） 摘要：本文介绍了基于事务的 RVM(reference verification method)验证方法学，以及利用RVM 验证方法学搭建可重用性高效验证平台，详细分析了常见 SOC（system on chip ）上 SD（secure digital ）模块的RTL （register transfer level ）级验证平台的搭建及其在系统级的重用，此验 证平台比传统验证平台在效率上大大提高，缩短了 SOC 的开发周期，加快了产品的面市时 间。 关键词：RVM； 可重用性； SOC ； 功能覆盖 中图法分类号：TN407 文献标识号：A A kind of reusable testbench for SOC verification Du Ning，Zheng Jian-hong (Chongqing university of posts and telecommunications，Chongqing) Abstract ： This article introduced a kind of methodology based on RVM(reference verification method) ，and how to set up a efficient verification testbench using this method。A RTL （register transfer level ）level testbench for SD （secure digital ）module on common SOC （system on chip ） was analysised in detail and set up ，and it also could be used in system-level testbench。The efficency of this testbench is greatly improved than traditional testbench ，and it can reduce time for SOC designing to accelerate time of facing market of product。 Key words ：RVM；reusable property；SOC；functional coverage 功能验证已经成为开发 SOC 的主要问题。SOC 采用基于 IP 的设计方法学，加快了产 品的面市时间，与此同时 SOC 也带来了更多的挑战。SOC 验证问题是其中的挑战之一。验 证在整个芯片设计中的投入是相当大的，大约占整个芯片设计的 70%，实现高效的功能验 证对芯片的一次流片成功起着至关重要的作用。 无论采用何种验证工具，其验证目的都是为了达到一定的功能覆盖，排除芯片设计中 的错误，区别是开发的验证平台的可重用性以及可维护性等。便于维护、重用的验证平台可 以节约宝贵时间，减少开发者在平台搭建过程中的工作量，加快 SOC 验证，有利于新产品 的面市。本文介绍 Synopsys 的 RVM 验证方法学，是采用 openvera 硬件验证语言建立目标 模型环境、激励自动生成、含错误指示的自核对式测试、覆盖状况分析能力[1] 。 RVM 验证方法学 Synopsys 提供的 RVM 是在 openvera 基础上，结合随机验证和覆盖率驱动技术发展起来 的一种基于事务的验证方法，适于对 SOC 某一模块的 RTL 级验证。显然可以直接利用 openvera 来实现对 SOC 某一模块的 RTL 验证，但对于协议复杂的模块，其重用性可维护性 大大降低。所谓事务是指被设计对象与事务处理器之间通过接口所做的一次数据或控制的传 输[2] 。事务可以是一次寄存器的读写这样的简单事务，也可以是具有一定比特个数且各比特 间有一定关系的复杂事务。基于事务的思想把验证提高到更高的抽象层次——事务层，使验 证不仅仅停留在信号级上，还提升到了事