Abstract: According to the function,syntax format and semantic requirements of instructions,we build instruction type sets and instruction operand sets of microprocessor.Then we create an instruction generation model for each instruction type set and verification program templates based on instruction generation models,verification plan,etc.Focusing on the functional verification of instruction sequences,we introduce its verification method which is based on the basic state transition path of FSM abstracted from pipeline control unit of microprocessor.At last,verification programs can be pseudo-randomly generated according to program templates.Experimental results show that this approach can efficiently generate RISC3200’s verification programs with high functional coverage and low simulation time.