论文部分内容阅读
通过分析现有微处理器验证方案的不足,提出了一种以功能覆盖率为参考条件的动态伪随机验证方法。实验结果表明,与传统验证手段相比,该方法在仿真时间相同的情况下,条件覆盖率平均提高了13%;在测试指令数目相同的情况下,条件覆盖率平均提高了20%。
基于动态伪随机技术的微处理器验证
【摘 要】
：
通过分析现有微处理器验证方案的不足,提出了一种以功能覆盖率为参考条件的动态伪随机验证方法。实验结果表明,与传统验证手段相比,该方法在仿真时间相同的情况下,条件覆盖率平均提高了13%;在测试指令数目相同的情况下,条件覆盖率平均提高了20%。
【机 构】
：
西北工业大学航空微电子中心
【出 处】
：
计算机应用研究
【发表日期】
：
2008年06期
【基金项目】
：
国家自然科学基金资助项目（60573107）
其他文献
对7B04-O铝合金进行搅拌摩擦加工,对不同旋转速度参数下获得的7B04-O铝合金搅拌区的组织和硬度进行研究,同时利用后续热处理改善搅拌区的组织和硬度.研究表明,搅拌摩擦加工导
铝在阳极氧化过程中放出来的热量对阳极氧化铝（AAO）模板的制备易产生不利影响,与铝基底紧连的阻挡层产生的焦耳热是主要热源.通过将铝基底置于草酸电解液外,考察了阳极氧化电压
由于喷煤量的提高,高炉煤气中的氢含量增加,氢的还原作用增大.本文实验研究了球团矿在不同氢体积分数的还原气体和还原温度下的还原度,并利用未反应核模型,分析了球团矿富氢
用不锈钢生产中的高碱度二次粉尘制备内配煤团块,在高温下自还原获得含铬、镍的金属铁粒.研究影响铁粒聚集长大的因素.研究表明：（1）内配煤团块的渣相碱度（w（CaO）/w（SiO2））小于2.8时,还
以氧化铝陶瓷作为基质材料，通过向氧化铝材料中添加纳米氧化铝粉，同时添加α型氧化铝板晶颗粒来改善氧化铝陶瓷的力学性能．试样在1650℃温度下烧成，并加入La2O3、MgO等氧化物降低
为了模拟不同工艺条件下的连铸坯的凝固组织,采用有限元法模拟了SCM435钢的连铸凝固过程,获得了325 mm×280 mm连铸坯的温度场,在此基础上与元胞自动机(Cell automaton,C
以辽南产菱镁石为原料,先将菱镁石在煅烧炉中900℃煅烧2 h,冷却后得到轻烧氧化镁,然后将轻烧氧化镁按细磨—成型—烧结的工艺流程制备出烧结镁砂.采用差热分析、红外光谱分析
为提高工程结构用高强钢的低周疲劳性能,通过光学显微镜、扫描电子显微镜、X射线衍射仪、疲劳试验等方法,研究了两相区热处理工艺条件下工程结构用钢的显微组织演变及低周疲
基于数理模拟,对五流大方坯连铸中间包内钢水流动特性及温度场进行了研究.物理模拟结果表明:采用湍流控制器可明显延长钢水的响应时间和停留时间,采用梯形围墙有利于钢水在各
利用剪切／搅拌与流变轧制制备了Mg-3Sn-1Mn-xSiC（质量分数／％）复合板材，研究了SiC对流变轧制Mg-3Sn-1Mn-xSiC复合材料组织性能的影响．结果表明：经过活化处理的SiC颗粒在Mg-3Sn-1Mn-xSi