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

作     者：赵卫杰 郑建宏 Zhao Weijie;Zheng Jianhong

作者机构：重庆邮电大学重邮信科集团股份有限公司重庆400065 

出 版 物：《电子测试》 (Electronic Test)

年 卷 期：2008年第19卷第2期

页      码：85-89页

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

主 题 词：RVM 测试平台 功能覆盖 随机验证 断言 

学科分类：080903[080903] 0809[工学-计算机类] 08[工学] 

D　O　I：10.3969/j.issn.1000-8519.2008.02.021

馆 藏 号：203141846...