公共文化服务平台

基于虚拟机的MS Windows兼容片上系统固件技术研究: 随着半导体技术的发展和消费类电子产品复杂度的不断增长,基于平台的设计(Platform-Based Design)方法逐渐成为片上系统(System-on-Chip,SoC)设计主流,且SoC运行的软件系统日益复杂。丰富...; 李皓; 关键词：片上系统兼容性能设备驱动程序

基于固件的系统芯片协同验证平台: 2011年; 使用FPGA进行全系统仿真是验证基于平台设计的系统芯片(SoC)的有效手段,但FPGA原型验证一方面须等待硬件设计完成编码,另一方面FPGA全系统环境下的硬件设计错误定位耗时,验证周期较长.为更早展开系统级验证工作并缩短验证周期,提出一种基于固件的协同验证平台——FCVP.FCVP在FPGA上基于固件模拟待测硬件设计和系统模块,通过运行真实工作负载,对比FPGA中待测硬件设计和FCVP模拟参考模型的行为,帮助分析、定位硬件设计错误.在PKUnity86 SoC上进行验证的实例表明,FCVP可用于SoC设计初期验证,并可有效地辅助硬件设计错误的定位.性能评测显示,FCVP模拟性能优于纯软件模拟器.; 李皓李险峰庞九凤黄侃郑衍松佟冬程旭; 关键词：系统芯片固件全系统模拟器

FaLoFiN:基于不确定性过滤的硬件故障局部化方法被引量：2: 2010年; 运行已有大型商业软件进行系统级验证是获得高质量SoC设计的有效手段,然而一旦硬件故障导致该类软件运行失效,故障局部化过程将十分困难.为此提出一种基于不确定性过滤的硬件故障局部化方法FaLoFiN.首先提取不确定性函数调用集;然后分别从参考运行和故障运行中过滤不确定性函数调用集;最后通过比较、定位异常函数调用,实现与硬件故障相关代码范围的局部化.实验结果表明,FaLoFiN方法具有较高的硬件故障局部化准确度,能有效地将PKUnity-86系统中的真实硬件故障局部化.; 郑衍松佟冬李皓王克义程旭; 关键词：硬件故障

一种面向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倍.; 庞九凤陆俊林李皓佟冬程旭; 关键词：系统芯片设备虚拟化

北京大学队未名·SHU: 2018年; 1.团队介绍北京大学赛队在物理学院的领导下,充分集合了北京大学多学院专业力量,并利用学科优势在交叉融合的方针下努力完成本次集体比赛项目,涉及物理学院、信息科学技术学院、政府管理学院、工学院、新闻传播学院、建筑与景观学院、法学院等多个学院,10多名指导老师、20多名在校本科生或研究生以及北京大学建筑学研究中心、北京大学未来城市与城市工学实验室等专业研究机构的工作人员（图1、图2）。; 张焱肖雅心闫明石喆李皓陈旭; 关键词：比赛项目学科优势

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的系统芯片硬件核心。; 郑衍松佟冬李皓庞九凤王克义程旭; 关键词：MS WINDOWS 系统芯片

合同法上附随义务基本理论问题研究: 笔者以诚实信用原则为出发点和归宿，以我国合同法的规定为现实依托，以学界的研究共识为平台，着重探讨了基于诚实信用原则而产生的附随义务在合同法领域的表现，针对学界关于合同上的附随义务的范围、表现形式、功能以及违反该义务所产生...; 李皓; 关键词：合同法附随义务诚实信用原则权益保护

面向基于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处理器

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

李皓