【摘 要】
：
模拟仿真方法是当前微处理器功能验证的主要方法,然而在验证工作后期需要耗费大量的时间来检验余下复杂的功能点,验证收敛速度缓慢.针对该问题,本文在覆盖率增长缓慢时,引入
【机 构】
：
北京大学深圳研究生院,北京大学微处理器研究开发中心
论文部分内容阅读
模拟仿真方法是当前微处理器功能验证的主要方法,然而在验证工作后期需要耗费大量的时间来检验余下复杂的功能点,验证收敛速度缓慢.针对该问题,本文在覆盖率增长缓慢时,引入结合模型检验引擎的测试程序生成方法.该方法首先采用局部建模策略为处理器构建抽象设计模型,然后使用模型检验引擎读入该模型并产生测试生成指导规则,最后,随机测试生成器依据指导规则产生大量测试程序作为模拟器输入,完成功能验证工作.以北大众志UniCore32定点处理器核的功能验证为例评估本文方法,结果表明,使用该方法可以快速完成对未覆盖功能点的验证,
其他文献
简要介绍了某220kV变电站220kV母差保护(RCS—915AB)与作为母联充电、过流保护的(RCS—923A)断路器失灵与辅助保护装置在相互配合使用时存在的缺陷及该缺陷给电网运行造成的
在教学过程中，初中英语教师致力于提高初中生英语阅读能力，不仅能够提高学生整体摄取知识的能力，还顺应了时代发展和新课程改革的要求。中学开设英语课程的目的，是要提高学生基础
如果发电机组长时间停机，就必须进行相应的保养。本文参考了很多有关资料，通过实践的摸索，就水氢冷发电机的保养问题总结了一些经验。从定子、转子、氢气冷却器等主要部件的保养
由于过度消耗化石资源引发的石油紧缺和温室效应问题,已逐步影响到人类社会可持续发展的宗旨,开发能替代化石能源需求的新能源日渐急迫。生物质能源是化石能源的替代能源之一
在机载雷达体制中,空时自适应处理（STAP）可有效抑制杂波并完成动目标检测.但在实际杂波环境中,由于缺乏独立同分布的训练样本,传统STAP算法性能下降严重.针对这一问题,我们利用
一紫杉醇的发现和应用紫杉烷(Taxanes)是一类具有三环二萜基本结构的天然代谢产物,在植物和微生物中,已经发现300多种紫杉烷分子,丰度较高的组分有十余种,大多具有很强的生物学活性,是开发新药的良好药源,在国际上受到广泛重视。其中发现最早并成功应用于临床的是众所周知的一线抗肿瘤药物紫杉醇
传统的可编程互联结构在短距离互连上往往采用单管、中距离上有双向线,这使得在CLB中查找表（LUT）数目变大后,互连上的延迟会随线长增加而呈指数增长.本文提出了一种改进的高性