安徽省自然科学基金(03042101) 作品数:22 被引量:53 H指数:5 相关作者: 李曦 周学海 龚育昌 王志刚 雷霆 更多>> 相关机构: 中国科学技术大学 国家气象信息中心 中国科大 更多>> 发文基金: 安徽省自然科学基金 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 电气工程 更多>>
基于体系结构描述语言xpADL的ASIP设计方法的研究 随着ASIP(Application Specific Instruction Processor)的不断涌现,其设计方法学的研究成为一个热点,其中体系结构描述语言(ADL)驱动的设计流程受到越来越多的关注。在这种设计流... 余洁 周学海 李曦 高妍妍关键词:体系结构描述语言 ARM 面向低功耗优化设计的系统级功耗模型研究 被引量:15 2004年 随着嵌入式系统应用的普及 ,低功耗设计成为系统设计中的关键问题之一 .本文提出了一个两层构架的系统级功耗模型 ,包括微体系结构层模型和体系结构层模型 .微体系结构模型支持系统级硬件结构设计优化 ,体系结构模型则针对编译器的软件设计优化 .微结构模型以部件的结构信息特征为依据 ,指令级模型以微结构模型为基础 .试验证明 。 李曦 王志刚 周学海 王煦法关键词:嵌入式系统 低功耗优化 专用指令集处理器(ASIP)行为级设计方法研究 被引量:5 2004年 由专用指令集处理器(ASIP)构成的片上系统(SoC)具有高效、灵活等优点。有效的ASIP行为级设计方法对于SoC设计具有重大意义。该文对ASIP行为级设计方法进行研究,提出了一种基于体系结构描述语言(ADL)的ASIP行为级设计方法,并介绍了基于该方法的可视化ASIP行为级设计平台xptools。 陈艾 周学海 李曦 王志刚 王峰关键词:专用指令集处理器 体系结构描述语言 用于WCET静态分析的MIPS处理器建模方法研究 被引量:3 2006年 为获得安全而紧致的WCET估计,需要考虑执行程序的目标处理器的体系结构特征.Cache、流水线等用于提高性能的技术已经广泛地应用于现代处理器中,如果在静态分析过程中不考虑它们带来的影响,必然会导致WCET过估计.以Petri网作为模型工具,以WCET分析为应用目标构造MIPS处理器的体系结构模型,该方法讨论了各种RISC处理器中常见的体系结构特征的抽象以及它们在Petri网模型中的表示方法.通过实验验证,指令序列在Petri网模型上的模拟执行时间与指令序列在DLXView模拟器上的测试结果具有一致性,表明构建处理器的体系结构Petri网模型是一种有效的指令序列执行时间的静态分析方法. 卞晓丰 周学海关键词:MIPS PETRI网 面向实时动态调度的代码插装方法 2006年 利用代码插装完成实时任务对自身剩余最长执行时间的运行时自我预估,以满足实时动态调度领域的相关需要.该方法以全面的、规范的相关性分析为基础,构建形式化模型,简洁一致地刻画程序的控制流和相关性;提出了一种高效的预估点代码生成算法;并给出了权衡预估精度和运行时开销的若干优化实现技术. 胡潇 李曦 雷霆 龚育昌关键词:代码插装 编译器 基于XP-ADL的重定向编译器后端设计 被引量:1 2007年 为开发能在短时间应用于不同体系结构并产生高质量代码的嵌入式系统编译器,在Tri-maran的基础上设计并实现重定向编译器后端.该后端采用能应用到广泛体系结构的基于XML的功耗体系结构描述语言(XML-based Power-architecture Description Language,XP-ADL),使用profile信息控制指令的调度范围,从而改进生成代码的质量.针对DLX体系结构的实验表明该后端产生代码的时间比GCC减少5%. 魏亮辉 李曦 徐步荣 纪金松关键词:体系结构描述语言 改进的指令总线功耗优化策略 2007年 针对编译器系统设计和编译中的低功耗优化,基于可重定向编译器,实现在编译器后端对VLIW指令总线进行功耗优化的策略.通过对编译生成的二进制目标码进行横向再调度来减少指令总线上的高低电位切换次数,达到降低系统功耗的目的.对编译后端的软件流水和超块调度两种性能优化策略进行对比实验,表明其优化效果在30%以上,并且代码的指令级并行性(Instruction Level Parallelism,ILP)与优化效果存在明显的相关性.最后,通过ILP对该策略提出改进,以指令级并行信息指导功耗优化,在功耗优化效果损失不大的前提下,可节省多达20%的算法开销. 徐步荣 李曦 魏亮辉关键词:低功耗优化 指令调度 基于Windows CE系统的动态电压管理 2008年 基于W indows CE平台设计的动态电压管理框架提供了管理处理器运行状态的机制,其核心的电压管理驱动程序实现了对处理器运行频率的查询和设置等功能,为应用程序中实施动态电压调节优化策略提供了充分的支持,进一步降低了系统的能耗。 王爱峰 简大圣 李曦关键词:功耗优化 动态电压调节 WINDOWS 基于时间Petri网的实时系统低能耗高层综合 被引量:2 2006年 以时间Petri网为模型,验证系统功能性和实时性,在此基础上,提出了一种由子任务的能耗变化率驱动的启发式能耗优化算法,并针对一类特殊形式的网模型———可组合时间Petri网,设计了相应的简化算法·实验说明,上述算法时间复杂度低,且优化效果接近最优值,能够为实时系统低能耗高层综合提供有力支持· 胡潇 李曦 龚育昌关键词:时间PETRI网 系统级设计 基于Petri网的ASIP体系结构形式化建模方法研究 被引量:4 2006年 根据SOC(System on Ch ip)的软硬件协同设计的需求,针对A S IP体系结构空间搜索(DSE,D es ign Space Exp loration)问题,考虑复杂的流水线结构,提出了一种扩展的时序Petri网模型——PNP模型,该模型可以以简洁直观的形式精确有效地描述目标体系结构.文中给出了PNP模型的确切定义,并通过对一个流水化的体系结构进行形式化建模的实例展示了该模型的有效性. 朱赟 李曦 龚育昌 王志刚关键词:PETRI网 流水线