王朋宇
- 作品数：15 被引量：32H指数：3
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种用于指令级随机验证的指令组合过滤方法及系统
- 本发明涉及一种用于指令级随机验证的指令组合过滤方法及系统。该方法包括：步骤1，在指令模板中添加待过滤的指令组合相关的约束，该约束包括指令组合的类型定义；步骤2，设置指令过滤器为先进先出的队列模式；步骤3，如果进入指令过滤...
- 沈海华王朋宇张珩
- 文献传递
- 形式化引擎加速处理器仿真验证收敛技术
- 沈海华王朋宇郭崎陈博文
- 针对仿真验证中存在的问题，提出以形式化引擎求解覆盖率轨迹反馈驱动仿真测试向量生成，加速验证收敛。通过对可快速提供覆盖率轨迹的形式化引擎关键技术、覆盖率轨迹实时驱动处理器仿真验证的关键技术、支持多指令集的验证技术、基于片上...
- 关键词：
- 一种在指令级随机测试中支持EJTAG测试的实现方法
- 本发明公开了一种在指令级随机测试中支持EJTAG测试的方法，包括步骤：a)在指令库中添加EJTAG调试指令SDBBP/DRET；b)在指令模版中添加调试指令相关的约束；c)对指令级随机测试产生引擎进行改进；d)在指令级模...
- 沈海华王朋宇胡伟武
- 文献传递
- 一种用于指令级随机验证的指令组合过滤方法及系统
- 本发明涉及一种用于指令级随机验证的指令组合过滤方法及系统。该方法包括：步骤1，在指令模板中添加待过滤的指令组合相关的约束，该约束包括指令组合的类型定义；步骤2，设置指令过滤器为先进先出的队列模式；步骤3，如果进入指令过滤...
- 沈海华王朋宇张珩
- 文献传递
- 嵌入式系统板级支持包的设计与实现
- 随着嵌入式系统复杂性的增长,嵌入式系统的开发一般需要在操作系统的基础上进行.硬件平台的多样性是嵌入式系统的主要特点,如何使嵌入式操作系统在不同的硬件平台上有效地运行,是嵌入式系统开发中需要解决的关键问题.与通用计算机不同...
- 王朋宇
- 关键词：嵌入式系统板级支持包内核
- 文献传递
- 使用支持向量机的微处理器验证向量优化方法被引量：1
- 2010年
- 为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。利用训练后的分类器对于新产生的验证向量进行预测,并丢弃预测中不能提高覆盖率的冗余验证向量。实验数据表明该方法能准确地过滤冗余验证向量,提高仿真运行的验证向量的质量。和完全随机的验证向量生成方法相比,该方法达到相同的功能覆盖率仅需要前者1/3的验证向量。
- 王朋宇郭崎沈海华陈云霁张珩
- 关键词：微处理器验证仿真验证
- 基于遗传算法的全芯片级覆盖率驱动随机验证技术被引量：6
- 2009年
- 随机测试生成技术是当今大规模集成电路仿真验证流程中的重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点.遗传算法具有部分优化问题的黑盒特性,不需要了解问题的太多先验知识,适合处理黑盒优化问题.因此,将遗传算法应用在覆盖率反馈驱动随机测试生成时,不需要复杂的领域先验知识,节约了大量的专家时间,提高了验证的自动化程度.分析了各种基于遗传算法的覆盖率驱动的随机测试生成方法,并在此基础上设计和实现了基于遗传算法的全芯片级覆盖率驱动随机验证平台.该平台被实际应用在龙芯处理器的验证中,实验结果表明,平台有效提高了验证效率.
- 沈海华王朋宇卫文丽郭崎
- 关键词：大规模集成电路遗传算法
- 验证向量的优化方法及装置
- 本发明公开了验证向量的优化方法及装置。该方法，包括下列步骤：根据仿真后的初始验证向量，获得所述初始验证向量对所定义的功能点的覆盖率的信息，初始化已覆盖功能点列表，构建分类模型；将新生成的验证向量送入所述分类模型，预测新生...
- 郭崎沈海华王朋宇
- 文献传递
- 一种微处理器验证中快速换页的装置和方法
- 本发明涉及一种微处理器验证中快速换页的装置和方法。该装置包括：随机指令控制模块，用于读入验证微处理器的指令和数据，以及指令和数据的虚页号；为每个虚页号分配物理页号，生成页表；根据页表将指令和数据写入到内存模块中；接收微处...
- 王朋宇沈海华陈云霁
- 文献传递
- 一种在指令级随机测试中支持EJTAG测试的实现方法
- 本发明公开了一种在指令级随机测试中支持EJTAG测试的方法，包括读取并解析指令模版；从指令库中选取指令；产生合法指令及相关的附加信号；对指令进行分类处理；将指令分别送入指令级模拟器以及仿真环境；在所述的指令级模拟器中执行...
- 沈海华王朋宇胡伟武
- 文献传递
