龚令侃
- 作品数：7 被引量：7H指数：2
- 供职机构：华东计算技术研究所更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 微处理器存储管理单元的功能验证方法
- 2010年
- 在分析存储管理单元(MMU)验证方法的基础上设计一种验证专用操作系统(VPOS)。采用静态存储管理、静态用例调度和伪中断处理等技术,为编写可执行、可控制的MMU测试程序提供了软件平台。验证表明,基于VPOS的仿真能在早期的软仿真阶段覆盖94%的MMU设计错误,在FPGA验证中覆盖剩余的错误,保证了移植通用操作系统一次成功。
- 李智周大钧龚令侃
- 关键词：存储管理单元
- 微处理器Cache的验证方法研究被引量：2
- 2010年
- 在微处理器功能验证中,由于高速缓存(Cache)是软件(即测试程序)不可见的,对其进行芯片级验证难以获得高的可控制性(测试场景构造)和可观测性(验证结果检测)。基于此,提出通过验证平台调用的方法,为软件提供服务和管理Cache,构造测试场景。采样由Cache引起的微处理器系统总线行为检测验证结果。实验结果表明,该方法方便测试程序开发,减少验证时间。
- 李智李怡龚令侃章建雄
- 关键词：高速缓存监视器指令集模拟器
- 嵌入式微处理器片上调试系统的设计和验证
- 为了尽可能保持芯片原有体系结构,综合基于软件监控和基于JTAG的2种方法,提出扩展嵌入式处理器片|=调试系统的完整解决方案.该系统包括PC端的开发环境IDE、命令转发与控制子系统Probe和支持JTAG标准的目标CPU等...
- 龚令侃卢景芬
- 关键词：嵌入式微处理器软件设计硬件设计协同设计
- 文献传递
- 嵌入式微处理器片上调试系统的设计和验证被引量：1
- 2008年
- 为了尽可能保持芯片原有体系结构,综合基于软件监控和基于JTAG的2种方法,提出扩展嵌入式处理器片上调试系统的完整解决方案。该系统包括PC端的开发环境IDE、命令转发与控制子系统Probe和支持JTAG标准的目标CPU等部分。通过软硬件协同设计和验证,确保系统划分正确,子系统协调工作,并缩短了调试系统的开发周期。
- 龚令侃卢景芬
- 关键词：嵌入式微处理器
- 32位嵌入式CPU的微体系结构设计被引量：3
- 2008年
- 介绍一款自主设计的嵌入式CPU的微体系结构,给出流水线的设计、分支预测的策略、乱序执行指令的顺序提交、精确异常等议题。提出了CPU内5个执行单元的功能,以及CPU的存储子系统。目前该CPU的前端设计已经完成并通过了FPGA验证。
- 马鹏卢景芬龚令侃
- 关键词：微体系结构
- 基于验证库的微处理器指令集验证方法被引量：1
- 2009年
- 指令集作为微处理器软件和硬件的分界线在计算机体系结构中占有重要地位。测试程序自动生成(RTPG)是微处理器指令集验证的主要方法之一。该文比较目前主流的RTPG技术和验证策略,提出基于验证库的随机测试程序生成工具。使用通用脚本语言开发验证库和测试程序模板,针对不同验证阶段生成高质量的测试程序。测试结果表明,该方法实现简单,能达到较好的验证效果。
- 龚令侃王玉艳章建雄
- 关键词：微处理器
- 32位嵌入式CPU的微体系结构设计
- 介绍一款自主设计的嵌入式CPU的微体系结构,给出流水线的设计、分支预测的策略、乱序执行指令的顺序提交、精确异常等议题.提出了CPU内5个执行单元的功能,以及CPU的存储子系统.目前该CPU的前端设计已经完成并通过了FPG...
- 马鹏卢景芬龚令侃
- 关键词：嵌入式CPU微体系结构前端设计
- 文献传递
