北京市自然科学基金(4072024)

作品数：19被引量：60H指数：4
导出分析报告
相关作者：沈海华王剑胡伟武章隆兵卫文丽更多>>
相关机构：中国科学院中国科学院研究生院中国科学技术大学更多>>
相关期刊：《电子学报》《计算机辅助设计与图形学学报》《Journal of Computer Science & Technology》《计算机学报》更多>>
相关主题：PCI芯片组瞬态故障龙芯性能分析更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于流水思想的虚拟网络广多播优化策略
《计算机工程》2011年第3期87-89,92,共4页闫超 王光旭 刘明 
北京市自然科学基金资助项目(4072024)
对TCP/IP协议中的链路层广播、多播应用以及多处理器环境中基于共享内存的虚拟网络设备的实现进行分析。对比以太网和基于共享内存的虚拟网络条件下实现广播、组播时物理层及数据链路层的不同。分析VxWorks操作系统中基于共享内存的虚...
关键词：广多播 共享内存 虚拟网络 VXWORKS操作系统 流水 
浮点乘加部件的自动化形式验证被引量：1
《计算机研究与发展》2010年第S1期262-267,共6页陈博文 郭琦 沈海华 
国家"九七三"重点基础研究发展计划基金项目(2005CB321600);国家"八六三"高技术研究发展计划基金项目(2008AA110901);国家自然科学基金项目(60803029;60736012;60921002);北京市自然科学基金项目(4072024);国家"核高基"科技重大专项课题基金项目(2009ZX01029-001-003;2009ZX01028-002-003)
浮点运算部件的功能验证是处理器设计验证中重要的一环.相对于传统的模拟仿真方法,形式化方法具有验证完备且时间短的优点.给出了一种浮点乘加部件的形式化验证方法.该方法基于BDD和*PHDD,将设计分为3部分多种情况分别验证.其优点在于...
关键词：形式化验证 运算电路 乘加部件 BDD *PHDD 
龙芯2号原型系统北桥的设计与实现被引量：4
《高技术通讯》2010年第1期61-67,共7页蔡飞 沈海华 高翔 
973计划(2005CB321600);国家自然科学基金(60603049);863计划(2007AA01Z112);北京市自然科学基金(4072024)资助项目
针对龙芯2号原型系统中主要I/O数据通路上数据流的特点,设计并实现了一款适用于龙芯2号原型系统的北桥。在此北桥的设计中提出并实现了一种用于外部设备互连(PCI)主桥(PCI host bridge,PHB)的数据传输优化方法,这种方法通过自适应的写...
关键词：北桥 龙芯 芯片组 外部设备互连(PCI) PCI主桥(PHB) 
使用支持向量机的微处理器验证向量优化方法被引量：1
《高技术通讯》2010年第1期68-74,共7页王朋宇 郭崎 沈海华 陈云霁 张珩 
国家自然科学基金(60603049,60673146);863计划(2007AA01Z112,2008AA110901);973计划(2005CB321600);北京市自然科学基金(4072024)资助项目
为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。...
关键词：支持向量机(SVM) 功能覆盖率模型 微处理器验证 仿真验证 验证向量优化 
基于遗传算法的全芯片级覆盖率驱动随机验证技术被引量：5
《计算机研究与发展》2009年第10期1612-1625,共14页沈海华 王朋宇 卫文丽 郭崎 
国家"九七三"重点基础研究发展计划基金项目(2005CB321600);国家"八六三"高技术研究发展计划基金项目(2008AA110901;2007AA01Z112);国家自然科学基金项目(60603049;60803029);北京市自然科学基金项目(4072024)~~
随机测试生成技术是当今大规模集成电路仿真验证流程中的重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点.遗传算法具有部分优化问题的黑盒特性,不需要了解问题的太多先验知识,适合处理黑盒优化问题.因此,将遗传算法...
关键词：验证 大规模集成电路 随机测试生成 覆盖率驱动的测试生成 遗传算法 
Testing content addressable memories with physical fault models
《Journal of Semiconductors》2009年第8期109-115,共7页马麟 杨旭 钟石强 陈云霁 
supported by the National Natural Science Foundation of China (No.60603049);the National High Technology Research and Development Program of China (Nos.2008AA110901,2007AA01Z112,2009AA01Z125);the State Key Development Program for Basic Research of China (No.2005CB321600);the Beijing Natural Science Foundation (No.4072024)
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 m...
关键词：content addressable memory test algorithm physical fault model 
基于龙芯处理器的二进制翻译器优化被引量：14
《计算机工程》2009年第7期280-282,共3页蔡嵩松 刘奇 王剑 刘金刚 
国家“973”计划基金资助项目“可扩展、可重构片上并行体系结构与原型芯片设计”(2005CB321601);国家“863”计划基金资助重点项目“低成本先进计算机单机”(2006AA010201);国家“863”计划基金资助重点项目“大规模片上多处理器高性能存储系统研究”(2007AA01Z114);国家自然科学基金资助项目“共享二级Cache的片上多处理器Cache块分布技术研究”(60703017);国家自然科学基金资助项目“高性能片上存储系统”(60736012);国家自然科学基金资助项目“资源有效的单片多处理器结构研究”(60673146);北京市自然科学基金资助项目“一种创新的同时多个微线程处理器关键技术研究”(4072024)
二进制翻译是实现系统迁移的主要方法,但基于通用平台的仅靠软件实现的二进制翻译性能不高。该文以龙芯2F处理器为实现平台,提出一种QEMU二进制翻译器并进行优化,其中包括编译环境的优化以及二进制翻译器本身的优化2个方面,对后者的优...
关键词：龙芯2F处理器 二进制翻译器 寄存器 堆栈 
龙芯3A处理器封装的散热设计被引量：1
《计算机工程与科学》2009年第A01期120-124,共5页张瑾 王剑 
国家863计划资助项目(2008AA110901);国家973计划资助项目(2005CB321600);国家自然科学基金资助项目(60603049);北京市自然科学基金资助项目(4072024)
随着处理器的性能越来越高,处理器的功耗和温度也随之攀升,这就对处理器的封装提出了更高的要求。本文针对龙芯3A高性能处理器对封装的散热问题,根据成熟的工艺水平选择了FC-BGA封装形式,并对散热和外加散热措施的方法进行了分析和研究...
关键词：龙芯3A 封装 FC-BGA 散热 
基于龙芯2F处理器的硬件验证平台的设计与实现被引量：4
《计算机工程与科学》2009年第A01期270-275,共6页张瑾 王剑 
国家863计划重点资助项目(2008AA110901);国家973计划资助项目(2005CB321600);国家自然科学基金资助项目(60603049);北京市自然科学基金资助项目(4072024)
针对高性能处理器龙芯2F的逻辑验证和性能测试,本文设计和实现了一套硬件验证平台环境,既能验证处理器流片前的逻辑功能,也能测试处理器流片后的性能指标。实验结果表明,本文设计的硬件验证平台能够有效验证龙芯2F处理器的各项功能和性...
关键词：龙芯2F 硬件验证平台 逻辑验证 性能测试 
A 10 Gb/s receiver with half rate period calibration CDR and CTLE/DFE combiner被引量：2
《Journal of Semiconductors》2009年第4期106-112,共7页高茁 杨宗仁 赵莹 杨袆 张璐 黄令仪 胡伟武 
supported by the State Key Development Program for Basic Research of China (No. 2005CB321600);the National High Technol-ogy Development Research and Program of China (No. 2008AA110901);the National Natural Science Foundation of China (Nos.60801045, 60803029, 60673146, 60603049);the Beijing Natural Science Foundation (No. 4072024)
This paper presents the design of a 10 Gb/s low power wire-line receiver in the 65 nm CMOS process with 1 V supply voltage. The receiver occupies 300×500 μm2. With the novel half rate period calibration clock data r...
关键词：serial link RECEIVER CDR EQUALIZER 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部