王朋宇

作品数：5被引量：23H指数：2
导出分析报告
供职机构：中国科学院计算技术研究所更多>>
发文主题：功能点指令级大规模集成电路微处理器验证嵌入式系统更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机研究与发展》《软件学报》《高技术通讯》《计算机辅助设计与图形学学报》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划北京市自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
片上多核处理器存储一致性验证被引量：13
《软件学报》2010年第4期863-874,共12页王朋宇 陈云霁 沈海华 陈天石 张珩 
国家自然科学基金Nos.60603049;60673146;60736012;60721061;国家高技术研究发展计划(863)Nos.2007AA01Z112;2008AA110901;2007AA01Z114;国家重点基础研究发展计划(973)No.2005CB321600~~
存储一致性验证是片上多核处理器功能验证的重要部分.由于验证并行程序的执行结果是否符合存储一致性模型理论上是NP难问题,现有的验证方法中只能采用一些时间复杂度大于O(n3)的不完全方法.发现在支持写原子性的多处理器系统中,两条执...
关键词：存储一致性模型 验证 时间序 片上多核处理器 缓存一致性 
使用支持向量机的微处理器验证向量优化方法被引量：1
《高技术通讯》2010年第1期68-74,共7页王朋宇 郭崎 沈海华 陈云霁 张珩 
国家自然科学基金(60603049,60673146);863计划(2007AA01Z112,2008AA110901);973计划(2005CB321600);北京市自然科学基金(4072024)资助项目
为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。...
关键词：支持向量机(SVM) 功能覆盖率模型 微处理器验证 仿真验证 验证向量优化 
基于遗传算法的全芯片级覆盖率驱动随机验证技术被引量：5
《计算机研究与发展》2009年第10期1612-1625,共14页沈海华 王朋宇 卫文丽 郭崎 
国家"九七三"重点基础研究发展计划基金项目(2005CB321600);国家"八六三"高技术研究发展计划基金项目(2008AA110901;2007AA01Z112);国家自然科学基金项目(60603049;60803029);北京市自然科学基金项目(4072024)~~
随机测试生成技术是当今大规模集成电路仿真验证流程中的重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点.遗传算法具有部分优化问题的黑盒特性,不需要了解问题的太多先验知识,适合处理黑盒优化问题.因此,将遗传算法...
关键词：验证 大规模集成电路 随机测试生成 覆盖率驱动的测试生成 遗传算法 
嵌入式处理器在片调试功能的验证被引量：2
《计算机辅助设计与图形学学报》2007年第4期502-507,共6页许彤 王朋宇 黄海林 范东睿 朱鹏飞 郑保建 曹非 
国家自然科学基金杰出青年基金(60325205);国家"八六三"高技术研究发展计(2002AA110010);国家"九七三"重点基础研究发展规划项目(2005CB321600);中国科学院计算技术研究所知识创新课题(20056230)
以龙芯1号处理器为研究对象,探讨了基于JTAG的处理器在片调试功能的验证方法.根据在片调试的结构特征建立了功能覆盖率模型,并以访存模式为基准分步建立虚拟验证原型.整个验证将定向功能测试和指令集随机测试有机地结合起来,迅速定位了...
关键词：在片调试 覆盖率模型 虚拟验证原型 定向功能测试 随机测试 龙芯1号处理器 
嵌入式Linux系统BSP的设计与实现被引量：2
《计算机工程与科学》2005年第1期64-66,共3页阳富民 王朋宇 涂刚 
本文介绍了嵌入式系统的BSP及其作用 ,以基于PXA2 5 0的嵌入式Linux系统为开发环境 。
关键词：BSP 嵌入式LINUX系统 嵌入式系统 PXA250 开发环境 设计 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部