OpenVera相关论文
文章讨论了基于OpenVera的功能验证平台的搭建方法,重点研究了如何挖掘OpenVera所支持的各种新技术和新功能,并与传统验证方法所搭......
首先介绍了RVM层次化验证方法学的基本思想和方法，将其与传统的芯片验证技术进行了对比，并进一步对基于RVM方法学的验证平台结构和各......
随着集成电路设计的复杂度越来越高,系统验证的难度也在不断地提高。为了能更有效地完成验证工作,需要采用先进的验证方法来构建高......
本文首先描述MMC卡(MultiMediaCard)的结构、管脚定义以及工作原理,然后介绍了基于OpenVera语言的RVM(Refer-ence Verification Me......
随着科技的发展，半导体工艺制程进入超深亚微米时代，在一个芯片上集成上百万甚至上亿个晶体管成为现实。当集成规模发展到可以将整个......
