电子科技
電子科技
전자과기
IT AGE
2014年
7期
109-112
,共4页
硬件加速%协同验证%验证效率%可重用
硬件加速%協同驗證%驗證效率%可重用
경건가속%협동험증%험증효솔%가중용
现有基于断言、形式化等的验证方法可保证电路按要求工作,但无法完成对设计的全验证.文中将软件验证环境与硬件加速器相结合,组成了软硬件联合验证平台,其在结构上既发挥了硬件加速器运行速度快的优点,又利用了面向对象的验证方法和可重用性高的优势.实验结果表明,针对复杂电路,验证平台使验证效率和验证覆盖率提高了3~10倍.
現有基于斷言、形式化等的驗證方法可保證電路按要求工作,但無法完成對設計的全驗證.文中將軟件驗證環境與硬件加速器相結閤,組成瞭軟硬件聯閤驗證平檯,其在結構上既髮揮瞭硬件加速器運行速度快的優點,又利用瞭麵嚮對象的驗證方法和可重用性高的優勢.實驗結果錶明,針對複雜電路,驗證平檯使驗證效率和驗證覆蓋率提高瞭3~10倍.
현유기우단언、형식화등적험증방법가보증전로안요구공작,단무법완성대설계적전험증.문중장연건험증배경여경건가속기상결합,조성료연경건연합험증평태,기재결구상기발휘료경건가속기운행속도쾌적우점,우이용료면향대상적험증방법화가중용성고적우세.실험결과표명,침대복잡전로,험증평태사험증효솔화험증복개솔제고료3~10배.