国家自然科学基金(60603049) 作品数:16 被引量:52 H指数:4 相关作者: 沈海华 陈云霁 王剑 张瑾 胡伟武 更多>> 相关机构: 中国科学院 中国科学院研究生院 中国科学技术大学 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 北京市自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
龙芯2号原型系统北桥的设计与实现 被引量:4 2010年 针对龙芯2号原型系统中主要I/O数据通路上数据流的特点,设计并实现了一款适用于龙芯2号原型系统的北桥。在此北桥的设计中提出并实现了一种用于外部设备互连(PCI)主桥(PCI host bridge,PHB)的数据传输优化方法,这种方法通过自适应的写合并、PCI写数据及时收集重打包和采用固定开销的分阶段PCI读数据预取策略,提高了PCI主桥中数据传输的效率。实验结果表明,所设计的北桥可以充分的利用PCI总线带宽,并且在处理PCI总线上的直接内存访问(DMA)读数据流和处理器更新显卡显存的PCI写数据流时相对同类系统而言具有明显的性能优势。 蔡飞 沈海华 高翔关键词:龙芯 芯片组 使用支持向量机的微处理器验证向量优化方法 被引量:1 2010年 为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。利用训练后的分类器对于新产生的验证向量进行预测,并丢弃预测中不能提高覆盖率的冗余验证向量。实验数据表明该方法能准确地过滤冗余验证向量,提高仿真运行的验证向量的质量。和完全随机的验证向量生成方法相比,该方法达到相同的功能覆盖率仅需要前者1/3的验证向量。 王朋宇 郭崎 沈海华 陈云霁 张珩关键词:微处理器验证 仿真验证 一种向分支指令后插入冗余指令的容错微结构 被引量:3 2007年 随着深亚微米工艺的广泛应用,瞬态故障已成为芯片失效的主要原因.文中提出了一种向分支指令后插入冗余指令的容错微结构,利用分支误预测浪费的处理带宽,降低了冗余执行导致的性能损失.实验结果表明,该技术的性能损失在6%~31%之间,平均为21%,明显低于MBI技术而和DIE技术的性能损失相当.该技术能够检测流水线上各阶段发生的瞬态故障并能恢复处理器状态,故障检测延时短,需要的硬件开销也较小,非常适合提高带有简单预测机制的嵌入式微处理器的容错能力. 张仕健 胡伟武关键词:瞬态故障 时间冗余 容错 嵌入式微处理器 基于龙芯2F处理器的硬件验证平台的设计与实现 被引量:6 2009年 针对高性能处理器龙芯2F的逻辑验证和性能测试,本文设计和实现了一套硬件验证平台环境,既能验证处理器流片前的逻辑功能,也能测试处理器流片后的性能指标。实验结果表明,本文设计的硬件验证平台能够有效验证龙芯2F处理器的各项功能和性能指标。 张瑾 王剑关键词:龙芯2F 逻辑验证 覆盖率驱动的随机测试生成技术综述 被引量:22 2009年 随机测试生成技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一,其目标是通过覆盖率指导测试向量生成,减少重复测试向量,加速验证的收敛过程,提高验证的自动化程度和效率.文中全面综述了覆盖率驱动的随机测试生成技术的发展历程、研究现状和技术分类,并结合具体实例对各种方法及其面临的主要问题进行了讨论、评价和总结. 沈海华 卫文丽 陈云霁关键词:VLSI IP可重用的AMBA AXI总线验证平台设计与实现 被引量:10 2008年 总线结构和互联是SoC设计的核心,因此基于总线的验证成为SoC功能验证的重点和难点。针对AMBA AXI总线的特点以及验证平台可重用性的要求,提出了一种基于IP可重用的、层次化的AMBAAXI总线协议的验证架构,并给出了该架构下激励生成、自检测及覆盖率分析机制。实验结果表明,该架构适用于各种基于AXI总线结构的IP和SoC的验证,能达到较理想的覆盖率,并且具有很好的收敛性。 侯秋菊 沈海华关键词:系统集成芯片 总线功能模型 断言 代码覆盖率 龙芯3A处理器封装的散热设计 2009年 随着处理器的性能越来越高,处理器的功耗和温度也随之攀升,这就对处理器的封装提出了更高的要求。本文针对龙芯3A高性能处理器对封装的散热问题,根据成熟的工艺水平选择了FC-BGA封装形式,并对散热和外加散热措施的方法进行了分析和研究。实验模拟结果表明,FC-BGA的封装形式完全能满足龙芯3A处理器对封装散热的要求。 张瑾 王剑关键词:龙芯3A 封装 散热 Chip Multithreaded Consistency Model 2008年 多线程的技术是高效处理器的发展中的趋势。记忆一致性模型对多线程处理器的正确性,表演和复杂性必要。薄片多线程一致性模型适应多线程处理器在这篇论文被建议。在存储器事件由芯片命令多线程的一致性被介绍并且形式化上强加的限制。与胡维武造的批评周期的想法,我们证明建议薄片多线程一致性模型满足顺序一致性模型的正确执行的标准。芯片多线程的一致性模型提供与顺序一致性模型相比完成高效的一个方法并且保证在多线程处理器的执行结果与在单处理机的执行结果一样的软件的相容性。在 Godson-2 SMT 处理器的多线程的一致性模型也是的薄片的实现策略求婚了。Godson-2 SMT 处理器支持基于每个线程的顺序的存储器存取队列由异常计划正确地削多线程的一致性模型。电子增补材料这篇文章(doi:10.1007/s11390-008-9132-0 ) 的联机版本包含增补材料,它对授权用户可得到。 李祖松 郇丹丹 胡伟武 唐志敏关键词:计算机 计算方法 内存 多进程 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. 马麟 杨旭 钟石强 陈云霁关键词:内容可寻址存储器 物理故障 分子物理 基于覆盖率模型的AMBA接口随机验证方法 2008年 AMBA协议是主流SoC(system-on-chip)片上总线的事实标准。结合龙芯1号AHB接口的验证,介绍了基于覆盖率模型的AMBA接口随机验证的系统架构,提出了AHB协议模型的定义方法,采用约束化随机向量对目标空间产生强化测试。该方法迅速定位了接口设计中隐蔽的问题,最终达到了100%的功能覆盖率。该方法能够有效地保证接口设计的质量,对互连协议的验证具有普适意义。 许彤 吕涛关键词:片上系统