龙腾C1微处理器的功能验证
룡등C1미처리기적공능험증
The Functional Verification of the Longteng C1 Microprocessor
  • 万方数据
    计算机工程与应用 계산궤공정여응용
    COMPUTER ENGINEERING AND APPLICATIONS
    2005年 24期 123-124,200 ,共3页

    安建峰%樊晓桠%张盛兵%张山刚

    안건봉%번효아%장성병%장산강

    微处理器%验证%仿真%PCA 微處理器%驗證%倣真%PCA
    미처리기%험증%방진%PCA
    微处理器的功能验证是一项复杂而重要的工作.文章在进行龙腾C1微处理器的功能验证时,针对其指令集的特点,将指令集分为运算类和非运算类两种.根据两种指令各自不同的特点,文章分别提出了使用嵌入汇编语言的C语言参照模型和使用基于真实处理器执行结果的TRACE文件参照模型.在参照模型基础之上,实现了仿真结果的自动检查和基于覆盖率的分析.同时,为了加速仿真验证的速度,使用了FPGA验证平台进行功能验证,可以运行操作系统级的测试程序.
    미처리기적공능험증시일항복잡이중요적공작.문장재진행룡등C1미처리기적공능험증시,침대기지령집적특점,장지령집분위운산류화비운산류량충.근거량충지령각자불동적특점,문장분별제출료사용감입회편어언적C어언삼조모형화사용기우진실처리기집행결과적TRACE문건삼조모형.재삼조모형기출지상,실현료방진결과적자동검사화기우복개솔적분석.동시,위료가속방진험증적속도,사용료FPGA험증평태진행공능험증,가이운행조작계통급적측시정서.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문