注册 登录
ET创芯网澳门十大网上博彩公司(EETOP) 返回首页

路科验证的个人空间 http://blog.eetop.cn/?1561828 [收藏] [复制] [分享] [RSS]

日志

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

已有 490 次阅读2018-6-29 19:25 |个人分类:验证前沿资讯|系统分类:芯片设计

定义覆盖模型

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



评论 (0 个评论)

facelist

您需要登录后才可以评论 登录 | 注册

关闭

站长推荐上一条 /1 下一条

小黑屋|手机版|Archiver|ET创芯网 ( 京ICP备:10050787号 京公网安备:110105001212 )

GMT+8, 2019-4-22 01:08 , Processed in 0.028516 second(s), 9 queries , Redis On.

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

返回顶部
博评网