您的位置： 专家智库 > >

赵跃辉

作品数：6 被引量：0H指数：0
供职机构：中国科学院计算技术研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 6篇中文专利

领域

  • 2篇自动化与计算...

主题

  • 2篇电路
  • 2篇电路设计
  • 2篇断言
  • 2篇多核
  • 2篇多核处理
  • 2篇多核处理器
  • 2篇硬件
  • 2篇指向
  • 2篇时间信息
  • 2篇索引
  • 2篇网表
  • 2篇向量
  • 2篇芯片
  • 2篇芯片验证
  • 2篇逻辑模块
  • 2篇模拟仿真
  • 2篇模拟器
  • 2篇内存
  • 2篇缓冲器
  • 2篇集成电路

机构

  • 6篇中国科学院

作者

  • 6篇沈海华
  • 6篇赵跃辉

年份

  • 3篇2018
  • 3篇2016
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
用于硅后芯片验证的断言检测装置、方法、系统、芯片
本发明提出用于硅后芯片验证的断言检测装置、方法、系统、芯片，涉及超大规模集成电路设计验证领域，该装置包括断言触发逻辑模块，用于触发断言检测；综合模块，用于将所述硅后芯片中待验证RTL级综合为门级网表；反馈计数器电路模块，...
沈海华赵跃辉
一种面向间接跳转分支预测的分支目标缓冲器及设计方法
本发明提出一种面向间接跳转分支预测的分支目标缓冲器及设计方法，该方法包括在分支目标缓冲器中，对于间接跳转的分支指令，如果跳转目的地址来源于预先存储到寄存器或内存的值，则在分支目标缓冲器对应项跳转目的地址中添加指向二级硬件...
沈海华赵跃辉吴博雅
文献传递
一种支持精确访存检测的多核处理器随机验证方法及装置
本发明提出一种支持精确访存检测的多核处理器随机验证方法及其装置，该方法包括步骤1，将待验证的多核处理器中的用户约束与指令库相结合，生成存在访存冲突的并行程序作为验证向量；运行验证向量，记录验证向量的执行结果及访存操作的时...
沈海华赵跃辉谭华哲
文献传递
用于硅后芯片验证的断言检测装置、方法、系统、芯片
本发明提出用于硅后芯片验证的断言检测装置、方法、系统、芯片，涉及超大规模集成电路设计验证领域，该装置包括断言触发逻辑模块，用于触发断言检测；综合模块，用于将所述硅后芯片中待验证RTL级综合为门级网表；反馈计数器电路模块，...
沈海华赵跃辉
文献传递
一种支持精确访存检测的多核处理器随机验证方法及装置
本发明提出一种支持精确访存检测的多核处理器随机验证方法及其装置，该方法包括步骤1，将待验证的多核处理器中的用户约束与指令库相结合，生成存在访存冲突的并行程序作为验证向量；运行验证向量，记录验证向量的执行结果及访存操作的时...
沈海华赵跃辉谭华哲
文献传递
一种面向间接跳转分支预测的分支目标缓冲器及设计方法
本发明提出一种面向间接跳转分支预测的分支目标缓冲器及设计方法，该方法包括在分支目标缓冲器中，对于间接跳转的分支指令，如果跳转目的地址来源于预先存储到寄存器或内存的值，则在分支目标缓冲器对应项跳转目的地址中添加指向二级硬件...
沈海华赵跃辉吴博雅
全选 清除 导出
共1页<1>
聚类工具0