基于AHB总线接口的可重用性验证环境的实现

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户：mustang2001

【摘要】

：

文中提出了一种基于AHB总线接口的可重用性验证环境的实现方法.该方法是基于Verisity的eRM（eReused Methodology）,通过增加配置的环境变量和eVC文件,并利用脚本自动化生成验证

【作者】

：

文良靳荣利吴龙胜刘佑宝

【机构】

：

西安微电子技术研究所

【出处】

：

微电子学与计算机

【发表日期】

：

2011年7期

【关键词】

：

SOC验证 AHB总线 EVC 验证环境重用 SOC verification AHB bus eVC reused verification envir

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

文中提出了一种基于AHB总线接口的可重用性验证环境的实现方法.该方法是基于Verisity的eRM（eReused Methodology）,通过增加配置的环境变量和eVC文件,并利用脚本自动化生成验证的基本框架,在验证不同的设计时只需根据实际协议扩展该基本验证环境框架即可.实现了各种基于AHB总线接口的验证环境的可重用性,提高了验证效率.

其他文献

异构多核处理器分支预测器研究与设计

为解决单核处理器时钟频率难以提高、处理器功耗逐渐增加等问题，文中提出了一种新型异构多核处理器的设计方案．该结构中增加了B--Cache结构和C--Core控制器，这种新型异构多核处

期刊

异构多核处理器B--Cache动态指令发射CMP B-Cache dynamic instruction issue

基于TMS320F2812的烟支重量实时检测及调控系统

针对PASSIM7K型高速卷烟机的烟支重量控制系统的电路结构复杂，稳定性差，以及检测和调整相对滞后的问题，设计了以TI公司的TMS320F2812型DSP芯片为核心的实时检测调控系统．介绍了新

期刊

TMS320F2812重量实时检测重量调控紧头调整TMS320F2812 weight real-time detection weight adj

一种基于场景匹配的可信构件选择方法

为了提高Internet环境下构件选择的有效性,提出一种将场景匹配技术应用于构件选择的方法.首先,结合Internet环境的特点,将构件的可信性划分为可靠性、可用性和时效性,建立起

期刊

构件场景匹配可信评估构件选择component scene matching credibility evaluation component c

MEEMD特征掌纹的2DPCA识别方法

为了提高识别率,提出了基于MEEMD和2DPCA的掌纹识别方法.利用MEEMD技术对掌纹图像进行分解,得到本征模式函数(IMF)分量,用高频分量重构掌纹图像,形成掌纹识别图像集.然后利用2DPCA技术进行识别.MEEMD重构掌纹能够突出掌纹细节特征,提高识别率.采用香港理工大学掌纹数据库进行实验,将此方法与不包含MEEMD的2DPCA方法进行比较,实验结果说明此方法有较高的识别率和较快的识别速度.

期刊

多维集合经验模态分解(MEEMD)二维主成分分析(2DPCA)掌纹本征模式函数(IMF)MEEMD 2DPCA palmprints IMF

基于AHB总线接口的可重用性验证环境的实现

其他学术论文