基于OpenVera搭建MMC卡验证模型

作     者：董杨鑫 郑建宏 DONG YANGXING;ZHEN JIANHONG

作者机构：重庆邮电大学通信与信息工程学院重庆400065 

基　　金：国家"863"基金项目(TD-SCDMA手机关键技术的研究与应用)(2004AA001390) 

出 版 物：《微计算机信息》 (Control & Automation)

年 卷 期：2008年第24卷第8期

页      码：300-301,304页

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

主 题 词：MMC卡 OpenVera RVM 验证模型 

学科分类：08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1008-0570.2008.08.122

馆 藏 号：203100011...