多媒体实时传输协议RTP 被引量：16

1

作者 张占军 韩承德 杨学良 《计算机工程与应用》 CSCD 北大核心 2001年第4期9-11,共3页

文章分析了现有网络协议支持多媒体通信存在的问题，介绍了实时传输协议ＲＴＰ的概念和功能，对多媒体传输的支持以及实现等技术。

关键词 多媒体通信 网络协议 实时传输协议 RTP协议 视频解码

下载PDF 职称材料

龙芯1号处理器的故障注入方法与软错误敏感性分析 被引量：31

2

作者 黄海林 唐志敏 许彤 《计算机研究与发展》 EI CSCD 北大核心 2006年第10期1820-1827,共8页

在纳米级制造工艺下以及在航天等特殊应用场合中,可靠性将是处理器设计中的一个重要考虑因素.以龙芯1号处理器为研究对象,探讨了处理器可靠性设计中的故障注入方法,并提出了一种同时运行两个处理器RTL模型的故障注入与分析方法,可以实... 在纳米级制造工艺下以及在航天等特殊应用场合中,可靠性将是处理器设计中的一个重要考虑因素.以龙芯1号处理器为研究对象,探讨了处理器可靠性设计中的故障注入方法,并提出了一种同时运行两个处理器RTL模型的故障注入与分析方法,可以实现连续快速的处理器仿真故障注入.在此基础上,进一步分析了龙芯1号处理器的软错误敏感性,通过快速注入大约30万个软错误,保证了分析结果具有较好的统计意义,可以有效指导后续的容错与可靠性设计. 展开更多

关键词 容错处理器 可靠性设计 故障注入 软错误

下载PDF 职称材料

支持多媒体通信的网络协议技术及其发展 被引量：9

3

作者 张占军 韩承德 杨学良 《小型微型计算机系统》 CSCD 北大核心 2002年第6期646-650,共5页

随着多媒体应用的普及 ,人们对多媒体在网络上的传输提出了新的要求 .本文首先分析了现有网络协议支持多媒体通信存在的问题 ,然后讨论了网络传输协议 IPv6、RSVP和实时传输协议 RTP对多媒体的支持 。

关键词 多媒体通信 网络协议 RSVP RTP 数据包 信息传递 服务质量

下载PDF 职称材料

嵌入式处理器在片调试功能的设计与实现 被引量：9

4

作者 黄海林 范东睿 +4 位作者 许彤 朱鹏飞 郑保建 曹非 陈亮 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第7期1005-1010,共6页

以龙芯1号处理器为研究对象,探讨了嵌入式处理器中在片调试功能的设计实现方法.通过扩充IEEEP1149.1协议的JTAG测试访问端口(TAP),并在处理器内部增加控制模块,实现了软件调试断点、调试中断、硬件断点以及单步执行等多种在片调试功能.... 以龙芯1号处理器为研究对象,探讨了嵌入式处理器中在片调试功能的设计实现方法.通过扩充IEEEP1149.1协议的JTAG测试访问端口(TAP),并在处理器内部增加控制模块,实现了软件调试断点、调试中断、硬件断点以及单步执行等多种在片调试功能.调试主机只需要通过一根JTAG调试电缆就可以访问目标处理器内部寄存器等各种资源,并控制目标处理器的运行过程,实现了处理器的在片调试功能,大大地方便了软件开发与系统调试. 展开更多

关键词 在片调试 IEEE P1149.1 JTAG 龙芯1号处理器

下载PDF 职称材料

嵌入式处理器中访存部件的低功耗设计研究 被引量：11

5

作者 黄海林 范东睿 +1 位作者 许彤 唐志敏 《计算机学报》 EI CSCD 北大核心 2006年第5期815-821,共7页

以“龙芯1号”处理器为研究对象,探讨了嵌入式处理器中访存部件的低功耗设计方法.通过对访存部件的结构、功耗以及关键路径进行分析,利用局部性原理,提出一种根据虚拟地址历史记录进行判断的方法,可以显著减少TLB和Cache对RAM块的访问次... 以“龙芯1号”处理器为研究对象,探讨了嵌入式处理器中访存部件的低功耗设计方法.通过对访存部件的结构、功耗以及关键路径进行分析,利用局部性原理,提出一种根据虚拟地址历史记录进行判断的方法,可以显著减少TLB和Cache对RAM块的访问次数,使得TLB部件功耗平均降低了28.1%,Cache部件功耗平均降低了54.3%,处理器总功耗平均降低了23.2%,而关键路径延时反而减少,处理器性能略有提高. 展开更多

