【摘 要】
：
处理器结构的日益复杂使得对处理器功能进行有效验证变得越来越重要和关键。基于一款高效能计算协处理器ESCA，讨论了边界值验证、等价类验证和决策表验证等三类验证方法在ESCA
论文部分内容阅读
处理器结构的日益复杂使得对处理器功能进行有效验证变得越来越重要和关键。基于一款高效能计算协处理器ESCA，讨论了边界值验证、等价类验证和决策表验证等三类验证方法在ESCA处理器功能验证中的具体实现，并针对ESCA处理器中不同功能模块的基本特性提出了一种综合验证方法。实验结果表明，采用综合验证方法进行的ESCA处理器功能验证，不仅高效保证了验证案例集的生成，而且以较少的验证工作量实现了100％功能覆盖率，有效减少了ESCA处理器功能验证时间，提高了验证效率。
其他文献
运动模板算法在复杂环境下无法准确提取运动目标区域,并且依赖帧间间隔的选取,无法对减速运动目标取得良好检测效果。针对该缺点,提出了一种改进的运动模版算法。首先,对输入的视频序列采用Canny算子结合轮廓信息提取水岸边界线;然后,将运动历史图沿着水岸边界线进行水岸分离,消除岸上运动目标的干扰;接着,对水面区域进行形态学处理,消除背景中水面上非目标运动对象;最后,对形态学处理后的结果进行船舶轮廓检测,计
语言来源于生活,在生活中学语文,这是“大语文教学观”的需要。识字、阅读、习作、口语交际都与现实生活紧密相连。在语文教学中,渗透学生的生活,使语文教学返朴归真,应让语
在传统的初中语文教学中,教师在课堂上处于中心位置,而学生则处于被动位置。在这种教学模式下,很多学生对写作都产生了畏难心理。在网络环境下,初中语文教师可以采用微作文的
近年来我国城镇化水平偏低,小城镇建设必须筹谋在前,规划先行,完善基础设施配套建设,要把产业发展作为小城镇建设的根基。小城镇建设,作为一项发展战略,必须做好科学合理的规
小学阅读教学是由学习与教育两方面相辅相成来实现的。目前不少语文教师更强调课堂上的教学环节而忽视了学生在学习方面的主观能动性发挥,缺乏自主能力的培养。让小学生面对
在日益竞争激烈的时代潮流中,需要的是具有创新精神、开拓精神的新时代人才。我们在高中生物的课堂中也要为这种新型人才的培养做出相应的努力和改变。为了适应当今时代的发
急性低血压是危害病人健康的并发症之一，对急性低血压发生的提早预测，能够帮助医生对重症病人找到更好的医疗处理方案。提出了一个基于趋势分量的Gaussian函数拟合预测模型，即用
当前随着计算机技术的发展，计算机软件存在规模大、漏洞难以发现的特点，人工审核大规模软件的漏洞花费的人工成本大，在大规模软件中可行性低。因此，基于机器自动挖掘漏洞的方法成
伴随着新课改的逐步深入,教师对于学生的数学学习质量要求也在逐步提升。为了能够切实提升学生的知识理解水平,教师需要重点关注学生的学习习惯,从各个方面进行综合性考量,有
综述地黄饮子在方剂研究、临床应用研究、实验研究等方面近 2 0年的资料。认为该方应筛选、精简药物 ,研制成高效、方便的现代新剂型 ;对该方益智作用的实验研究尚待进一步深