|
|||||
|
|
| 嵌入式处理器在片调试功能的验证 | |
| 引用本文： | 许彤,王朋宇,黄海林,范东睿,朱鹏飞,郑保建,曹非.嵌入式处理器在片调试功能的验证[J].计算机辅助设计与图形学学报,2007,19(4):502-507. |
| 作者姓名： | 许彤 王朋宇 黄海林 范东睿 朱鹏飞 郑保建 曹非 |
| 作者单位： | 1. 中国科学院计算技术研究所系统结构部微处理器中心,北京,100080;中国科学院研究生院,北京,100049 2. 中国科学院计算技术研究所系统结构部微处理器中心,北京,100080 3. 北京神州龙芯集成电路设计有限公司,北京,100083 |
| 基金项目： | 国家自然科学基金 , 国家高技术研究发展计划(863计划) , 国家重点基础研究发展计划(973计划) , 中国科学院知识创新工程项目 |
| 摘 要： | 以龙芯1号处理器为研究对象,探讨了基于JTAG的处理器在片调试功能的验证方法.根据在片调试的结构特征建立了功能覆盖率模型,并以访存模式为基准分步建立虚拟验证原型.整个验证将定向功能测试和指令集随机测试有机地结合起来,迅速定位了设计中多个难以发现的错误.最终验证的功能覆盖率达到100%,FPGA原型经长时间运行无误. |
| 关 键 词： | 在片调试 覆盖率模型 虚拟验证原型 定向功能测试 随机测试 龙芯1号处理器 嵌入式处理器 调试功能 验证方法 Embedded Function 运行 长时间 FPGA 功能覆盖率 错误 发现 设计 定位 结合 随机测试 指令集 功能测试 定向 原型 虚拟 |
| 收稿时间： | 2006-08-15 |
| 修稿时间： | 2006-08-152006-11-24 |
Verification of on-Chip-Debugging Function in Embedded Processors |
|
| Xu Tong,Wang Pengyu,Huang Hailin,Fan Dongrui,Zhu Pengfei,Zheng Baojian,Cao Fei.Verification of on-Chip-Debugging Function in Embedded Processors[J].Journal of Computer-Aided Design & Computer Graphics,2007,19(4):502-507. | |
| Authors: | Xu Tong Wang Pengyu Huang Hailin Fan Dongrui Zhu Pengfei Zheng Baojian Cao Fei |
| Affiliation: | 1 Microprocessor Center, Department of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080 ; 2 Graduate University of Chinese Academy of Sciences, Beijing 100049; 3 BLX IC Design Co., Ltd, Beijing 100083 |
| Abstract: | With Godson-1 processor as the research prototype, a verification method of processor's on-chip-debugging function based on JTAG is presented in this paper. The functional coverage model was set up based on on-chip-debugging structure features and the virtual verification prototype was built steadily according to the different memory access modes. The whole verification integrated directed functional test and ISS random test into one flow, and located several ordinarily hard-to-discover bugs effectively. Finally, the functional coverage reached 100%, and the FPGA prototype worked correctly for required long time. |
| Keywords: | on-chip-debugging verification coverage model virtual verification prototype directed functional test random test godson-1 processor |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |