论文部分内容阅读
首先介绍了RVM层次化验证方法学的基本思想和方法，将其与传统的芯片验证技术进行了对比，并进一步对基于RVM方法学的验证平台结构和各个组成模块进行了详细的介绍。最后以ⅡC模块为例对RVM验证平台的搭建进行了具体说明，并给出了仿真波形。
RVM层次化验证方法研究及其应用
【摘 要】
：
首先介绍了RVM层次化验证方法学的基本思想和方法，将其与传统的芯片验证技术进行了对比，并进一步对基于RVM方法学的验证平台结构和各个组成模块进行了详细的介绍。最后以ⅡC模
【机 构】
：
重庆邮电大学
【出 处】
：
电子质量
【发表日期】
：
2008年7期
其他文献
介绍了三类客观视频质量评估方法的基本概念和实现方法；在此基础上，提出了一种基于H．264视频压缩算法的无参考评估的特征提取方法，并进行了实验论证，证明该方法能够有效结合编码算
通过分析当前国内企业现状，阐述了建立主动知识辅助系统的必要性，并以汽车球头销的ANSYS有限元分析为例，设计了系统总体架构，最后从功能实现的角度论述了整个主动知识辅助系统的
介绍了基于ARM920T核的三星公司生产的s3c2410芯片的炉温控制系统的设计,对系统的基本构成与工作原理进行了研究、给出了部分硬件电路图、简要介绍了Linux操作系统移植的过程。
介绍电子式多功能电能表在安装及使用过程中问题的分析及处理措施。