公共文化服务平台

嵌入式微处理器的软硬件协同验证被引量：4: 2004年; 软硬件协同验证是解决系统芯片验证的关键技术。模型驱动的软硬件协同验证方法是一种新颖的嵌入式微处理器的验证方法,其主要部分包括基于真实的验证平台、验证向量的自动生成器、验证结果的分析和比较器。该验证方法可实现嵌入式微处理器的完备验证,且基于该方法实现的验证平台可很容易地转化为系统芯片的设计及验证平台。; 郝焱汪东升; 关键词：嵌入式微处理器软硬件协同验证系统芯片

嵌入式CPU软硬件协同开发中的操作系统设计被引量：7: 2005年; 为了满足高性能嵌入式CPU软硬件协同开发的需要,提出一个嵌入式Linux操作系统设计方案,在真正的硬件完成之前利用虚拟原型系统进行软硬件集成测试。该方案基于开放源代码软件,采用精简配置的Linux Kernel,以u-Clibc和Busybox为主构成根文件系统,特别选择加入必要的基准测试程序。该系统成功应用于清华大学THUMP系列CPU开发,保证了验证的完备性,提高了验证效率,为CPU的性能优化提供了有力的支持。实验结果表明:该方案满足了验证目的和虚拟环境对操作系统设计提出的严格要求,同时为目标CPU未来运行系统提供了基础。; 董渊王生原陈嘉田金兰张素琴; 关键词：操作系统嵌入式系统设计

基于两优先级轮转法的PCI仲裁器的设计与实现被引量：5: 2004年; 　论述了PCI仲裁的基本原理,给出了一个PCI仲裁器设计。设计中选择了两优先级轮转仲裁算法,以提高系统性能;优化了状态机编码方式,以减小芯片面积和降低动态功耗。; 宋杨刘振宇汪东升; 关键词：总线仲裁器 PCI规范

高性能RISC微处理器硬件仿真器设计被引量：6: 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-loleranl(FT)techniques offers an ideal architecture to achieve high availability on the basis of sustaining highcomputing performance FT design of a single-chip multiprocessor is described, including thetechniques from hard-wart redundancy to software support and firmware strategy. The design aims atmasking the influences of errors and automatically correcting the system states.; YAOWen.binWANGDong-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

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

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