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

• Automatic Test Program Generation Focusing Pipeline Hazard in Processor Verification