Leon2微处理器流水线相关验证  

Function Verification for Production-line Status of Leon2

作　　者：张杨[1] 王竹平[1] 

机构地区：[1]西安微电子技术研究所,陕西西安710054

出　　处：《现代电子技术》2010年第20期39-42,共4页Modern Electronics Technique

摘　　要：微处理器的功能验证成为设计验证的瓶颈,指令集的组合验证对流水线处理器具有重要的意义。Leon2流水线相关验证找出了流水线相关的测试向量集,实现了测试程序的自动生成,构造自动化程度较高的验证平台。与指令随机组合测试的方法相比,有针对性地验证了引起流水线相关的情况,同时测试程序达到了较高的流水线状态覆盖率。The functional verification becomes a bottleneck in the design and verification of microprocessors. The cross verification of instruction set is very important for pipeline processor. By the relevant verification for pipeline of Leon2, the test vector set of the production-line was found, the automatic generation of test programs was achieved and a verification platform of high automation was built. In comparison with the method of random assembly testing of instructions, this method can verify the situation of pipeline hazard and the testing program can achieve higher coverage rate of the pipeline status.

关 键 词：LEON2 功能验证 流水线相关 测试用例 

分 类 号：TN911-34[电子电信—通信与信息系统] TP331[电子电信—信息与通信工程]