IC技术圈
致力于建立知识、人的联系
Formal Verification (五) coverage、sign-off flow
Formal Verification (五) coverage、sign-off flow
#验证  #formal 
formal和simulation一样，也是基于coverage-driven的验证方式；针对formal的coverage metrics，可以分为以下几种（不同工具定义略有不同，本文以Jaspergold为例）：code coverage、functional coverage。以覆盖率作为sign-off的标准，各家工具略有不同，但大体一致，分为6个步骤……
IC Verification Club More