论文部分内容阅读
本文介绍了应用RVM方法学搭建分层式验证平台,并阐述了基于RVM方法学的覆盖率驱动技术。这两种技术的应用帮助验证工程师提高验证效率并能确保验证的完备性。
分层式验证平台及覆盖率技术在SOC上的应用
【摘 要】
：
本文介绍了应用RVM方法学搭建分层式验证平台,并阐述了基于RVM方法学的覆盖率驱动技术。这两种技术的应用帮助验证工程师提高验证效率并能确保验证的完备性。
【机 构】
：
重庆邮电大学
【出 处】
：
北京电子科技学院学报
【发表日期】
：
2007年2期
其他文献
专业外语学困生智力正常，但在外语听、说、读、写、译某几个或所有方面学习效果欠佳，自卑、厌学。外语学习过程中，学习者个人的非智力因素在相当程度上影响学习效果，如自我效能信
<正>一、课题的提出(一)研究背景。语言是人际交流和思想传播最重要的工具,当今社会生活和经济活动的日益全球化使英语成为我国与国际交流的重要桥梁,成为我国公民必备的一种
会议
通过对<大学英语教学大纲>(1999修订)和<大学英语课程要求>(试行)进行对比,总结出后者相对于前者所做的修改和提出的更高要求.在此基础上探讨新的大学英语课程教学大纲的变化
电子商务的快速发展使得企业对电子商务人才的需求不断增加,但高职电子商务专业学生的就业情况却不太理想。为将学生培养成为与职业岗位能力匹配的高素质技能型人才,必须创新
本文提出了一种用于印刷域商标防伪的水印算法。这是一种空域水印算法。水印的产生过程中，对水印信息进行了简单而有效的复制处理，有效地克服了印刷扫描过程所带来的高频噪声和
作为工程机械行业的一支新劲旅，恒天九五是央企中国恒天集团有限公司所属企业，是国家重点支持的，以设计、生产、销售工程机械、新型纺织机械和新材料装备为主业的高新技术企业。
“和平列车-2019”医疗队在老挝万象参加了以泥石流灾害人道主义医学救援为背景的中国—老挝联合演训,演训活动中分类后送组出色完成了水上伤员前接、批量伤员的检伤分类、伤
本文给出了时延约束组播路由问题的数学模型,提出了一种分布式、收敛快、支持动态组播的时延约束组播路由算法--DMPH(Delay-constrained Minimal-cost Path Heuristic),分析
在高等职业院校计算机应用技术专业所开设的多门专业课中，《数据结构》是一门非常重要的核心课程，也是一门比较难学的理论基础课程．因此，有必要对该课程的教学方法、教学过程进行
本文通过分析263电子邮件客户端软件的安全漏洞,揭示了该软件在用户信件安全方面的脆弱性.