一种基于PLI和Simics的微处理器协同验证平台  

A Microprocessor Co-verification Platform Based on PLI and Simics

作　　者：周文涛[1] 樊晓桠[1] 黄小平[1] 

机构地区：[1]西北工业大学航空微电子中心,陕西西安710072

出　　处：《微电子学与计算机》2010年第11期162-165,共4页Microelectronics & Computer

基　　金：国家自然科学基金项目(60773223)

摘　　要：面向微处理器验证,构建了一种基于Verilog PLI和Simics模拟器的微处理器验证平台.该平台通过Ver-ilog PLI,利用设计的控制模块将待测微处理器设计模型与Simics模拟器相连,协同自动化比较运行结果.该平台应用在龙腾R处理器的验证中.结果显示该平台有效增加了验证人员对验证过程的可观测性和可控性,具有灵活性高,仿真速度快等特点.We setup a microprocessor co-verification platform based on Verilog PLI and Simics for microprocessor verification. By the Verilog PLI,the platform connects the design microprocessor module with Simics,and compares the results automatically. The platform was used in ＂Longtium R＂ microprocessor verification. The results show that this platform enhances the observability and control of the verification process,and is characterized by lightness,quickness of simulation.

关 键 词：微处理器验证 VERILOG PLI SIMICS 

分 类 号：TP368.1[自动化与计算机技术—计算机系统结构]