咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 3 篇 指令集验证
  • 1 篇 人工神经网络
  • 1 篇 随机测试程序生成
  • 1 篇 verilog
  • 1 篇 伪随机
  • 1 篇 微处理器
  • 1 篇 验证库
  • 1 篇 流处理器
  • 1 篇 system
  • 1 篇 现场可编程门阵列...
  • 1 篇 覆盖率

机构

  • 1 篇 上海交通大学
  • 1 篇 华东计算技术研究...
  • 1 篇 西北工业大学

作者

  • 1 篇 王玉艳
  • 1 篇 孙立超
  • 1 篇 龚令侃
  • 1 篇 毛志刚
  • 1 篇 章建雄
  • 1 篇 樊晓桠
  • 1 篇 张萌
  • 1 篇 张振军
  • 1 篇 白龙飞

语言

  • 3 篇 中文
检索条件"主题词=指令集验证"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于验证库的微处理器指令集验证方法
收藏
分享
引用
计算机工程 2009年 第3期35卷 86-88页
作者： 龚令侃 王玉艳 章建雄 华东计算技术研究所 上海200233
指令集作为微处理器软件和硬件的分界线在计算机体系结构中占有重要地位。测试程序自动生成(RTPG)是微处理器指令集验证的主要方法之一。该文比较目前主流的RTPG技术和验证策略,提出基于验证库的随机测试程序生成工具。使用通用脚本语... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
龙腾Stream流处理器验证
收藏
分享
引用
计算机工程与应用 2013年 第15期49卷 65-69页
作者： 白龙飞 樊晓桠 张萌 孙立超 西北工业大学计算机学院 西安710129
芯片设计复杂度的提高迫切地需要先进的方法学以应对巨大的验证工作量。通过开发基于System Verilog的覆盖率驱动的自动化验证平台,对龙腾Stream流处理器的指令集进行了功能验证。实验结果表明,该验证平台提高了验证效率和功能覆盖率,... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于伪随机的微处理器验证方法及改进
收藏
分享
引用
信息技术 2008年 第10期32卷 59-61页
作者： 张振军 毛志刚 上海交通大学微电子学院 上海200240
处理器验证是验证工作中最重要也是时间开销最大的部分。文中提出了一种基于仿真的微处理器验证方法,以伪随机算法为主自动生成测试向量,实现了验证的自动化和验证环境的可重用性。并在此基础上引入神经网络算法,提高了整个验证过程的... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件