关键词 访存部件 TLB CACHE 低功耗 龙芯1号

下载PDF 职称材料

芯片设计方法学的基础——硬件描述语言Verilog——国家标准GB/T18349-2001《集成电路/计算机硬件描述语言Verilog》介绍 被引量：4

6

作者 蒋敬旗 刘明业 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2002年第11期1091-1095,共5页

全面且系统地介绍硬件描述语言 Verilog标准的基本内容、组成及其修订要点 ;同时介绍了《硬件描述语言Verilog(第 4版 )》.

关键词 芯片设计方法学 硬件描述语言 国家标准 GB/T18349-2001 《集成电路/计算机硬件描述语言Verilog》 VERILOG语言 集成电路 CAD

下载PDF 职称材料

Internet综合服务模型和分类服务模型 被引量：4

7

作者 张占军 韩承德 杨学良 《计算机工程与应用》 CSCD 北大核心 2001年第4期21-22,111,共3页

文章介绍了未来Ｉｎｔｅｒｎｅｔ中存在的两种服务模型，综合服务（Ｉｎｔ－Ｓｅｒｖ）和分类服务（Ｄｉｆｆ—Ｓｅｒｖ），并对它们进行了评价。

关键词 INTERNET 综合服务 分类服务 多媒体 路由器

下载PDF 职称材料

负载平衡无关的并行程序最适处理器网格选择 被引量：2

8

作者 张云泉 施巍松 《软件学报》 EI CSCD 北大核心 2000年第12期1674-1680,共7页

用户在编写并行程序时 ,通常是把物理处理器看成逻辑的处理器 (进程 )网格 ,以便于算法的实现 .随着用户可用处理器的不断增多 ,可选择的网格形状也随之增加 ,如何为基于消息传递的并行程序选择合适的、能发挥出并行机潜在性能的处理器... 用户在编写并行程序时 ,通常是把物理处理器看成逻辑的处理器 (进程 )网格 ,以便于算法的实现 .随着用户可用处理器的不断增多 ,可选择的网格形状也随之增加 ,如何为基于消息传递的并行程序选择合适的、能发挥出并行机潜在性能的处理器网格形状 ,是一个迫切需要解决的问题 .在提出基于通信点概念的最小度数通信点集合法之后 ,通过对并行程序通信模式的分析 ,试图解决与负载平衡无关的并行程序的最适处理器网格选择问题 .通过对 Sca L A PACK软件包中的一个并行测试程序——并行 Cholesky(对称正定矩阵分解 )通信点集合度的分析 ,此方法成功地选择了最适处理器网格形状 。 展开更多

关键词 处理器网格 并行程序 通信点 数据分布 负载平衡

下载PDF 职称材料

通用处理器设计中硬件仿真验证 被引量：2

9

作者 张珩 《计算机工程与应用》 CSCD 北大核心 2007年第8期1-3,233,共4页

基于动态的RTL仿真依然是验证超大规模集成电路的主要方法。在使用动态仿真方法对通用微处理器这样大规模的设计进行功能验证时仿真速度成为了瓶颈,通常的解决方案是使用FPGA进行硬件的物理原型仿真,使用FPGA可以在较短的时间内测试大... 基于动态的RTL仿真依然是验证超大规模集成电路的主要方法。在使用动态仿真方法对通用微处理器这样大规模的设计进行功能验证时仿真速度成为了瓶颈,通常的解决方案是使用FPGA进行硬件的物理原型仿真,使用FPGA可以在较短的时间内测试大量的测试向量,但是使用FPGA物理原型验证的可调试很差。针对这一主要问题,提出了三级的层次化仿真验证环境,使用硬件仿真器的仿真加速作为中间层的解决方案,即可以提高仿真速度,也提供了良好的调试环境。同时针对大规模设计多片FPGA逻辑划分提出了改进的K-L算法,优化了FPGA的利用率和片间互连。 展开更多

关键词 功能验证 模拟仿真 FPGA物理原型验证 仿真加速

下载PDF 职称材料

编译器中多视图中间表示的支撑技术 被引量：1

10

