中国集成电路
中國集成電路
중국집성전로
CHINA INTEGRATED CIRCUIT
2013年
12期
31-36,50
,共7页
功能覆盖率%静态验证技术%Formal%断言
功能覆蓋率%靜態驗證技術%Formal%斷言
공능복개솔%정태험증기술%Formal%단언
为了提高产品的验证覆盖率和首次流片成功率,越来越多的验证技术和衡量标准被采纳.传统的仿真验证技术很难达到验证的快速收敛,而静态验证技术采用数学穷举的方法,利用断言对cornercase进行快速验证,有效避免了一些设计缺陷.Mentor公司的Questa Formal工具可以对代码进行常规的功能检查,并可用Formal引擎证明设计代码及其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性.
為瞭提高產品的驗證覆蓋率和首次流片成功率,越來越多的驗證技術和衡量標準被採納.傳統的倣真驗證技術很難達到驗證的快速收斂,而靜態驗證技術採用數學窮舉的方法,利用斷言對cornercase進行快速驗證,有效避免瞭一些設計缺陷.Mentor公司的Questa Formal工具可以對代碼進行常規的功能檢查,併可用Formal引擎證明設計代碼及其斷言的一緻性,可極大地提高複雜設計的驗證效率和魯棒性.
위료제고산품적험증복개솔화수차류편성공솔,월래월다적험증기술화형량표준피채납.전통적방진험증기술흔난체도험증적쾌속수렴,이정태험증기술채용수학궁거적방법,이용단언대cornercase진행쾌속험증,유효피면료일사설계결함.Mentor공사적Questa Formal공구가이대대마진행상규적공능검사,병가용Formal인경증명설계대마급기단언적일치성,가겁대지제고복잡설계적험증효솔화로봉성.
