高效能ESCA协处理器验证技术研究  

Research on verification techniques of high-performance ESCA coprocessor

作　　者：邓承诺[1] 吴丹[1] 黄威[1] 戴葵[1] 邹雪城[1] 

机构地区：[1]华中科技大学电子科学与技术系,湖北武汉430074

出　　处：《计算机工程与科学》2014年第1期28-33,共6页Computer Engineering & Science

基　　金：国家自然科学基金资助项目(60973035;60976027);湖北省自然科学基金资助项目(ZRZ0051)

摘　　要：处理器结构的日益复杂使得对处理器功能进行有效验证变得越来越重要和关键。基于一款高效能计算协处理器ESCA,讨论了边界值验证、等价类验证和决策表验证等三类验证方法在ESCA处理器功能验证中的具体实现,并针对ESCA处理器中不同功能模块的基本特性提出了一种综合验证方法。实验结果表明,采用综合验证方法进行的ESCA处理器功能验证,不仅高效保证了验证案例集的生成,而且以较少的验证工作量实现了100%功能覆盖率,有效减少了ESCA处理器功能验证时间,提高了验证效率。The increasing complexity of processor structure makes the efficient verification on the performance of processor become increasingly important and critical. Based on the high-performance ES- CA coprocessor, the concrete implementation of border value verification, equivalence verification, and decision table verification methods are discussed, and also an integrated verification method is proposed by considering the basic characteristics of different functional modules of ESCA processor. The experi- mental result shows that the functional verification on ESCA processor by adopting the integrated verifi-

关 键 词：处理器验证技术 ESCA处理器 边界值验证 等价类验证 决策表验证 综合验证法 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]