微处理器功能验证程序生成

根据指令集构造的指令功能、语法格式和语义要求,建立了微处理器指令类型集合和指令操作数集合;以此为基础,为每个指令类型集合构建一个指令生成模型.根据指令生成模型、验证计划等创建微处理器功能验证程序模板,并结合微处理器流水线状态控制部件的有限状态机的基本状态转移路径,提出一种指令序列的功能验证方法.根据程序模板实现功能验证程序伪随机生成.实验结果表明：采用该方法可以高效生成功能覆盖率高、仿真时间短的RISC3200功能验证程序.

Program Generation for Functional Verification of Microprocessor

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.