论文部分内容阅读
通过分析现有微处理器验证方案的不足,提出了一种以功能覆盖率为参考条件的动态伪随机验证方法。实验结果表明,与传统验证手段相比,该方法在仿真时间相同的情况下,条件覆盖率平均提高了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
为提高工程结构用高强钢的低周疲劳性能,通过光学显微镜、扫描电子显微镜、X射线衍射仪、疲劳试验等方法,研究了两相区热处理工艺条件下工程结构用钢的显微组织演变及低周疲
利用剪切／搅拌与流变轧制制备了Mg-3Sn-1Mn-xSiC（质量分数／％）复合板材，研究了SiC对流变轧制Mg-3Sn-1Mn-xSiC复合材料组织性能的影响．结果表明：经过活化处理的SiC颗粒在Mg-3Sn-1Mn-xSi