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

Research on verification techniques of high-performance ESCA coprocessor

处理器结构的日益复杂使得对处理器功能进行有效验证变得越来越重要和关键。基于一款高效能计算协处理器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-