搜索到7094篇“ 微处理器验证“的相关文章
一种基于UVM的异步微处理器验证方法及系统
本发明公开了一种基于UVM的异步微处理器验证方法及系统,方法包括:对RTL代码进行修改;通过异步握手单元延时模拟,模拟Click异步握手单元内部逻辑元件的内部延时;通过DelayBuffer延时模拟,模拟Click流水线...
庄竣杰刘垚王明羽虞志益
微处理器验证方法、装置、电子设备及计算机可读存储介质
本申请实施例涉及一种微处理器验证方法、装置、电子设备以及计算机可读存储介质,其中方法包括:通过激励发生器产生激励数据;将待验对象和参考模型绑定,使得所述参考模型附属于所述待验对象;将所述n个激励指令发送至所述待验对象,得...
王飞
基于多模拟器协同模拟的微处理器验证技术研究
随着通用高性能微处理器进入多核时代,处理器芯片的设计规模大大增加,随之而来的是功能验证复杂度的急剧提升,开发一种可以快速定位设计错误的验证平台,对缩短处理器的上市时间具有至关重要的作用。  本文设计并实现了一种基于Ver...
宋慧静
关键词:微处理器芯片验证
基于多模拟器协同模拟的微处理器验证技术研究
2015年
提出并实现了一种基于Verilog模拟器与C模拟器协同模拟的微处理器验证平台Bug Finder.该平台通过System Verilog DPI(Direct Programming Interface)和操作系统共享内存机制,将待验证微处理器的RTL模型与GEM5模拟器相连,并自动比较每条指令的运行结果,可以发现深层次的设计错误并快速定位.在实际验证中的应用结果显示,Bug Finder平台可以快速定位到大量RTL设计和验证环境中的错误,有效缩短了处理器验证周期.
宋慧静赵天磊吴虎成张民选
关键词:微处理器验证SYSTEMVERILOGDPI
基于OVM的32位微处理器验证被引量:1
2012年
硬件描述与验证语言System Verilog可以克服传统仿真验证方法的缺陷,使验证平台的搭建更加灵活,可重用性更强。开放验证方法学(Open Verification Methodology,OVM)是一个在验证环境中使用System Verilog对数字硬件进行功能验证的框架。OVM的组件由System Verilog的类组成,并按照良好的结构化和层次化原则,构成一个高质量、高效率、可重用的验证环境。论文介绍了OVM验证方法学的基本概念和组件,并且利用OVM验证方法学搭建了32位微处理器验证平台。
吴勇昊毕卓
关键词:SYSTEMVERILOGOVM微处理器
使用支持向量机的微处理器验证向量优化方法被引量:1
2010年
为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。利用训练后的分类器对于新产生的验证向量进行预测,并丢弃预测中不能提高覆盖率的冗余验证向量。实验数据表明该方法能准确地过滤冗余验证向量,提高仿真运行的验证向量的质量。和完全随机的验证向量生成方法相比,该方法达到相同的功能覆盖率仅需要前者1/3的验证向量。
王朋宇郭崎沈海华陈云霁张珩
关键词:微处理器验证仿真验证
一种微处理器验证中快速换页的装置和方法
本发明涉及一种微处理器验证中快速换页的装置和方法。该装置包括:随机指令控制模块,用于读入验证微处理器的指令和数据,以及指令和数据的虚页号;为每个虚页号分配物理页号,生成页表;根据页表将指令和数据写入到内存模块中;接收处...
王朋宇沈海华陈云霁
一种面向微处理器验证的分层随机激励方法被引量:8
2010年
针对日趋复杂的微处理器功能验证,提出一种基于分层思想的受限随机激励产生方法,通过测试层、场景层、功能层和指令层的多层约束,实现随机激励在不同粒度范围的高度可控性,精炼测试空间,加快验证的收敛速度。采用可配置的功能库,将处理器功能行为单元作为随机激励的构建基础,产生逻辑功能与通信接口结合的随机激励,实现系列处理器验证复用。CKCore处理器验证的实验结果表明,该方法与受限随机激励相比,在功能覆盖率相同的情况下,激励编写量减少60%;在仿真时间相同的情况下,功能和代码覆盖率分别改善10%和5%以上,有效提高处理器验证的质量和效率。
张欣黄凯孟建熠殷燎严晓浪葛海通
关键词:微处理器
面向微处理器验证的分层随机激励技术的设计研究
随着嵌入式系统功能日益增强,设计复杂度和上市时间(TTM)之间的矛盾逐渐突出,提高功能测试验证的效率和覆盖率是当前数字集成电路研究的热门领域。本文以嵌入式CPU的验证为背景,探索数字集成电路功能验证的激励产生方法,提出一...
张欣
关键词:微处理器嵌入式系统数字集成电路
一种微处理器验证中快速换页的装置和方法
本发明涉及一种微处理器验证中快速换页的装置和方法。该装置包括:随机指令控制模块,用于读入验证微处理器的指令和数据,以及指令和数据的虚页号;为每个虚页号分配物理页号,生成页表;根据页表将指令和数据写入到内存模块中;接收处...
王朋宇沈海华陈云霁

相关作者

沈海华
作品数:65被引量:109H指数:6
供职机构:中国科学院计算技术研究所
研究主题:微处理器 仿真验证 芯片验证 指令级 初始化
王朋宇
作品数:15被引量:32H指数:3
供职机构:中国科学院计算技术研究所
研究主题:功能点 指令级 大规模集成电路 微处理器验证 嵌入式系统
陈云霁
作品数:195被引量:201H指数:8
供职机构:中国科学院计算技术研究所
研究主题:神经网络 加速器 处理器 智能芯片 存储数据
李鹏
作品数:130被引量:85H指数:6
供职机构:清华大学
研究主题:机器人 氮化硼 金属电极 二硫化钼 离子传感器
李思昆
作品数:426被引量:1,463H指数:18
供职机构:国防科学技术大学计算机学院
研究主题:SOC 虚拟现实 可视化 CAD 虚拟环境