国际科技合作与交流专项项目(2008DFB10010)

作品数：7被引量：6H指数：2
导出分析报告
相关作者：程旭佟冬李皓庞九凤郑衍松更多>>
相关机构：北京大学更多>>
相关期刊：《计算机辅助设计与图形学学报》《北京大学学报（自然科学版）》《电子学报》更多>>
相关主题：系统芯片AMBA全系统模拟器硬件故障固件更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
EmBIOS:一种支持MSWindows的嵌入式系统BIOS设计被引量：1
《北京大学学报（自然科学版）》2012年第1期20-28,共9页李皓 郑衍松 庞九凤 佟冬 程旭 
国家高技术研究发展计划专项经费(2006AA010202);国际科技合作基金(2008DFB10010)资助
提出一种兼容工业规范的嵌入式BIOS设计EmBIOS,支持嵌入式系统运行MS Windows等操作系统。以中断服务为单位,对全系统模拟器BIOS进行划分可得到中断服务例程集。将中断服务例程集扩展、移植到传统嵌入式固件环境,EmBIOS既能利用现有嵌...
关键词：固件 嵌入式系统 基本输入输出系统 MSWindows 
基于固件的系统芯片协同验证平台
《计算机辅助设计与图形学学报》2011年第9期1593-1602,共10页李皓 李险峰 庞九凤 黄侃 郑衍松 佟冬 程旭 
国家"八六三"高技术研究发展计划(2006AA010202);国际科技合作计划(2008DFB10010);国家自然科学基金(60703067)
使用FPGA进行全系统仿真是验证基于平台设计的系统芯片(SoC)的有效手段,但FPGA原型验证一方面须等待硬件设计完成编码,另一方面FPGA全系统环境下的硬件设计错误定位耗时,验证周期较长.为更早展开系统级验证工作并缩短验证周期,提出一种...
关键词：协同验证 系统芯片 固件 全系统模拟器 硬件设计错误 基于平台的设计 
一种面向Microsoft Windows的AMBA设备PCI虚拟化机制
《电子学报》2011年第5期1013-1019,共7页庞九凤 陆俊林 李皓 佟冬 程旭 
国际科技合作基金(No.2008DFB10010)
PKUnity-86是基于x86处理器和AMBA开放总线架构的系统芯片,既能快速集成各种标准IP核,又支持Microsoft Windows和x86应用程序.如何使AMBA设备支持工业标准的PCI设备枚举和访问,是支持Microsoft Windows的首要问题.本文提出一种硬件VPCI...
关键词：系统芯片 微软视窗操作系统 设备虚拟化 配置空间 
面向基于x86处理器和AMBA的系统芯片的全系统模拟器PKUsim-86被引量：2
《电子学报》2011年第2期351-357,共7页庞九凤 佟冬 李皓 何浪 程旭 
国际科技合作基金(No.2008DFB10010)
基于周期级全系统模拟器对微体系结构进行系统性能评估成为芯片设计必不可少的环节.虽然x86处理器是当前商业和科学计算领域最广泛采用的处理器,很少有开源的x86模拟器能够满足研究需要.本文面向基于Geode GX x86处理器和AMBA总线的PKUn...
关键词：全系统模拟 性能评估 系统芯片 X86处理器 
MDCI:基于多粒度动态控制流不变式的硬件故障局部化
《电子学报》2010年第11期2465-2470,共6页郑衍松 佟冬 王克义 程旭 
国家高技术研究发展计划(863计划)课题(No.2006AA010202);国际科技合作项目(No.2008DFB10010)
本文提出了一种基于多粒度动态控制流不变式的硬件故障局部化方法MDCI.该方法基于预先提取的置信度较高的各种粒度动态控制流不变式,多粒度逐级迭代地检验控制流不变式程序点是否可达,从而将与硬件故障相关的代码范围局部化.实验结果表...
关键词：多粒度 动态控制流不变式 硬件故障 故障局部化 
FaLoFiN:基于不确定性过滤的硬件故障局部化方法被引量：2
《计算机辅助设计与图形学学报》2010年第7期1207-1214,共8页郑衍松 佟冬 李皓 王克义 程旭 
国家"八六三"高技术研究发展计划(2006AA010202);国际科技合作计划(2008DFB10010)
运行已有大型商业软件进行系统级验证是获得高质量SoC设计的有效手段,然而一旦硬件故障导致该类软件运行失效,故障局部化过程将十分困难.为此提出一种基于不确定性过滤的硬件故障局部化方法FaLoFiN.首先提取不确定性函数调用集;然后分...
关键词：硬件故障 故障局部化 不确定性过滤 异常函数调用 
MS Windows兼容的系统芯片硬件核心的分析与实践被引量：2
《北京大学学报（自然科学版）》2009年第6期973-978,共6页郑衍松 佟冬 李皓 庞九凤 王克义 程旭 
国家高技术研究发展计划专项经费(2006AA010202);国际科技合作基金(2008DFB10010)资助
研究了开发MS Windows兼容的系统芯片硬件核心的方法。该方法在确保MS Windows兼容的前提下,通过多次模拟运行、逐步抽取的方式获得硬件核心基本系统功能规范。实验表明,相对于完整系统,该硬件核心的复杂度大幅度降低,同时表明不同MS Wi...
关键词：MS WINDOWS 系统芯片 硬件核心 功能规范 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部