检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[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[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.66