您的位置: 专家智库 > >

国家高技术研究发展计划(2007AA01Z112)

作品数:4 被引量:27H指数:2
相关作者:沈海华陈云霁卫文丽高翔蔡飞更多>>
相关机构:中国科学院中国科学院研究生院更多>>
发文基金:北京市自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 4篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 2篇处理器
  • 1篇多核
  • 1篇多核处理
  • 1篇多核处理器
  • 1篇寻址
  • 1篇一致性
  • 1篇支持向量
  • 1篇支持向量机
  • 1篇内容可寻址存...
  • 1篇片上多核处理...
  • 1篇微处理器
  • 1篇微处理器验证
  • 1篇物理故障
  • 1篇向量
  • 1篇向量机
  • 1篇芯片组
  • 1篇龙芯
  • 1篇龙芯2号
  • 1篇可寻址
  • 1篇仿真

机构

  • 4篇中国科学院
  • 3篇中国科学院研...
  • 1篇中国科学院大...

作者

  • 3篇沈海华
  • 2篇陈云霁
  • 1篇曹非
  • 1篇郭崎
  • 1篇蔡飞
  • 1篇张珩
  • 1篇卫文丽
  • 1篇高翔
  • 1篇王朋宇

传媒

  • 2篇高技术通讯
  • 1篇Journa...
  • 1篇计算机辅助设...

年份

  • 2篇2010
  • 3篇2009
4 条 记 录,以下是 1-5
排序方式:
龙芯2号原型系统北桥的设计与实现被引量:4
2010年
针对龙芯2号原型系统中主要I/O数据通路上数据流的特点,设计并实现了一款适用于龙芯2号原型系统的北桥。在此北桥的设计中提出并实现了一种用于外部设备互连(PCI)主桥(PCI host bridge,PHB)的数据传输优化方法,这种方法通过自适应的写合并、PCI写数据及时收集重打包和采用固定开销的分阶段PCI读数据预取策略,提高了PCI主桥中数据传输的效率。实验结果表明,所设计的北桥可以充分的利用PCI总线带宽,并且在处理PCI总线上的直接内存访问(DMA)读数据流和处理器更新显卡显存的PCI写数据流时相对同类系统而言具有明显的性能优势。
蔡飞沈海华高翔
关键词:龙芯芯片组
使用支持向量机的微处理器验证向量优化方法被引量:1
2010年
为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。利用训练后的分类器对于新产生的验证向量进行预测,并丢弃预测中不能提高覆盖率的冗余验证向量。实验数据表明该方法能准确地过滤冗余验证向量,提高仿真运行的验证向量的质量。和完全随机的验证向量生成方法相比,该方法达到相同的功能覆盖率仅需要前者1/3的验证向量。
王朋宇郭崎沈海华陈云霁张珩
关键词:微处理器验证仿真验证
覆盖率驱动的随机测试生成技术综述被引量:22
2009年
随机测试生成技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一,其目标是通过覆盖率指导测试向量生成,减少重复测试向量,加速验证的收敛过程,提高验证的自动化程度和效率.文中全面综述了覆盖率驱动的随机测试生成技术的发展历程、研究现状和技术分类,并结合具体实例对各种方法及其面临的主要问题进行了讨论、评价和总结.
沈海华卫文丽陈云霁
关键词:VLSI
Testing content addressable memories with physical fault models
2009年
Content addressable memory (CAM) is widely used and its tests mostly use functional fault models. However, functional fault models cannot describe some physical faults exactly. This paper introduces physical fault models for write-only CAM. Two test algorithms which can cover 100% targeted physical faults are also proposed. The algorithm for a CAM module with N-bit match output signal needs only 2N+2L+4 comparison operations and 5N writing operations, where N is the number of words and L is the word length. The algorithm for a HIT-signal-only CAM module uses 2N+2L+5 comparison operations and 8N writing operations. Compared to previous work, the proposed algorithms can test more physical faults with a few more operations. An experiment on a test chip shows the effectiveness and efficiency of the proposed physical fault models and algorithms.
马麟杨旭钟石强陈云霁
关键词:内容可寻址存储器物理故障分子物理
环连接CMP的缓存一致性协议
片上多核处理器(CMP)已经成为处理器发展的方向,处理器设计的重点也转到了互连网络和存储层次结构方面,其中的一个关键问题是如何维护各处理器各级缓存(Cache)的一致性,该问题在传统的共享存储多处理器中使用Cache一致...
曹非刘志勇
关键词:片上多核处理器CACHE一致性协议
文献传递
共1页<1>
聚类工具0