一种基于PLI和Simics的微处理器协同验证平台

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

【摘要】

：

面向微处理器验证,构建了一种基于Verilog PLI和Simics模拟器的微处理器验证平台.该平台通过Ver-ilog PLI,利用设计的控制模块将待测微处理器设计模型与Simics模拟器相连,协

【作者】

：

周文涛樊晓桠黄小平

【机构】

：

西北工业大学航空微电子中心

【出处】

：

微电子学与计算机

【发表日期】

：

2010年11期

【关键词】

：

微处理器验证 VERILOG PLI SIMICS microprocessor verification Verilog PLI Simics

【基金项目】

：

国家自然科学基金项目（60773223）

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

面向微处理器验证,构建了一种基于Verilog PLI和Simics模拟器的微处理器验证平台.该平台通过Ver-ilog PLI,利用设计的控制模块将待测微处理器设计模型与Simics模拟器相连,协同自动化比较运行结果.该平台应用在龙腾R处理器的验证中.结果显示该平台有效增加了验证人员对验证过程的可观测性和可控性,具有灵活性高,仿真速度快等特点.

其他文献

一种全差分增益自举运算放大器的设计

设计实现了一种具有高增益大带宽的全差分增益自举运算放大器,适用于高速高精度流水线模数转换器采保电路的应用.增益自举放大器的主放大器和子放大器均采用折叠共源共栅式全

期刊

全差分放大器增益自举折叠共源共栅采保电路fully differential operational amplifier boosted amplif

一种改进的Turbo码译码算法

针对已有Turbo码译码算法延迟长,存储空间需求大的问题,在对算法的计算单元、存储操作进行优化的基础上提出了一种新的状态度量归一化处理方法及基于分块的滑动窗算法,并构建

期刊

TURBO码分块并行滑动窗算法Turbo code parallel processing based on sub-blocks sliding w

一种能量感知无线传感器网络可靠协议研究

针对无线传感器网络协议中可靠性及能量有效性,提出能量感知的无线传感器网络可靠路由EARRP.EARRP通过本地节点选择、路径预留和路径延迟广播来减少由于路径不可达带来的重传

期刊

可靠性能量有效性路径预留reliability energy efficiency path reservation

阡阡陌陌数十载，诗文画景总怡情——钓鱼往事

北京，既古老深厚又现代时尚，华灯溢彩的长安街承载着古都600年的历史、在东长安街延长线的不远处．经受了500年风雨的八里桥正述说着老北京的记忆。

期刊

怡情诗文长安街老北京延长线述说

下调CK2α基因表达抑制肺腺癌A549细胞的增殖和凋亡

目的：探讨下调CK2α基因表达后对肺腺癌A549细胞的影响.方法：构建pSilencerTM4.1-shCK2α-eGFP慢病毒表达载体,建立稳定干扰CK2α表达的A549细胞株.利用MTT、克隆形成、凋亡实

期刊

肺腺癌酪蛋白激酶CK2α增殖凋亡lung adenocarcinomaprotein kinase CK2α proliferationapopt

第二届全国印刷行业职业技能大赛总闭幕式在京举行

2010年12月19日，由中华人民共和国新闻出版总署、人力资源和社会保障部主办，中国就业培训技术指导中心、中国印刷技术协会、中国报业协会承办的第二届全国印刷行业职业技能大赛

期刊

职业技能大赛印刷行业中国就业培训技术指导中心“全国技术能手”闭幕式中国印刷技术协会中华人民共和国新闻出版总署

本文采用SBM—Undesirable模型测度了中国30个省(市)2000—2010年的工业环境效率,并通过Moran's I统计量对其空间相关性进行了分析测算。结果表明,总体上,2000—2010年全

期刊

DEA环境效率SBM—Undesirable模型空间相关性MORANsIDEAenvironmental efficiencySBM—Unde

平行搜索算法求解约束问题

求解非线性方程组.运用数值方法求解,最普遍的是采用牛顿迭代法,当初值发生微小变动时,用这种方法求解可能会发散或者收敛到一个用户不想要的解.由于设计者在初始设计阶段的

期刊

约束求解单纯形搜索混沌算法constraint solving simplex method chaos algorithm

通用数据库性能测评系统的设计与实现

为了准确测评通用数据库的联机事务处理性能，基于国际通用的计算机系统性能测评标准TPC系列中的TPC-C标准，及开源测试工具dbt2，设计并实现了通用数据库性能测评系统．并应用该系统

期刊

通用数据库联机事务处理测评系统universal databases online transaction processing test syste

类模糊C均值聚类的关键帧提取算法

对比现有典型关键帧提取算法存在的缺陷,提出了一种类模糊C均值聚类的关键帧提取算法.该算法预先设定一个最初聚类中心,从而有效地减少了聚类算法的迭代次数;并使用视频帧序列的时序特征来对FCM算法进行限定,提高了聚类效率.实验结果表明,使用该算法提取的关键帧不仅可以充分表达出视频的主要内容,而且还可以根据内容的变化提取出适当数量的关键帧.

期刊

视频关键帧模糊C均值聚类video key frames fuzzy C-means clustering

一种基于PLI和Simics的微处理器协同验证平台

与本文相关的学术论文