计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2009年
3期
86-88
,共3页
微处理器%指令集验证%随机测试程序生成%验证库
微處理器%指令集驗證%隨機測試程序生成%驗證庫
미처리기%지령집험증%수궤측시정서생성%험증고
指令集作为微处理器软件和硬件的分界线在计算机体系结构中占有重要地位.测试程序自动生成(RTPG)是微处理器指令集验证的主要方法之一.该文比较目前主流的RTPG技术和验证策略,提出基于验证库的随机测试程序生成工具.使用通用脚本语言开发验证库和测试程序模板,针对不同验证阶段生成高质量的测试程序.测试结果表明,该方法实现简单,能达到较好的验证效果.
指令集作為微處理器軟件和硬件的分界線在計算機體繫結構中佔有重要地位.測試程序自動生成(RTPG)是微處理器指令集驗證的主要方法之一.該文比較目前主流的RTPG技術和驗證策略,提齣基于驗證庫的隨機測試程序生成工具.使用通用腳本語言開髮驗證庫和測試程序模闆,針對不同驗證階段生成高質量的測試程序.測試結果錶明,該方法實現簡單,能達到較好的驗證效果.
지령집작위미처리기연건화경건적분계선재계산궤체계결구중점유중요지위.측시정서자동생성(RTPG)시미처리기지령집험증적주요방법지일.해문비교목전주류적RTPG기술화험증책략,제출기우험증고적수궤측시정서생성공구.사용통용각본어언개발험증고화측시정서모판,침대불동험증계단생성고질량적측시정서.측시결과표명,해방법실현간단,능체도교호적험증효과.
