计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2010年
16期
273-275
,共3页
李智%李怡%龚令侃%章建雄
李智%李怡%龔令侃%章建雄
리지%리이%공령간%장건웅
高速缓存%芯片级验证%验证平台调用%验证库%监视器%指令集模拟器
高速緩存%芯片級驗證%驗證平檯調用%驗證庫%鑑視器%指令集模擬器
고속완존%심편급험증%험증평태조용%험증고%감시기%지령집모의기
在微处理器功能验证中,由于高速缓存(Cache)是软件(即测试程序)不可见的,对其进行芯片级验证难以获得高的可控制性(测试场景构造)和可观测性(验证结果检测).基于此,提出通过验证平台调用的方法,为软件提供服务和管理Cache,构造测试场景.采样由Cache引起的微处理器系统总线行为检测验证结果.实验结果表明,该方法方便测试程序开发,减少验证时间.
在微處理器功能驗證中,由于高速緩存(Cache)是軟件(即測試程序)不可見的,對其進行芯片級驗證難以穫得高的可控製性(測試場景構造)和可觀測性(驗證結果檢測).基于此,提齣通過驗證平檯調用的方法,為軟件提供服務和管理Cache,構造測試場景.採樣由Cache引起的微處理器繫統總線行為檢測驗證結果.實驗結果錶明,該方法方便測試程序開髮,減少驗證時間.
재미처리기공능험증중,유우고속완존(Cache)시연건(즉측시정서)불가견적,대기진행심편급험증난이획득고적가공제성(측시장경구조)화가관측성(험증결과검측).기우차,제출통과험증평태조용적방법,위연건제공복무화관리Cache,구조측시장경.채양유Cache인기적미처리기계통총선행위검측험증결과.실험결과표명,해방법방편측시정서개발,감소험증시간.