国家高技术研究发展计划(2002AA1Z030) 作品数:11 被引量:69 H指数:5 相关作者: 汪东升 李兆麟 刘振宇 董渊 王生原 更多>> 相关机构: 清华大学 北京大学 同济大学 更多>> 发文基金: 国家高技术研究发展计划 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
嵌入式微处理器的软硬件协同验证 被引量:4 2004年 软硬件协同验证是解决系统芯片验证的关键技术。模型驱动的软硬件协同验证方法是一种新颖的嵌入式微处理器的验证方法,其主要部分包括基于真实的验证平台、验证向量的自动生成器、验证结果的分析和比较器。该验证方法可实现嵌入式微处理器的完备验证,且基于该方法实现的验证平台可很容易地转化为系统芯片的设计及验证平台。 郝焱 汪东升关键词:嵌入式 微处理器 软硬件协同验证 系统芯片 嵌入式CPU软硬件协同开发中的操作系统设计 被引量:7 2005年 为了满足高性能嵌入式CPU软硬件协同开发的需要,提出一个嵌入式Linux操作系统设计方案,在真正的硬件完成之前利用虚拟原型系统进行软硬件集成测试。该方案基于开放源代码软件,采用精简配置的Linux Kernel,以u-Clibc和Busybox为主构成根文件系统,特别选择加入必要的基准测试程序。该系统成功应用于清华大学THUMP系列CPU开发,保证了验证的完备性,提高了验证效率,为CPU的性能优化提供了有力的支持。实验结果表明:该方案满足了验证目的和虚拟环境对操作系统设计提出的严格要求,同时为目标CPU未来运行系统提供了基础。 董渊 王生原 陈嘉 田金兰 张素琴关键词:操作系统 嵌入式 系统设计 基于两优先级轮转法的PCI仲裁器的设计与实现 被引量:5 2004年 论述了PCI仲裁的基本原理,给出了一个PCI仲裁器设计。设计中选择了两优先级轮转仲裁算法,以提高系统性能;优化了状态机编码方式,以减小芯片面积和降低动态功耗。 宋杨 刘振宇 汪东升关键词:总线仲裁器 PCI规范 高性能RISC微处理器硬件仿真器设计 被引量:7 2004年 在微处理器设计中 ,为了系统级软硬件协同仿真 ,在后端设计前必须采用硬件仿真器对设计进行系统验证 为此 ,采用FPGA设计 32位RISC流水线结构微处理器的硬件仿真器 此设计主要包括以下特点 :采用内存管理单元(MMU)可以实现虚拟地址管理 ;包括片上Cache ,其中包括指令Cache(I Cache)和数据Cache(D Cache) ;采用标准SYSAD接口设计 ;包括片上乘除处理单元 (MDU) ;实现精确异常处理 设计采用XILINX公司的xc2v2 0 0 0实现 ,其工作频率为 刘振宇 齐家月关键词:微处理器 RISC FPGA 硬件仿真器 Fault-Tolerant Design Techniques in ACMP Architecture 2005年 Single-chip multiprocessor(CMP) combined with the fault-tolerant(FT) techniques offers an ideal architecture to achieve high availability on the basis of sustaining high computing performance. FT design of a single-chip multiprocessor is described, including the techniques from hardware redundancy to software support and firmware strategy. The design aims at masking the influences of errors and automatically correcting the system states. YAOWen.bin WANGDong-sheng关键词:容错设计 计算机技术 硬件 基于指令聚类与指令调度的嵌入式软件功耗优化研究 被引量:2 2006年 选用指令级能耗评估模型,提出和验证了一种基于指令聚类与指令调度的功耗优化方案.该方案采用深度优先算法搜索局部最优解,挑选出能耗较小的一种指令序列.又兼顾测试工作量与精确度,将能耗相似的指令归入同类,有效降低了获取相邻指令切换能耗参数的工作量过大这一问题.通过分析基于SimpleScalar/Wattch模拟器的实验结果,指出仅用指令调度技术进行指令级功耗优化,其效果有限,为了提高优化效率,必须进行更高级别的功耗评估与优化. 陈嘉 董渊 杨阳 戴桂兰 王生原关键词:指令调度 功耗优化 深度优先搜索 聚类 基于RTL综合策略的状态机优化方法 2005年 有限状态机及其设计技术是数字系统设计中的重要组成部分,是实现高效率、高可靠性逻辑控制的重要途径。良好的状态机的实现不仅与状态机的设计有关,而且与采用的综合策略密切相关。Synopsys公司的DesignCompiler(设计编译程序)提供了针对状态机的综合优化策略,文中叙述了基于RTL(寄存器传输级)综合策略的有限状态机优化方法。 石松华 任浩琪关键词:有限状态机 微处理器随机测试程序生成器 被引量:4 2004年 CRTPG(Constraint-based Random Test Program Generator)是一个基于约束的随机测试程序生成器。它采用约束满足(Constraint Satisfaction)的方法来产生满足不同测试需求的随机测试程序,用于微处理器的功能验证。详尽描述了CRTPG的结构和基于约束的随机测试程序生成方法,特别是利用分层的CSP约束网络实现了程序结构的控制。 王惊雷 汪东升关键词:微处理器 生成器 程序结构 CSP 随机测试程序生成器研究 被引量:4 2005年 随机测试是微处理器设计过程的重要环节,按照一定原则生成的随机指令序列,能够构造出指令组合的各种情况,达到比较好的测试强度和较高的覆盖率。介绍了一种基于模拟器的动态随机测试程序生成器的实现机制,此生成器用多个状态机来抽象整个被测处理器的可能行为,具有简单和高效的特点。给出了测试的统计数据。随机测试生成器对清华大学具有自主知识产权的微处理器的测试过程中取得了良好的测试效果。 刘志强 汪东升 郑纬民关键词:生成器 微处理器 状态机 模拟器 设计过程 一种基于JTAG的嵌入式微处理器片上可调试系统 被引量:31 2004年 文章提出了一种基于JTAG的嵌入式微处理器片上的可调试系统。该系统在JTAG工业标准的基础上,能够以较少的硬件开销支持指令/数据断点设置、单步执行、寄存器内容查看和设置、内存内容查看和设置、在线编程以及微处理器运行现场设置等调试功能。文章首先介绍了嵌入式微处理器可调试设计的原理,其次介绍了嵌入式微处理器的调试系统设计,最后给出调试实例分析。 张伟 李兆麟 张闯 汪东升关键词:嵌入式微处理器 JTAG