计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2012年
13期
221-223
,共3页
功能验证%运算单元%约束求解%随机生成%覆盖率%SystemVerilog语言
功能驗證%運算單元%約束求解%隨機生成%覆蓋率%SystemVerilog語言
공능험증%운산단원%약속구해%수궤생성%복개솔%SystemVerilog어언
根据微处理器运算单元功能较多的特点,基于覆盖率的验证方法,设计一种自检查的测试程序生成器(SATG)验证方法.SATG采用一种“闭环”结构,并以功能覆盖率量化分析为核心,使用随机生成和约束求解的方法,自动生成验证程序.实验结果表明,该方法在微处理器运算单元的验证中,能提高验证效率和覆盖率,增强验证平台的可重用性.
根據微處理器運算單元功能較多的特點,基于覆蓋率的驗證方法,設計一種自檢查的測試程序生成器(SATG)驗證方法.SATG採用一種“閉環”結構,併以功能覆蓋率量化分析為覈心,使用隨機生成和約束求解的方法,自動生成驗證程序.實驗結果錶明,該方法在微處理器運算單元的驗證中,能提高驗證效率和覆蓋率,增彊驗證平檯的可重用性.
근거미처리기운산단원공능교다적특점,기우복개솔적험증방법,설계일충자검사적측시정서생성기(SATG)험증방법.SATG채용일충“폐배”결구,병이공능복개솔양화분석위핵심,사용수궤생성화약속구해적방법,자동생성험증정서.실험결과표명,해방법재미처리기운산단원적험증중,능제고험증효솔화복개솔,증강험증평태적가중용성.
