定义覆盖模型

那么PSWG是否应该为便携激励工具开发系统覆盖率模型呢？

Olen说:“ PSWG将会在语法和格式上做一些规范，但并不打算标准化它具体做什么。我们制定了一些机制，允许我们的客户设置这些指标。他们可以使用标准语法（SV覆盖组、覆盖点等），它们可以非常具体地制定可衡量的目标。我们也在设想制定一些描述这些方案的标准化方式。”

Olen说:“我们必须承认许多公司都在用自己开发的流程进行系统级验证，这也意味着我们作为供应商在提供标准和 工具方面做得不够好，一名工程师如果在市场上找不到对自己有用的东西，就会自己创建。一旦有人拥有可扩展的、可重用的替代品，那么工程师不会再浪费时间了。“

对于定义与收集覆盖率而言，各个供应商都有自己的研究。但可能的问题是，用户可能很难汇总来自多个工具的覆盖率。之前定义UCIS就是试图使这些指标保持一致，UCIS提供了一个API，通过这个API，simulator，accelerators，形式验证工具都可共享覆盖率数据。UCIS 1.0版本在2012年就发布了，但每个供应商的覆盖语义都不相同，以至于实际使用时存在问题。

将来用户很可能会采用多个便携激励工具，因为不同EDA供应商的工具可能在不同应用方向具有更优秀的性能，例如针对emulation或芯片bring up。这意味着用户希望将所有覆盖率数据返回到原始图案，原始图案是提供所有工具的通用模型，我们也正在设法促成这件事。

系统级的覆盖率还是需要被定义的，而且，不同EDA供应商的工具中，系统覆盖率的定义机制都会是通用的，这是未来行业发展的趋势。

原文来自于Semiengineering“System Coverage Undefined”

https://semiengineering.com/system-coverage-undefined/