刘功杰
- 作品数：17 被引量：33H指数：3
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 支持并行模拟的Verilog编译技术研究与实现被引量：2
- 2002年
- 并行HDL模拟是加速大型复杂的VLSI系统模拟验证的有效方法,支持并行模拟的HDL编译技术是其中的关键技术。文章提出了一种支持并行模拟的Verilog编译技术,编译器将Verilog描述转换成C++代码,最后与并行模拟核心库编译链接生成可执行并行程序。文章将主要介绍编译器构成、代码生成方法和并行模拟核心库,该技术已经在并行Verilog模拟器ParaVer上实现。
- 李暾李思昆郭阳刘功杰
- 关键词：VERILOG语言编译器
- 域间路由安全实时监测系统的设计与实现
- 2006年
- 域间路由系统是Internet的基础设施和网络的关键支撑,然而由于其自身的脆弱性而存在许多安全方面的问题。从域间路由监测的角度出发,基于路由异常行为规则库和流量模式设计并实现了一个域间路由安全实时监测系统。系统可以实时检测网络流量异常以及非法路由,并向用户提供告警信息,同时根据BGP更新报文生成并维护BGP路由表,为基于路由表分析的监测方法做好了准备。给出了系统试验,并对系统性能进行了评价。
- 李凯朱培栋刘功杰
- 关键词：域间路由系统BGP规则库
- 遗传算法在软硬件划分中的应用被引量：14
- 2002年
- 软硬件划分是软硬协同设计中的一个关键问题。针对单处理器嵌入式系统 ,给出了基于遗传算法的解决方案 ,并引入了模拟退火和按概率选择两种技术。结果表明 ,算法有效地解决了软硬件划分问题 ,稳定性好、效率高 ,模拟退火和按概率选择的引入 ,进一步提高了算法效率 ,保证了算法的自适应性及结果的全局最优性。
- 刘功杰张鲁峰李思昆
- 关键词：遗传算法软硬件划分嵌入式系统计算机
- 浮点定点转化指令的微流水线实现
- 浮点部件是微处理器的重要组成部分,浮点定点转化指令归属于浮点指令集,用于浮点数和定点数之间的转化,包含浮化整和整化浮两类指令。本文以IA-64指令集的浮点定点转化指令的定义和描述为基础,介绍浮点部件内部针对该类指令的一种...
- 刘功杰刘蓬侠
- 关键词：浮点部件
- 文献传递
- DMA控制器的一种硬件验证方法
- 在微处理器或SOC芯片设计过程中,DMA控制器的硬件仿真验证是难以解决的问题之一,因为DMA控制器与包括微处理器核和内存控制器在内的几乎所有部件都有数据通信,如将所有部件集成后进行仿真测试,则一旦发现错误后,定位错误会非...
- 刘功杰李暾
- 关键词：DMA控制器硬件验证微处理器SOC芯片
- 文献传递
- 域间路由安全策略检查系统的设计与实现
- 基于BGP协议构造的域间路由系统是Internet的基础设施。虽然BGP已被证明是一种非常稳定和有效的路由协议,但是随着Internet的快速发展与商业化,BGP协议逐渐表现出了一些局限性,比如BGP协议本身缺乏必要的安...
- 林嘉刘欣银伟刘功杰朱培栋
- 关键词：域间路由BGP协议
- 文献传递
- 嵌入式系统软硬件划分方法研究被引量：12
- 2000年
- 软硬件划分是软硬件联合设计中一个关键问题。本文分析了有固定吞吐率约束的软硬件划分问题的模型 ,提出了一种软硬件划分方法和相应的评价方法 ,最后给出了实验数据和进一步的改进设想。
- 张鲁峰李思昆刘功杰
- 关键词：软硬件划分性能分析
- 面向SoC的软硬件划分算法研究及IP软核的设计与实现
- 随着集成电路技术的发展，芯片的集成度突飞猛进，原来由微处理器、协处理器和多块其他外围芯片组成的系统，可以集成在一块芯片内实现，这种一块芯片集成一个系统的技术，叫做系统集成芯片(SoC，System-on-Chip)技术。...
- 刘功杰
- 关键词：系统集成芯片软硬件划分IP核设计LCD控制器DMA控制器
- 高性能路由器BGP路由协议分布并行实现方法
- 本发明公开了一种高性能路由器BGP路由协议分布并行实现方法，目的是为具有多个路由节点的高性能路由器提供域间路由协议的分布并行实现方法。技术方案是每个路由节点独立运行BGP协议以构建基于BGP-Node的BGP分布并行实现...
- 朱培栋宁洪张晓哲杜秀春刘功杰蔡开裕
- 文献传递
- 域间路由安全策略检查系统的设计与实现
- 基于 BGP 协议构造的域间路由系统是 Internet 的基础设施。虽然 BGP 已被证明是一种非常稳定和有效的路由协议,但是随着 Internet 的快速发展与商业化,BGP 协议逐渐表现出了一些局限性,比如 BGP...
- 林嘉刘欣银伟刘功杰朱培栋
- 关键词：域间路由
- 文献传递
