文献检索-宁波市创意产业特色资源库

限定检索结果

检索条件"主题词=openvera"

共 2 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

视图：

排序：

基于openvera搭建MMC卡验证模型: 收藏
分享
引用; 《微计算机信息》2008年第8期24卷 300-301,304页; 作者：董杨鑫郑建宏重庆邮电大学通信与信息工程学院重庆400065; 本文首先描述MMC卡(MultiMediaCard)的结构、管脚定义以及工作原理,然后介绍了基于openvera语言的RVM(Refer-ence Verification Methodology,参考验证方法)芯片设计验证方法学,最后讨论基于openvera语言的MMC卡验证模型的建立,并详细分...; 本文首先描述MMC卡(MultiMediaCard)的结构、管脚定义以及工作原理,然后介绍了基于openvera语言的RVM(Refer-ence Verification Methodology,参考验证方法)芯片设计验证方法学,最后讨论基于openvera语言的MMC卡验证模型的建立,并详细分析了该验证模型的各个部分。; 来源：详细信息评论

高性能验证平台设计与搭建: 收藏
分享
引用; 《电子器件》2008年第6期31卷 1819-1821页; 作者：宋秀兰吴晓波中国科学院微电子研究所杭州分部杭州310053; 随着集成电路设计的复杂度越来越高,系统验证的难度也在不断地提高。为了能更有效地完成验证工作,需要采用先进的验证方法来构建高性能验证平台。本文介绍的项目中,采用了多种先进验证技术,使用RVM分层结构,混合验证语言,集成多种验证IP...; 随着集成电路设计的复杂度越来越高,系统验证的难度也在不断地提高。为了能更有效地完成验证工作,需要采用先进的验证方法来构建高性能验证平台。本文介绍的项目中,采用了多种先进验证技术,使用RVM分层结构,混合验证语言,集成多种验证IP,构建了一个存储系统的高效验证平台,探索了复杂系统验证平台设计与搭建之路。; 来源：详细信息评论

全选清除本页清除全部题录导出标记到“检索档案”

共1页<< <1> >>

聚类工具回到顶部