CAJ | 학술논문

随着芯片集成度的发展,芯片性能越来越高,而上市时间越来越短,芯片验证在芯片设计中非常关键并贯穿于整个设计过程,验证的效率和质量直接决定着芯片的成败.提出了基于覆盖率驱动的芯片功能验证方法,定义了基于功能点覆盖率驱动的验证流程,利用PSL语言描述断言检查很有效,通过模拟工具检查断言是否成功,从而判断设计是否满足系统的功能要求.在网络接口芯片实际应用中,有效地降低了验证工作的复杂度,同时提高了验证的速度和质量.利用功能覆盖率数据判断测试激励的正确性和完整性,同时用覆盖率数据定量评价验证进程,提高了整个设计的效率.
수착심편집성도적발전,심편성능월래월고,이상시시간월래월단,심편험증재심편설계중비상관건병관천우정개설계과정,험증적효솔화질량직접결정착심편적성패.제출료기우복개솔구동적심편공능험증방법,정의료기우공능점복개솔구동적험증류정,이용PSL어언묘술단언검사흔유효,통과모의공구검사단언시부성공,종이판단설계시부만족계통적공능요구.재망락접구심편실제응용중,유효지강저료험증공작적복잡도,동시제고료험증적속도화질량.이용공능복개솔수거판단측시격려적정학성화완정성,동시용복개솔수거정량평개험증진정,제고료정개설계적효솔.