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