路科验证(Rocker IC)专注于验证系统思想和前沿工程资讯,拥有一支活跃的技术原创团队,著有《芯片验证漫游指南》一书,致力为高校微电子相关专业学生与IC从业人员提供技术食粮。 您可以在手机移动端同步关注微信订阅号“路科验证”或是登录网页www.rockeric.com了解更多资讯。如果您需要联系我们,请发送邮件至 rocker.ic@vip.163.com 。

解决系统验证复杂性难题恐怕只有它了(续)

上一篇 / 下一篇  2018-06-29 19:25:11 / 个人分类:验证前沿资讯

定义覆盖模型

那么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/




TAG:

 

评分:0

我来说两句

显示全部

:loveliness: :handshake :victory: :funk: :time: :kiss: :call: :hug: :lol :'( :Q :L ;P :$ :P :o :@ :D :( :)

路科验证

路科验证

路科验证(Rocker IC)专注于验证系统思想和前沿工程资讯,拥有一支活跃的技术原创团队,为高校微电子相关专业学生与IC从业人员提供技术食粮。 您可以在手机移动端同步关注微信订阅号“路科验证”。如果您需要联系我们,请发送邮件至 rocker.ic@vip.163.com 。

日历

« 2018-12-13  
      1
2345678
9101112131415
16171819202122
23242526272829
3031     

数据统计

  • 访问量: 199201
  • 日志数: 268
  • 建立时间: 2016-06-25
  • 更新时间: 2018-12-09

RSS订阅

Open Toolbar
博评网