基于OpenVera搭建MMC卡验证模型

本文首先描述MMC卡(MultiMediaCard)的结构、管脚定义以及工作原理,然后介绍了基于OpenVera语言的RVM(Refer-ence Verification Methodology,参考验证方法)芯片设计验证方法学,最后讨论基于OpenVera语言的MMC卡验证模型的建立,并详细分析了该验证模型的各个部分。

高性能验证平台设计与搭建

随着集成电路设计的复杂度越来越高,系统验证的难度也在不断地提高。为了能更有效地完成验证工作,需要采用先进的验证方法来构建高性能验证平台。本文介绍的项目中,采用了多种先进验证技术,使用RVM分层结构,混合验证语言,集成多种验证IP,构建了一个存储系统的高效验证平台,探索了复杂系统验证平台设计与搭建之路。

RVM层次化验证方法研究及其应用

首先介绍了RVM层次化验证方法学的基本思想和方法,将其与传统的芯片验证技术进行了对比,并进一步对基于RVM方法学的验证平台结构和各个组成模块进行了详细的介绍。最后以IIC模块为例对RVM验证平台的搭建进行了具体说明,并给出了仿真波形。

基于Open Vera的IIC总线接口功能验证平台的搭建

文章讨论了基于Open Vera的功能验证平台的搭建方法,重点研究了如何挖掘Open Vera所支持的各种新技术和新功能,并与传统验证方法所搭建的验证平台进行了性能比较;表明该硬件验证语言的优势,对验证IP(VIP:Verification IP)的编写有一定的借鉴意义。