作者 傅忱 张兆庆 《计算机研究与发展》 EI CSCD 北大核心 2002年第1期120-125,共6页

中间表示是构造优化编译器的核心技术 ,其设计方式对整个编译器的可适应性影响很大 .IR的扩充和改进往往引起整个编译器全局性的修改 .而体系结构的修改、某些编译优化模块的改进都会引起 IR的扩充或修改 ,这使得整个编译器的适应性很... 中间表示是构造优化编译器的核心技术 ,其设计方式对整个编译器的可适应性影响很大 .IR的扩充和改进往往引起整个编译器全局性的修改 .而体系结构的修改、某些编译优化模块的改进都会引起 IR的扩充或修改 ,这使得整个编译器的适应性很差 .介绍了一种多视图低层中间表示 ,通过向编译器的不同部分提供不同视图 ,以及逻辑视图到物理视图的映射 ,隐藏中间表示的实现细节 ,提高了编译器各优化分析模块算法的抽象层次 。 展开更多

关键词 多视图 中间表示 编译器 可适应性 公共编译基础

下载PDF 职称材料

龙芯1号微处理机性能模拟器 被引量：1

11

作者 张仕健 张福新 唐志敏 《小型微型计算机系统》 CSCD 北大核心 2006年第12期2317-2320,共4页

性能模拟器是现代微处理器结构设计过程中性能评估的重要工具.它要求灵活性好、运行速度快和准确度高,然而,实现这样一个模拟器除了工作量大之外,还需要相当的设计技巧.通过改造SimpleScalar的sim-outorder,开发了一个针对龙芯1号微处... 性能模拟器是现代微处理器结构设计过程中性能评估的重要工具.它要求灵活性好、运行速度快和准确度高,然而,实现这样一个模拟器除了工作量大之外,还需要相当的设计技巧.通过改造SimpleScalar的sim-outorder,开发了一个针对龙芯1号微处理器结构的性能模拟器,既减小了开发的工作量,又实现了灵活性、速度及准确度三者之间的平衡.实验数据表明,该性能模拟器平均运行速度在200KIPS以上,IPC平均偏差在10%以内. 展开更多

关键词 性能模拟器 性能评估 微处理器结构

下载PDF 职称材料

单片系统(SoC)设计技术 被引量：12

12

作者 陈岚 唐志敏 《计算机研究与发展》 EI CSCD 北大核心 2002年第1期9-16,共8页

集成电路技术在近 10年里有了飞速的发展 ,加工工艺从 0 .5μm ,0 .6μm亚微米级工艺发展到 0 .2 5μm ,0 .18μm甚至 0 .1μm的深亚微米 (DSM)和超深亚微米级工艺 (VDSM) .单芯片集成度大大提高 ,加上集成电路设计的多年积累 ,单个芯... 集成电路技术在近 10年里有了飞速的发展 ,加工工艺从 0 .5μm ,0 .6μm亚微米级工艺发展到 0 .2 5μm ,0 .18μm甚至 0 .1μm的深亚微米 (DSM)和超深亚微米级工艺 (VDSM) .单芯片集成度大大提高 ,加上集成电路设计的多年积累 ,单个芯片有能力实现复杂系统 ,这就是单片系统 (system on a chip) .在单芯片上实现复杂系统不是简单地将过去的设计在同一芯片上简单的集成 ,需要考虑许多新的技术问题 .将介绍单片系统的设计特点以及涉及单片系统设计的关键技术 ,其中包括设计复用技术、使用 IP核的注意事项以及端口标准化等问题 ;深亚微米设计的设计要点和难点 :深亚微米电路的电学模型以及连线延迟计算方法和避免传输线效应的方法 ;同时还将介绍单片系统的测试技术和一些测试方案 ,物理综合概念和目前流行的能提供深亚微米设计能力的主流 展开更多

关键词 单片系统 可测试性设计 物理综合 集成电路 涤亚微米加工

下载PDF 职称材料

数字灌区网格GIS的系统框架 被引量：7

13

作者 方金云 张汉松 +1 位作者 陈春仔 何建邦 《计算机研究与发展》 EI CSCD 北大核心 2003年第12期1689-1693,共5页

