王海力
- 作品数：7 被引量：33H指数：3
- 供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- SoC系统级设计方法与技术被引量：14
- 2006年
- 介绍了以Y图为中心的系统级设计方法研究主题,从软硬件协同设计技术、设计重用技术以及与底层相结合设计技术3方面探讨了系统级关键设计技术的研究进展·从设计方法和技术路线上,将当前的研究工作归纳为基于SpecC自顶向下细化求精的设计方法、基于组件多处理器核SoC自底向上搭积木的设计方法和基于平台上下结合分而治之的设计方法3类·在此基础上,对各类方法的基本思想、描述语言、设计模型和关键技术等进行了分析与对比,并给出了该领域存在的研究问题及其今后的研究方向和重点·
- 王海力边计年吴强熊志辉
- 关键词：电子设计自动化系统芯片知识产权核
- 一种基于层次平台的SoC系统设计方法被引量：13
- 2004年
- 本文提出基于层次平台的SoC系统设计方法Hi PBD ,将SoC系统设计分为系统模型层、虚部件层和实部件层 ,达到系统设计中功能与结构分离、计算与通信分离的目的 .Hi PBD通过设计规划与虚 实综合完成 3个设计层次之间的 2次映射 .该方法不仅重用 3个层次的设计模板 ,而且重用设计层次间 2次映射的结果 ,提高了重用效率 .此外 ,Hi PBD方法支持在 3个层次修改相应设计模板以增强设计灵活性 ,采用性能约束传播机制确保最终设计目标满足性能要求 .实验表明 ,Hi PBD方法可提高SoC系统级设计效率 30 % 4 0 % ,平台模板重用率达到 75 % 90 % .
- 熊志辉李思昆陈吉华王海力边计年
- 关键词：系统芯片
- 在SoC设计中基于WISHBONE总线协议接口综合技术的研究
- 在SoC设计中能否合理地利用已有的知识产权模块和设计复用技术已经成为了设计中的关键.为了实现这个目标,本文提出了一种新的层次化设计方法,并且基于该方法给出了逐层细化的接口通信模型和以WISHBONE为片上总线协议进行接口...
- 王海力边计年
- 关键词：芯片系统
- 文献传递
- 支持平台设计方法的系统芯片协同设计环境被引量：5
- 2005年
- 面向基于平台的设计方法,开发了系统芯片软/硬件协同设计环境YH-PBDE·在描述YH-PBDE的总体结构之后,详细介绍了该环境中的三个设计层次与二次映射过程,重点论述了YH-PBDE中基于约束任务流图的系统建模方法、具有初始信息素的蚂蚁寻优软硬件划分算法和基于层次有向无环图的设计约束分配方法·结合具有录音功能的MP3播放器芯片的系统级设计方法,说明了在YH-PBDE中进行系统芯片软硬件协同设计的过程·
- 熊志辉李思昆陈吉华王海力边计年
- 基于XML的IP核通信接口建模技术被引量：1
- 2007年
- 提出了一种通用的接口模型,在SoC设计的接口综合中对IP核的通信接口进行了建模。基于可扩展标记语言(XML),提出了接口描述文件(IDF-XML)的概念,利用XML的优势对该模型进行描述,并提出了一种转换机制,将IDF-XML中的通信接口信息转换为接口综合中的对象模型。该文以一个简单数码相机的设计为实例,使用建模技术对其中的DCT模块进行接口建模。接口综合算法生成的接口电路将DCT模块与整个系统相连,实现了模块间的平滑通信。
- 童琨边计年王海力
- 关键词：SOC通信接口可扩展标记语言
- CIG-EM:一种面向通信综合的通信信息图提取方法被引量：1
- 2006年
- 提出通信信息图提取方法CIG-EM,实现了从系统行为级模型到通信信息图(CIG)模型提取的自动设计流程,以帮助系统设计人员在系统设计的早期设计高效的片上通信体系结构·CIG-EM采用层次化控制/数据流图(HCDFG)模型作为系统的内部表示模型,并建立了从系统描述到CIG模型提取的整个设计流程;引入HCDFG模型的扩展M-HCDFG模型表示函数-功能单元和变量-存储器的映射信息,简化了CIG模型提取的过程;提出了3种模型HCDFG,M-HCDFG和CIG之间的转换算法,实现了其自动转换·CIG-EM能够平滑系统设计流程,减少设计周期·利用JPEG解码程序表明CIG-EM方法的正确性和有效性·
- 牛亚文边计年王海力
- 关键词：通信综合通信体系结构
- SoC接口综合的层次化通信模型被引量：3
- 2005年
- 以自主研发的软硬件协同设计平台YH-PBDE为基础,提出一个逐层细化的层次化通信模型.该模型遵循计算与通信相分离的设计原则,分为系统、虚部件和实部件三个层次,层与层之间的接口通过映射和细化两种方式实现;同时,基于该模型阐述了一种新颖的虚实部件接口综合算法流程,为不同知识产权核之间的平滑通信提供了实用的解决方案.该模型和方法可以有效地实现不同核之间的自动集成,使复用技术成为可能.
- 王海力边计年熊志辉李思昆陈吉华
- 关键词：系统级设计知识产权核
