Abstract:

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 ESCA 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 experimental result shows that the functional verification on ESCA processor by adopting the integrated verification method can not only ensure the generation of verification case set, but also achieve the 100% functional coverage by using less verification work, and reduce the verification time of ESCA processor efficiently thus improving the verification efficiency.

Key words: verification techniques of processor;ESCA processor;boundary value verification;equivalence class verification;decision table verification;comprehensive verification