针对流水冲突的微处理器功能验证程序的自动生成

功能验证是处理器设计中的关键问题，而基于激励向量仿真的方法是功能验证的主流技术，其难点在于如何产生高效的测试程序。研究了针对流水冲突的测试程序的自动生成方法。与常规技术相比，该方法适用于深度流水、指令系统复杂的处理器，具有自动化程度高、针对性强等优点。本文方法已应用于32位RISC处理器的验证中，取得了良好的效果。

Automatic Test Program Generation Focusing Pipeline Hazard in Processor Verification

Functional verification is one of the most important issues in the processor design. The test program based verification technique is the most often used technique, So how to generate the efficient test program is a very important problem. We give an automatic test program generation technique to verify the processor pipeline hazard function. Compared with the common way, this technique can test the processor with deep pipeline and complicated instruction, also it has the advantage of highly automatic and unique focus. We use this technique on a 32 bit RISC processor and get good result.