CAJ | 학술논문

以覆盖率为导向的自动化验证平台中,引入了自动随机生成和自动检测机制,验证人员能够根据芯片的需要自动生成受约束的随机测试用例,并且利用自动检测结果能够快速定位错误,节省了大量的验证时间.通过分析覆盖率确定验证进度,为功能“遗漏点”添加测试用例,从而提高覆盖率.应用该平台对DSP芯片系统进行了验证,根据实验结果证明该测试平台提高了验证的观测型,减少了验证周期.自动检测机制中引入了第三方软件仿真结果对比机制,相比传统验证平台芯片功能验证的更完全.
이복개솔위도향적자동화험증평태중,인입료자동수궤생성화자동검측궤제,험증인원능구근거심편적수요자동생성수약속적수궤측시용례,병차이용자동검측결과능구쾌속정위착오,절성료대량적험증시간.통과분석복개솔학정험증진도,위공능“유루점”첨가측시용례,종이제고복개솔.응용해평태대DSP심편계통진행료험증,근거실험결과증명해측시평태제고료험증적관측형,감소료험증주기.자동검측궤제중인입료제삼방연건방진결과대비궤제,상비전통험증평태심편공능험증적경완전.
The randomly auto-generate and auto-check mechanism is introduced in coverage-driven auto-verification platform, verification engineer can generate the restricted random testcase automatically according to the requirement of chips and find the bug quickly by using auto-check result, it save lot of time. It ascertain the verification progress by analyzing the coverage and adding some testcase to the functional omission, thus increase the coverage. The testbench is applied to test the DSP chip system and experimental results demonstrate that it improve the observability, reduce the verify cycle. The third-party software results compare mechanism is introduced in auto-check mechanism, the functional verification of the chip is more complete than traditional verification platform.