计算机测量与控制
計算機測量與控製
계산궤측량여공제
COMPUTER MEASUREMENT & CONTROL
2009年
6期
1157-1159,1162
,共4页
微处理器%自动化验证%功能覆盖率
微處理器%自動化驗證%功能覆蓋率
미처리기%자동화험증%공능복개솔
针对"龙腾R2"微处理器验证过程中的存在验证规模大,人力资源不足的问题,采用流水线模型构建随机的指令序列生成器,搭建以功能覆盖率为导向的自动化验证平台;该平台在仿真验证过程中能根据处理器的运行状态及覆盖率实时地调整指令流以侧重当前验证不充分的功能模块,实现自动化验证;通过仿真,与传统方法相比,在达到同等验证程度的情况下,使用该平台验证周期明显缩短,同时验证覆盖率也有所提高.
針對"龍騰R2"微處理器驗證過程中的存在驗證規模大,人力資源不足的問題,採用流水線模型構建隨機的指令序列生成器,搭建以功能覆蓋率為導嚮的自動化驗證平檯;該平檯在倣真驗證過程中能根據處理器的運行狀態及覆蓋率實時地調整指令流以側重噹前驗證不充分的功能模塊,實現自動化驗證;通過倣真,與傳統方法相比,在達到同等驗證程度的情況下,使用該平檯驗證週期明顯縮短,同時驗證覆蓋率也有所提高.
침대"룡등R2"미처리기험증과정중적존재험증규모대,인력자원불족적문제,채용류수선모형구건수궤적지령서렬생성기,탑건이공능복개솔위도향적자동화험증평태;해평태재방진험증과정중능근거처리기적운행상태급복개솔실시지조정지령류이측중당전험증불충분적공능모괴,실현자동화험증;통과방진,여전통방법상비,재체도동등험증정도적정황하,사용해평태험증주기명현축단,동시험증복개솔야유소제고.