您的位置： 专家智库 > >

郑衍松

作品数：8 被引量：7H指数：2
供职机构：北京大学更多>>
发文基金：国际科技合作与交流专项项目国家高技术研究发展计划国家科技重大专项更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 6篇期刊文章
  • 1篇学位论文
  • 1篇专利

领域

  • 7篇自动化与计算...
  • 1篇电子电信

主题

  • 3篇系统芯片
  • 3篇芯片
  • 2篇硬件
  • 2篇硬件故障
  • 2篇输入输出
  • 2篇输入输出系统
  • 2篇基本输入输出...
  • 2篇固件
  • 2篇MS
  • 1篇多粒度
  • 1篇虚拟机
  • 1篇中断服务例程
  • 1篇嵌入式
  • 1篇嵌入式系统
  • 1篇全系统模拟器
  • 1篇系统接口
  • 1篇系统模拟
  • 1篇系统模拟器
  • 1篇例程
  • 1篇模拟器

机构

  • 8篇北京大学
  • 1篇北京北大众志...
  • 1篇信息技术有限...

作者

  • 8篇郑衍松
  • 6篇程旭
  • 5篇佟冬
  • 4篇李皓
  • 3篇庞九凤
  • 3篇王克义
  • 1篇李险峰
  • 1篇杨春
  • 1篇钮艳
  • 1篇黄侃

传媒

  • 2篇北京大学学报...
  • 2篇电子学报
  • 2篇计算机辅助设...

年份

  • 1篇2014
  • 1篇2012
  • 2篇2011
  • 3篇2010
  • 1篇2009
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
FaLoFiN:基于不确定性过滤的硬件故障局部化方法被引量：2
2010年
运行已有大型商业软件进行系统级验证是获得高质量SoC设计的有效手段,然而一旦硬件故障导致该类软件运行失效,故障局部化过程将十分困难.为此提出一种基于不确定性过滤的硬件故障局部化方法FaLoFiN.首先提取不确定性函数调用集;然后分别从参考运行和故障运行中过滤不确定性函数调用集;最后通过比较、定位异常函数调用,实现与硬件故障相关代码范围的局部化.实验结果表明,FaLoFiN方法具有较高的硬件故障局部化准确度,能有效地将PKUnity-86系统中的真实硬件故障局部化.
郑衍松佟冬李皓王克义程旭
关键词：硬件故障
MDCI:基于多粒度动态控制流不变式的硬件故障局部化
2010年
本文提出了一种基于多粒度动态控制流不变式的硬件故障局部化方法MDCI.该方法基于预先提取的置信度较高的各种粒度动态控制流不变式,多粒度逐级迭代地检验控制流不变式程序点是否可达,从而将与硬件故障相关的代码范围局部化.实验结果表明MDCI只需检验少量的控制流程序点,就能准确地将与故障相关的代码范围局部化.
郑衍松佟冬王克义程旭
关键词：多粒度硬件故障
基于固件的系统芯片协同验证平台
2011年
使用FPGA进行全系统仿真是验证基于平台设计的系统芯片(SoC)的有效手段,但FPGA原型验证一方面须等待硬件设计完成编码,另一方面FPGA全系统环境下的硬件设计错误定位耗时,验证周期较长.为更早展开系统级验证工作并缩短验证周期,提出一种基于固件的协同验证平台——FCVP.FCVP在FPGA上基于固件模拟待测硬件设计和系统模块,通过运行真实工作负载,对比FPGA中待测硬件设计和FCVP模拟参考模型的行为,帮助分析、定位硬件设计错误.在PKUnity86 SoC上进行验证的实例表明,FCVP可用于SoC设计初期验证,并可有效地辅助硬件设计错误的定位.性能评测显示,FCVP模拟性能优于纯软件模拟器.
李皓李险峰庞九凤黄侃郑衍松佟冬程旭
关键词：系统芯片固件全系统模拟器
一种基于开源系统基本输入输出系统的BIOS系统和方法
本发明提供一种基于开源BIOS的BIOS启动方法和装置，涉及计算机应用领域。包括：BIOS的操作系统接口模块的中断服务例程采用Option ROM模组方式实现；该BIOS在计算机操作系统加电时，板级核心模块初始化板级设备...
程旭李皓郑衍松佟冬管雪涛
文献传递
面向MS Windows兼容系统芯片的故障定位方法研究
随着系统芯片（System-on-a-Chip，简称SoC）需求的发展和微软Windows操作系统（简称MS Windows）普及度的广泛深入，MS Windows兼容系统芯片变得越来越重要。但是复杂的系统芯片设计和闭源...
郑衍松
EmBIOS:一种支持MSWindows的嵌入式系统BIOS设计被引量：1
2012年
提出一种兼容工业规范的嵌入式BIOS设计EmBIOS,支持嵌入式系统运行MS Windows等操作系统。以中断服务为单位,对全系统模拟器BIOS进行划分可得到中断服务例程集。将中断服务例程集扩展、移植到传统嵌入式固件环境,EmBIOS既能利用现有嵌入式固件初始化系统,又可提供桌面操作系统所需中断服务。EmBIOS正确性和兼容性在PKUnity86 FPGA原型系统中通过运行典型操作系统及应用软件得到了验证,并应用于真实芯片系统。实验表明,EmBIOS具备可移植性,并能提供与商业BIOS相当的启动速度。
李皓郑衍松庞九凤佟冬程旭
关键词：固件嵌入式系统基本输入输出系统
GOSBMB:基于客户操作系统行为的虚拟机内存均衡方法被引量：2
2011年
在虚拟机环境中为客户操作系统分配内存资源时,需在性能和资源利用效率之间进行权衡.本文提出一种基于客户操作系统行为的虚拟机内存均衡方法GOSBMB(Guest Operating System Behaviors based Memory Balancer).该方法在尽量降低性能损失的前提下,根据客户操作系统中进程工作集和磁盘页面缓存对虚拟机监控器呈现的行为特征,以对客户操作系统透明的方式估计它们各自的内存需求,并按需动态调整内存资源.在Xen上实现了GOSBMB原型系统,实验表明,使用GOSBMB动态调整内存资源时,在节约内存资源达69.6%的情况下,客户操作系统的性能损失低于7.6%.
钮艳郑衍松杨春程旭
关键词：虚拟机
MS Windows兼容的系统芯片硬件核心的分析与实践被引量：2
2009年
研究了开发MS Windows兼容的系统芯片硬件核心的方法。该方法在确保MS Windows兼容的前提下,通过多次模拟运行、逐步抽取的方式获得硬件核心基本系统功能规范。实验表明,相对于完整系统,该硬件核心的复杂度大幅度降低,同时表明不同MS Windows版本所需硬件核心有明显差别。此外,还在FPGA原型上验证了支持MSWindows 98的系统芯片硬件核心。
郑衍松佟冬李皓庞九凤王克义程旭
关键词：MSWINDOWS系统芯片
全选 清除 导出
共1页<1>
聚类工具0