【摘 要】
：
现有的CPU验证平台大多基于指令码匹配技术搭建,这种方式开发周期长、调试难度高.在CPU芯片的设计中,高效和完备的功能验证已成为CPU可靠性的重要依据.针对某32位CPU芯片的验证需求,提出了一种高效率可重构的CPU验证平台,并完成了该验证平台的设计与实现.该验证平台充分利用SystemVerilog的字符串匹配技术,集成了验证用例生成组件、参考模型组件、监控组件和结果比较组件,使用脚本语言自动化完成批量验证.相比现有的CPU验证平台,该平台开发及调试周期短,模块化的结构易于重复使用和移植.目前该平台已完
【机 构】
：
中科芯集成电路有限公司,江苏无锡 214072
论文部分内容阅读
现有的CPU验证平台大多基于指令码匹配技术搭建,这种方式开发周期长、调试难度高.在CPU芯片的设计中,高效和完备的功能验证已成为CPU可靠性的重要依据.针对某32位CPU芯片的验证需求,提出了一种高效率可重构的CPU验证平台,并完成了该验证平台的设计与实现.该验证平台充分利用SystemVerilog的字符串匹配技术,集成了验证用例生成组件、参考模型组件、监控组件和结果比较组件,使用脚本语言自动化完成批量验证.相比现有的CPU验证平台,该平台开发及调试周期短,模块化的结构易于重复使用和移植.目前该平台已完成代码覆盖率收集,成功验证了自主设计的CPU功能正确性.
其他文献
针对电子设备故障预测的需求,在分析研究灰色GM(1,1)经典模型及其新陈代谢改进模型的基础上,根据原始数据的数据发展趋势,提出了一种基于序列平均变化率的灰色预测模型,经结合某电台调频(Frequency Modulation,FM)发射功率样本数据进行算例分析,验证了该方法可有效提高故障预测精度,对电子设备的预防性维修、故障状态监测等工作具有重要的参考借鉴价值.
随着无人机技术的迅速发展和其制造成本的降低,其在空中作战任务中的应用将更加多样化.无人机集群的规模化作战和异构无人机的协同工作方式,将是未来无人机任务规划重点研究的内容.文中针对无人机要地防御作战样式,提出了无人机的密集布阵使用方法,并基于该作战使用方法构建了无人机的空中布阵阵型的算法模型.
针对静态RAM容量小、价格昂贵,无法满足复杂需求的问题,提出在弹载雷达信号处理中应用DDR3 SDRAM作为数据存储器的方案.文中对DDR3 SDRAM在弹载雷达信号处理数据重排的应用方式进行了分析,设计了基于多BANK并行突发写、连续地址读的方案,解决了DDR3 SDRAM地址不连续读写时效率严重下降的问题,并对多种不同的读写方式开展了逻辑设计、仿真与性能评估等,验证了DDR3 SDRAM在弹载雷达信号处理应用的可行性,该方案读写速率存在较大余量,完全满足弹载雷达信号处理的需求,并能满足后续功能升级的需
晶圆级封装键合环金属化过程中,铜和钛种子层通常采用两步湿法刻蚀工艺去除.该工艺分两步进行,成本高,且效率低,因此有必要探究新的腐蚀工艺.氨水、双氧水和水的混合物通常称为Ⅰ号液.通过研究铜和钛在不同比例的Ⅰ号液中的腐蚀特性,选择适当的配比,使Ⅰ号液对铜和钛有合适的选择比,达到将种子层刻蚀由两步合成为一步的目的.研究表明,当氨水和双氧水的浓度分别为2.11 mol/L和0.66mol/L时,同样条件下一步法可以获得良好的刻蚀形貌.
针对现有机载视频采集设备不能同时记录多路屏幕的缺陷,提出了一种机载多路视频采集设备的设计,说明了其工作原理、系统构成及软件操作流程、可靠性设计.设备由8路采集单元和1个存储单元构成,采用H.264算法实现VGA信号采集压缩,FPGA和PowerPC芯片实现功能控制,固态电子盘进行数据存储.该设备对于评估飞行任务、故障责任定位,具有重要作用.实践表明,该设备能够满足使用需求,且效果良好.
有关均匀圆阵(Uniform Circular Array,UCA)相位干涉仪正确解相位模糊(Correct Phase Ambiguity Resolution,CPAR)方面的研究已经取得了很多理论结果,其中针对正确解相位模糊概率值的数值研究涉及基线公式,阵元数量,半径波长以及相位测量方法.基于均匀圆阵干涉仪上的一些性质,本文提出了三种提高正确解相位模糊概率值的方法.对这些方法的验证实验工作量巨大,但是实验结果有助于对方法进行有效性评估,以及如何在具体工程要求下选择对应算法.
未来智能战争条件下,作战指挥软件界面的可用性对指挥员的工作负荷及任务绩效有较大影响.为全面有效评估作战指挥软件界面的可用性水平,基于投入-过程-产出(Input-Process-Output,IPO)模型对其可用性评价指标体系进行了研究.通过分析作战指挥软件界面的显示特征、认知特征、任务特征,建立了作战指挥软件界面IPO模型,并据此构建多层次可用性评价指标体系.该评价指标体系的建立为作战指挥软件界面可用性评价提供了有益参考,有助于界面的迭代优化,提升系统的人机交互水平.
针对TMS320F28335仿真器现场程序升级困难的现象,提出了基于CAN(Controller Area Network)总线的远程在线升级方法,并详细介绍了该方法的基本原理.在不破坏各节点间通信的基础上,该方法实现了对CAN网络中任意节点在线升级的功能.通过分别控制网络中节点数、CAN总线长、目标节点优先级和网络负载率进行了大量试验,试验结果验证了该方法的可靠与稳定性.
随着高温半导体SiC、GaN功率器件不断增加和对其寿命要求的提高,器件需承受500℃以上的工作温度,同时电子元器件在封装技术和组装技术上的多层级工艺温度控制需求,都对互连材料提出了更严苛的要求.传统高温互连材料(主要包含高铅焊料和金基焊料)因钎焊温度高和固相线温度低已不能满足高温应力环境要求.介绍了瞬态液相烧结(Transient Liquid Phase Sintering,TLPS)的原理,从TLPS不同体系的制备、烧结工艺和性能、可靠性研究进行综述,提出TLPS研究过程中存在的问题,并对TLPS技术
导电胶广泛应用于陶瓷基板组装工艺中,装配过程中时常出现树脂溢出现象.严重的树脂溢出会导致后道工序无法顺利开展,影响组装效率和良率.通过相关试验说明了树脂溢出与陶瓷基板表面能没有明显的相关性,但与基板孔隙率和表面极性污染物存在正相关,并通过不同条件下的烘烤试验分析了其对基板极性污染物的去除效果,给出了便捷高效的溢胶改善方法.