中国集成电路
中國集成電路
중국집성전로
CHINA INTEGRATED CIRCUIT
2013年
10期
50-57
,共8页
断言合成%白盒化验证%覆盖率%验证过程
斷言閤成%白盒化驗證%覆蓋率%驗證過程
단언합성%백합화험증%복개솔%험증과정
基于断言的验证方法已经广泛应用于芯片设计验证,其主要作用是提高验证效率和验证质量.由于手工设计的断言需要耗费大量人力和时间,使得断言的应用受到很大限制.断言合成可以自动生成高质量的白盒电路断言.本文介绍了一种基于断言合成的验证方法学与流程,以及其在验证流程中的多个应用:评估验证过程的进度；协助完成IP的coverage signoff；帮助在硬件仿真时发现问题,并且在验证的不同阶段协助发现或者快速定位芯片设计中的缺陷.
基于斷言的驗證方法已經廣汎應用于芯片設計驗證,其主要作用是提高驗證效率和驗證質量.由于手工設計的斷言需要耗費大量人力和時間,使得斷言的應用受到很大限製.斷言閤成可以自動生成高質量的白盒電路斷言.本文介紹瞭一種基于斷言閤成的驗證方法學與流程,以及其在驗證流程中的多箇應用:評估驗證過程的進度；協助完成IP的coverage signoff；幫助在硬件倣真時髮現問題,併且在驗證的不同階段協助髮現或者快速定位芯片設計中的缺陷.
기우단언적험증방법이경엄범응용우심편설계험증,기주요작용시제고험증효솔화험증질량.유우수공설계적단언수요모비대량인력화시간,사득단언적응용수도흔대한제.단언합성가이자동생성고질량적백합전로단언.본문개소료일충기우단언합성적험증방법학여류정,이급기재험증류정중적다개응용:평고험증과정적진도；협조완성IP적coverage signoff；방조재경건방진시발현문제,병차재험증적불동계단협조발현혹자쾌속정위심편설계중적결함.