实现灌区信息的互联互通互操作是数字灌区建设的重要目标 ,网格GIS是实现数字灌区建设目标的关键技术 提出了灌区网格GIS系统框架 ,包括灌区数据标准、规范与共享 ;空间数据库群和业务数据库集成管理 ;灌区服务体系和灌区应用示范等方... 实现灌区信息的互联互通互操作是数字灌区建设的重要目标 ,网格GIS是实现数字灌区建设目标的关键技术 提出了灌区网格GIS系统框架 ,包括灌区数据标准、规范与共享 ;空间数据库群和业务数据库集成管理 ;灌区服务体系和灌区应用示范等方面内容 在系统中数据库群之间的集成依靠虚拟数据库技术和联邦数据库技术 ,系统的服务划分为本地服务和协同服务 。 展开更多

关键词 灌区 网格 织女星地理信息系统 地理信息系统 系统框架

下载PDF 职称材料

整数乘法电路的形式化验证方法研究 被引量：6

14

作者 王海霞 韩承德 《计算机研究与发展》 EI CSCD 北大核心 2005年第3期404-410,共7页

采用基于决策图的模型检验方法对整数乘法器验证时会出现内存爆炸,解决该问题的一种有效途径是采用反向替换方法.函数替换算法是反向替换方法的核心算法,如果保证被替换变量位于被替换函数的决策图顶层,替换算法可以简化.通过设置变量... 采用基于决策图的模型检验方法对整数乘法器验证时会出现内存爆炸,解决该问题的一种有效途径是采用反向替换方法.函数替换算法是反向替换方法的核心算法,如果保证被替换变量位于被替换函数的决策图顶层,替换算法可以简化.通过设置变量序和限定变量替换顺序,提出了一种保证被替换变量始终位于被替换函数决策图的顶层的反向替换方法,可极大降低整数乘法器验证的运行时间和内存使用量.实验结果表明,采用改进的反向替换方法,在1GB内存下,可将Add-Step乘法器的验证规模从84×84位提高到256×256位,将Diagonal乘法器的验证规模从84×84位提高到206×206位. 展开更多

关键词 形式验证 决策图 ＊PHDD 反向替换方法

下载PDF 职称材料

机载SAR实时成像系统中的数据可视化研究 被引量：2

15

作者 王堃 章立生 +3 位作者 王宏安 王贞松 韩承德 戴国忠 《计算机研究与发展》 EI CSCD 北大核心 2003年第1期26-32,共7页

SAR实时成像系统在国防等很多领域都有着重要的应用 ,系统对数据可视化方面的要求也越来越高 ,但目前国内对SAR实时成像系统的数据可视化方面的研究还不多 提出了一种针对SAR实时成像系统的新的数据可视化方案 ,并已在实际的飞行成像中... SAR实时成像系统在国防等很多领域都有着重要的应用 ,系统对数据可视化方面的要求也越来越高 ,但目前国内对SAR实时成像系统的数据可视化方面的研究还不多 提出了一种针对SAR实时成像系统的新的数据可视化方案 ,并已在实际的飞行成像中得到了检验 新方案实时提供的信息更全面、更直观、可分析性更强 ,具有较强的信息表现能力和双向实时交互能力 ,能够较好地辅助对图像的在线分析 展开更多

关键词 机载SAR 实时成像系统 数据可视化 合成孔径雷达 缩略图

下载PDF 职称材料

支持有向有环图的微调度方法 被引量：1

16

作者 文严治 连瑞琦 +2 位作者 吴承勇 冯晓兵 张兆庆 《计算机研究与发展》 EI CSCD 北大核心 2005年第3期387-393,共7页

指令调度是编译器中的重要优化阶段.如何充分利用处理器结构相关的资源,发掘程序并行性,以提高编译优化性能和增强代码可适应性,一直是指令调度的研究难点之一.目前微调度已经取得了一定的效果,但对软件流水产生的有向有环图则未能提供... 指令调度是编译器中的重要优化阶段.如何充分利用处理器结构相关的资源,发掘程序并行性,以提高编译优化性能和增强代码可适应性,一直是指令调度的研究难点之一.目前微调度已经取得了一定的效果,但对软件流水产生的有向有环图则未能提供支持.在ORC中提出并实现了一种基于IA-64体系结构的支持有向有环图的微调度方法,有效地减少了程序执行周期和流水线停顿,取得了较为满意的编译优化性能. 展开更多

关键词 有向有环图 模调度 微调度

下载PDF 职称材料