计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2011年
4期
1352-1355
,共4页
功能覆盖率%验证方法学%报文分析单元%SystemVerilog
功能覆蓋率%驗證方法學%報文分析單元%SystemVerilog
공능복개솔%험증방법학%보문분석단원%SystemVerilog
基于验证方法学,使用硬件验证语言搭建分层可复用的TAU/MVBC验证环境,利用功能覆盖率结果对随机激励生成器进行导向,同时使用断言覆盖未达到的边角情况,在合理的时间内达到了预定的覆盖率要求.结果表明,覆盖率导向的带约束随机激励生成方法通过提高对覆盖率贡献较大的小概率事件出现的次数,有效地提高了验证效率.
基于驗證方法學,使用硬件驗證語言搭建分層可複用的TAU/MVBC驗證環境,利用功能覆蓋率結果對隨機激勵生成器進行導嚮,同時使用斷言覆蓋未達到的邊角情況,在閤理的時間內達到瞭預定的覆蓋率要求.結果錶明,覆蓋率導嚮的帶約束隨機激勵生成方法通過提高對覆蓋率貢獻較大的小概率事件齣現的次數,有效地提高瞭驗證效率.
기우험증방법학,사용경건험증어언탑건분층가복용적TAU/MVBC험증배경,이용공능복개솔결과대수궤격려생성기진행도향,동시사용단언복개미체도적변각정황,재합리적시간내체도료예정적복개솔요구.결과표명,복개솔도향적대약속수궤격려생성방법통과제고대복개솔공헌교대적소개솔사건출현적차수,유효지제고료험증효솔.