云南高校图书馆联盟文献共享服务平台- 国家高技术研究发展计划(2002AA1Z030)

国家高技术研究发展计划(2002AA1Z030): 作品数：11被引量：36H指数：3; 导出分析报告; 相关作者：汪东升李兆麟刘振宇董渊王生原更多>>; 相关机构：清华大学北京大学同济大学更多>>; 相关期刊：《小型微型计算机系统》《计算机研究与发展》《计算机学报》《计算机工程与设计》更多>>; 相关主题：嵌入式微处理器嵌入式微处理器程序生成器生成器更多>>; 相关领域：自动化与计算机技术电子电信更多>>

基于指令聚类与指令调度的嵌入式软件功耗优化研究被引量：2: 《小型微型计算机系统》2006年第1期175-179,共5页陈嘉董渊杨阳戴桂兰王生原; 国家自然科学基金项目(60083004)资助;国家"八六三"高技术项目(2002AA1Z030)资助.; 选用指令级能耗评估模型,提出和验证了一种基于指令聚类与指令调度的功耗优化方案.该方案采用深度优先算法搜索局部最优解,挑选出能耗较小的一种指令序列.又兼顾测试工作量与精确度,将能耗相似的指令归入同类,有效降低了获取相邻指令切...; 关键词：软件功耗指令调度功耗优化深度优先搜索聚类

嵌入式CPU软硬件协同开发中的操作系统设计被引量：3: 《清华大学学报（自然科学版）》2005年第7期973-976,共4页董渊王生原陈嘉田金兰张素琴; 国家自然科学基金资助项目(60083004);国家"八六三"高技术项目(2002AA1Z030); 为了满足高性能嵌入式CPU软硬件协同开发的需要,提出一个嵌入式Linux操作系统设计方案,在真正的硬件完成之前利用虚拟原型系统进行软硬件集成测试。该方案基于开放源代码软件,采用精简配置的Linux Kernel,以u-Clibc和Busybox为主构成根...; 关键词：操作系统嵌入式软硬件协同开发系统设计

基于RTL综合策略的状态机优化方法: 《电子工程师》2005年第3期17-19,共3页石松华任浩琪; 国家"863"基金(2002AA1Z030); 　有限状态机及其设计技术是数字系统设计中的重要组成部分,是实现高效率、高可靠性逻辑控制的重要途径。良好的状态机的实现不仅与状态机的设计有关,而且与采用的综合策略密切相关。Synopsys公司的DesignCompiler(设计编译程序)提供了...; 关键词：RTL(寄存器传输级) 综合策略有限状态机优化

Fault-Tolerant Design Techniques in ACMP Architecture: 《Wuhan University Journal of Natural Sciences》2005年第1期5-8,共4页YAOWen.bin WANGDong-sheng; Supported by the National High Techology Devel opment 863 Program of China(2002AA1Z030) and China PostdoctoralScience Foundation(2003034151); Single-chip multiprocessor (CMP) combined with the fault-loleranl(FT)techniques offers an ideal architecture to achieve high availability on the basis of sustaining highcomputing performance FT design of a single-chip...; 关键词：computer architecture fault-tolerant design single-chip multiprocessor

随机测试程序生成器研究被引量：2: 《计算机工程与设计》2005年第2期281-284,共4页刘志强汪东升郑纬民; 国家863高技术计划基金项目(2002AA1Z030)。; 随机测试是微处理器设计过程的重要环节,按照一定原则生成的随机指令序列,能够构造出指令组合的各种情况,达到比较好的测试强度和较高的覆盖率。介绍了一种基于模拟器的动态随机测试程序生成器的实现机制,此生成器用多个状态机来抽象整...; 关键词：生成器随机测试微处理器指令状态机测试过程程序覆盖率模拟器设计过程

基于两优先级轮转法的PCI仲裁器的设计与实现被引量：2: 《微电子学》2004年第6期663-666,669,共5页宋杨刘振宇汪东升; 国家"863"计划重点资助项目(2002AA1Z030); 　论述了PCI仲裁的基本原理,给出了一个PCI仲裁器设计。设计中选择了两优先级轮转仲裁算法,以提高系统性能;优化了状态机编码方式,以减小芯片面积和降低动态功耗。; 关键词：总线仲裁器 PCI规范优先级轮转法

微处理器随机测试程序生成器被引量：3: 《计算机工程与设计》2004年第9期1444-1446,1503,共4页王惊雷汪东升; 国家863高技术计划基金(2002AA1Z030); CRTPG(Constraint-based Random Test Program Generator)是一个基于约束的随机测试程序生成器。它采用约束满足(Constraint Satisfaction)的方法来产生满足不同测试需求的随机测试程序,用于微处理器的功能验证。详尽描述了CRTPG的结构...; 关键词：随机测试微处理器生成器约束满足程序结构生成方法功能验证 CSP 分层描述

高性能RISC微处理器硬件仿真器设计被引量：2: 《计算机研究与发展》2004年第8期1436-1441,共6页刘振宇齐家月; 国家"八六三"高技术研究发展计划基金项目 ( 2 0 0 2AA1Z0 3 0 ); 在微处理器设计中 ,为了系统级软硬件协同仿真 ,在后端设计前必须采用硬件仿真器对设计进行系统验证为此 ,采用FPGA设计 32位RISC流水线结构微处理器的硬件仿真器此设计主要包括以下特点 :采用内存管理单元(MMU)可以实现虚拟地址管...; 关键词：微处理器 RISC FPGA 硬件仿真器

嵌入式微处理器的软硬件协同验证被引量：1: 《计算机工程与设计》2004年第7期1053-1055,1058,共4页郝焱汪东升; 国家863高技术计划基金项目(2002AA1Z030); 软硬件协同验证是解决系统芯片验证的关键技术。模型驱动的软硬件协同验证方法是一种新颖的嵌入式微处理器的验证方法,其主要部分包括基于真实的验证平台、验证向量的自动生成器、验证结果的分析和比较器。该验证方法可实现嵌入式微处...; 关键词：嵌入式微处理器软硬件协同验证系统芯片模型驱动多层次模拟

一种基于JTAG的嵌入式微处理器片上可调试系统被引量：18: 《计算机工程与应用》2004年第12期1-4,51,共5页张伟李兆麟张闯汪东升; 国家863高技术研究发展计划重点项目资助(编号:2002AA1Z030);国家自然科学基金资助(编号:60106004); 文章提出了一种基于JTAG的嵌入式微处理器片上的可调试系统。该系统在JTAG工业标准的基础上,能够以较少的硬件开销支持指令/数据断点设置、单步执行、寄存器内容查看和设置、内存内容查看和设置、在线编程以及微处理器运行现场设置等调...; 关键词：嵌入式微处理器片上可调试系统 JTAG

国家高技术研究发展计划(2002AA1Z030)