基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
在微处理器功能验证中,由于高速缓存(Cache)是软件(即测试程序)不可见的,对其进行芯片级验证难以获得高的可控制性(测试场景构造)和可观测性(验证结果检测).基于此,提出通过验证平台调用的方法,为软件提供服务和管理Cache,构造测试场景.采样由Cache引起的微处理器系统总线行为检测验证结果.实验结果表明,该方法方便测试程序开发,减少验证时间.
推荐文章
微处理器功能验证方法研究
微处理器
功能验证
模拟
形式验证
"龙腾"R2微处理器Cache单元的设计与实现
高速缓冲存储器
一级Cache
二级Cache
Cache一致性
微处理器仿真技术研究
微处理器
仿真
验证
基于虚拟机的兼容微处理器功能验证平台
微处理器
功能验证
仿真
兼容指令集
虚拟机
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 微处理器Cache的验证方法研究
来源期刊 计算机工程 学科 工学
关键词 高速缓存 芯片级验证 验证平台调用 验证库 监视器 指令集模拟器
年,卷(期) 2010,(16) 所属期刊栏目
研究方向 页码范围 273-275
页数 分类号 TP391
字数 2737字 语种 中文
DOI 10.3969/j.issn.1000-3428.2010.16.097
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 章建雄 12 71 6.0 7.0
2 龚令侃 5 20 3.0 4.0
3 李智 2 6 1.0 2.0
4 李怡 1 6 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (1)
节点文献
引证文献  (6)
同被引文献  (0)
二级引证文献  (1)
2002(1)
  • 参考文献(1)
  • 二级参考文献(0)
2010(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
2012(3)
  • 引证文献(3)
  • 二级引证文献(0)
2015(1)
  • 引证文献(1)
  • 二级引证文献(0)
2017(1)
  • 引证文献(1)
  • 二级引证文献(0)
2019(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
高速缓存
芯片级验证
验证平台调用
验证库
监视器
指令集模拟器
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程
月刊
1000-3428
31-1289/TP
大16开
上海市桂林路418号
4-310
1975
chi
出版文献量(篇)
31987
总下载数(次)
53
总被引数(次)
317027
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导