论文部分内容阅读
为了缩短SoC项目开发中前端验证的时间,实现自动化的可重用性验证环境平台,采用了eRM验证方法学,通过Sequence,BFM,Monitor,Scoreboard,Coverage等验证组件来实现此验证平台,并给出了基于此平台的一个应用实例,极大地提高了验证的效率和功能覆盖率。
基于eRM建立自动化的验证平台
【摘 要】
：
为了缩短SoC项目开发中前端验证的时间,实现自动化的可重用性验证环境平台,采用了eRM验证方法学,通过Sequence,BFM,Monitor,Scoreboard,Coverage等验证组件来实现此验证平台,
【机 构】
：
西安微电子技术研究所
【出 处】
：
现代电子技术
【发表日期】
：
2011年12期
其他文献
目的探讨白血病性阴茎异常勃起的诊断及治疗。方法回顾1例白血病性阴茎异常勃起患者的临床资料并复习相关文献。结果阴茎异常勃起由慢性粒细胞白血病所致,经白细胞分离、化疗
离散数学课程是计算机专业核心基础课，离散数学课程学习的好坏直接影响其后续课程的学习（如数据结构、编译理论、算法分析和自动机理论等），因此提高离散数学课程的教学质量，具有重
高职院校学生干部是高职院校学生日常管理工作的重要组成部分，是学生实现自我管理、自我教育和自我服务的集中体现，是高职院校教师与学生之间相互联系、相互沟通的纽带与桥梁。
目的通过监测血清β-HCG与孕酮水平,探讨其在诊断早期异常妊娠的临床价值。方法将我院收治的318例早期异常妊娠患者按照妊娠结局类型分为先兆流产组136例、难免流产组104例和
高职物联网应用技术专业校企合作共建共享实训室可以实现校、企、生三赢，一是学校可以降低实训室建设成本，显著提升学校的专业人才培养质量；二是企业利用实训室进行生产、宣传、
第八届中国国际中小企业博览会暨中泰中小企业博览会于9月25日在广州闭幕。工业和信息化部在博览会上正式发布了《“十二五”中小企业成长规划》（以下简称《规划》）。该规划为
目的探讨巨大囊变脑膜瘤的MRI表现,以提高鉴别诊断水平。方法收集经手术病理证实的30例巨大囊变脑膜瘤且术前均误诊为胶质瘤的患者,回顾性分析其临床及MRI平扫和增强扫描检查
通过理论分析，CaCl2与NaHCO3溶液混合也能产生沉淀，是因为碳酸氢根离子HCO3-的解离而产生了足量的碳酸根离子CO32-所致。进一步分析结果显示，Ca（HCO3）2溶液不产生沉淀的条件是其溶
在全业务迅猛开展的时期,通过比较两种全业务接入层主干光缆网络结构,得出各自的适用场景,结合各自的适用场景的基础上根据网络现状、管线资源、用户分布等因素,制定合理的方
PE模型已经被广泛地应用于电波传播特性预测技术的研究，并成为解决电波传播问题的主要工具。通过对抛物方程推导过程中由于对伪微分算子Q的处理而产生的误差进行分析，表明PE模