RVM随机验证中的三个关键点及其应用

摘要：

本文首先分析了传统验证方法的不足和使用RVM随机验证的原因,指出了RVM随机验证的3个关键点,接着介绍了RVM随机验证方法学的主要特征和一些重要术语,以及RVM验证方法学中层次化验证的结构.最后,结合UART(通用异步收发报机)实例,对3个关键点进行了详细的阐述.本文主要介绍了在搭建高效验证平台时,需要认真分析和详细设计的3个关键点,平台搭建方法是RVM参考验证方法学.通过本文的论述,在进行芯片验证时,只要设计好了这3个关键点就可以保证验证的快速和高效.

关键词：RVM、测试平台、功能覆盖、随机验证、断言

分类号：TN407(微电子学、集成电路（IC）)

在线出版日期：2008-05-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：85-89