Abstract:
In this paper,we present an instruction set structure based automatic random test program generation (ARTG), which can cooperate with hardware design and verification environment perfectly. It provides an instruction tree used for composing instructions,a kind of dynamic strategy,an algorithm for generation of branch and jump instructions,an algorithm for predicting pipeline hazard,and a result checking mechanism.ARTG also helps to high automation of verification progress,and locate the bugs rapidly.ARTG has been applied on IME-Diamond DSP.The experiment result shows that test program generated by ARTG are flexible and efficient with low complexity.