CAJ | 학술논문

随着芯片规模和设计复杂度的增加,传统的模拟验证方法学已经成为整个验证的瓶颈.为了解决这一瓶颈问题,验证方法学从模拟验证逐步演变成形式验证,先后经过了模拟晶体管模型仿真、门级仿真以及采用点线功能模型(BFM)的事务级仿真三个阶段.SV验证方法学是在模拟验证的基础上增加了形式验证的方法;它采用以覆盖率为导向的技术,受约束的随机技术和基于断言的技术来构建全面的验证环境.以覆盖率为导向可使验证迅速达到验证的出口条件,采用随机测试用例为主代替传统的直接测试为主可使验证迅速收敛,而通过在设计中插入断言可精确验证设计的内部时序问题.实践结果表明,采用这种验证方法极大的提高了验证的效率,缩短了验证周期.
수착심편규모화설계복잡도적증가,전통적모의험증방법학이경성위정개험증적병경.위료해결저일병경문제,험증방법학종모의험증축보연변성형식험증,선후경과료모의정체관모형방진、문급방진이급채용점선공능모형(BFM)적사무급방진삼개계단.SV험증방법학시재모의험증적기출상증가료형식험증적방법;타채용이복개솔위도향적기술,수약속적수궤기술화기우단언적기술래구건전면적험증배경.이복개솔위도향가사험증신속체도험증적출구조건,채용수궤측시용례위주대체전통적직접측시위주가사험증신속수렴,이통과재설계중삽입단언가정학험증설계적내부시서문제.실천결과표명,채용저충험증방법겁대적제고료험증적효솔,축단료험증주기.