国际科技合作与交流专项项目(2008DFB10010)
- 作品数：7 被引量：6H指数：2
- 相关作者：程旭佟冬李皓庞九凤郑衍松更多>>
- 相关机构：北京大学更多>>
- 发文基金：国际科技合作与交流专项项目国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于固件的系统芯片协同验证平台
- 2011年
- 使用FPGA进行全系统仿真是验证基于平台设计的系统芯片(SoC)的有效手段,但FPGA原型验证一方面须等待硬件设计完成编码,另一方面FPGA全系统环境下的硬件设计错误定位耗时,验证周期较长.为更早展开系统级验证工作并缩短验证周期,提出一种基于固件的协同验证平台——FCVP.FCVP在FPGA上基于固件模拟待测硬件设计和系统模块,通过运行真实工作负载,对比FPGA中待测硬件设计和FCVP模拟参考模型的行为,帮助分析、定位硬件设计错误.在PKUnity86 SoC上进行验证的实例表明,FCVP可用于SoC设计初期验证,并可有效地辅助硬件设计错误的定位.性能评测显示,FCVP模拟性能优于纯软件模拟器.
- 李皓李险峰庞九凤黄侃郑衍松佟冬程旭
- 关键词：系统芯片固件全系统模拟器
- FaLoFiN:基于不确定性过滤的硬件故障局部化方法被引量：2
- 2010年
- 运行已有大型商业软件进行系统级验证是获得高质量SoC设计的有效手段,然而一旦硬件故障导致该类软件运行失效,故障局部化过程将十分困难.为此提出一种基于不确定性过滤的硬件故障局部化方法FaLoFiN.首先提取不确定性函数调用集;然后分别从参考运行和故障运行中过滤不确定性函数调用集;最后通过比较、定位异常函数调用,实现与硬件故障相关代码范围的局部化.实验结果表明,FaLoFiN方法具有较高的硬件故障局部化准确度,能有效地将PKUnity-86系统中的真实硬件故障局部化.
- 郑衍松佟冬李皓王克义程旭
- 关键词：硬件故障
- MDCI:基于多粒度动态控制流不变式的硬件故障局部化
- 2010年
- 本文提出了一种基于多粒度动态控制流不变式的硬件故障局部化方法MDCI.该方法基于预先提取的置信度较高的各种粒度动态控制流不变式,多粒度逐级迭代地检验控制流不变式程序点是否可达,从而将与硬件故障相关的代码范围局部化.实验结果表明MDCI只需检验少量的控制流程序点,就能准确地将与故障相关的代码范围局部化.
- 郑衍松佟冬王克义程旭
- 关键词：多粒度硬件故障
- 一种面向Microsoft Windows的AMBA设备PCI虚拟化机制
- 2011年
- PKUnity-86是基于x86处理器和AMBA开放总线架构的系统芯片,既能快速集成各种标准IP核,又支持Microsoft Windows和x86应用程序.如何使AMBA设备支持工业标准的PCI设备枚举和访问,是支持Microsoft Windows的首要问题.本文提出一种硬件VPCI机制,通过为AMBA设备实现虚拟的PCI配置空间,对配置、存储和I/O交易进行转发,Microsoft Windows就能无差别地识别位于PCI总线的标准PCI设备和位于AMBA总线上的AMBA设备,复用标准PCI设备驱动程序以访问相应的AMBA设备.在Bochs模拟器上,基于该PCI虚拟化机制的PKUnity-86系统芯片成功启动Microsoft Windows 98和Windows XP和运行典型的x86应用程序.VPCI的硬件开销仅为标准PCI的13.7%,性能优于标准PCI;读和写PCI配置空间的性能分别是AMD VSA的7.31和6.73倍.
- 庞九凤陆俊林李皓佟冬程旭
- 关键词：系统芯片设备虚拟化
- 面向基于x86处理器和AMBA的系统芯片的全系统模拟器PKUsim-86被引量：2
- 2011年
- 基于周期级全系统模拟器对微体系结构进行系统性能评估成为芯片设计必不可少的环节.虽然x86处理器是当前商业和科学计算领域最广泛采用的处理器,很少有开源的x86模拟器能够满足研究需要.本文面向基于Geode GX x86处理器和AMBA总线的PKUnity-86系统芯片,设计并实现了周期级全系统模拟器PKUsim-86.它可以启动Microsoft DOS、Windows 98、Windows XP等操作系统,运行典型的x86应用程序.PKUsim-86支持功能模拟和性能模拟的在线切换,其指令模拟速度为0.86MIPS,与真实硬件的对比表明,PKUsim-86具有较高的相对准确度.
- 庞九凤佟冬李皓何浪程旭
- 关键词：系统芯片X86处理器
- EmBIOS:一种支持MSWindows的嵌入式系统BIOS设计被引量：1
- 2012年
- 提出一种兼容工业规范的嵌入式BIOS设计EmBIOS,支持嵌入式系统运行MS Windows等操作系统。以中断服务为单位,对全系统模拟器BIOS进行划分可得到中断服务例程集。将中断服务例程集扩展、移植到传统嵌入式固件环境,EmBIOS既能利用现有嵌入式固件初始化系统,又可提供桌面操作系统所需中断服务。EmBIOS正确性和兼容性在PKUnity86 FPGA原型系统中通过运行典型操作系统及应用软件得到了验证,并应用于真实芯片系统。实验表明,EmBIOS具备可移植性,并能提供与商业BIOS相当的启动速度。
- 李皓郑衍松庞九凤佟冬程旭
- 关键词：固件嵌入式系统基本输入输出系统
- MS Windows兼容的系统芯片硬件核心的分析与实践被引量：2
- 2009年
- 研究了开发MS Windows兼容的系统芯片硬件核心的方法。该方法在确保MS Windows兼容的前提下,通过多次模拟运行、逐步抽取的方式获得硬件核心基本系统功能规范。实验表明,相对于完整系统,该硬件核心的复杂度大幅度降低,同时表明不同MS Windows版本所需硬件核心有明显差别。此外,还在FPGA原型上验证了支持MSWindows 98的系统芯片硬件核心。
- 郑衍松佟冬李皓庞九凤王克义程旭
- 关键词：MSWINDOWS系统芯片
