最大的名字验证已经找到了一些可能的解决方案不相容。毕竟,这是在他们的最佳利益。
埃德·斯珀林
线条勾勒出了。一边站导师图形和节奏。另一方面是Synopsys对此和手臂。夹在中间是验证工程师,偏爱一种或另一种,经常在混合验证团队。
验证方法语言之间的争夺主导地位(VMM)和开放的验证方法(打开验证方法)开始谦卑地不够。VMM是由手臂和Synopsys对此在2007年发行,而OVM-combining导师图形的先进的验证Methdology和节奏的一些通用重用方法(阶层)——今年年初发布。
它可能仍然,战线拉的,除了几个发展。首先,不断增加的复杂性和测试和验证芯片的痛苦的过程变得如此繁重的90海里,除此之外,工程师们开始呼吁更好的工具,可以使用任何模拟器和一起工作。第二,导师和节奏把他们的技术与Accellera开源世界,这将进一步施压的胳膊,Synopsys对此提供至少有一些兼容性。
最大的问题是,一些公司通过VMM,其他人则采用OVM技术。还有一些正在等待观望,试图找出如果这两个世界之间将会有和平一边跳。从供应商的角度来看,这是最糟糕的两个世界。它就像试图找出如果蓝光和hd - dvd会出现胜利之前砸钱买一个新设备。在这种情况下,资金支付的用户培训和工具。,更糟糕的是,由于高需求验证工程师,工作流动性往往凝聚团队的工程师与冲突的技能。
所以今年早些时候,一个工作小组内Accellera开始研究如何桥接方法和基类。到目前为止,据消息人士透露,有三种可能性的互操作性。
哪种方法赢了,还是这三个要素,还有待观察。一个源深入熟悉问题得出结论,”方法之间的差异使通过编译器自动映射困难。包装的方法是技术上可行,将更可靠得多。事实上,两种方法都写在同一种语言令包装解决方案一个纯技术问题,可以以相对简单的方式实现。”
然而,业内人士表示压力高的解决这个问题,这样可以减少验证时间。
假设和平并统治在基类和方法层面,真正的战争将上升一个等级。从供应商的角度来看销售工具上的这些基类,以及工程师使用它们,这是一个非常好的事情。
哲人引导、高级营销总监Synopsys对此表示,他的公司和手臂被填满时需要在验证工程师创造了VMM。“这是如此受欢迎,我们做了一个日本和中国版本,”他说。“我们也得到了很多反馈,我们可以做什么超过我们了。客户希望我们创新更多的与VMM, VMM LP,这样他们就可以找到low-power-related虫子。”
Synopsys对此做了翻Accellera去年春天的基类和方法。它保留了VMM内部上运行的应用程序,这是商业命题Synopsys对此和手臂真的谎言。“为用户,基类是一个好的起点,“引导说。“最终,会发现bug所测试的长椅和检查应用程序。模拟器,用户正在寻找是什么性能,发现角落里错误的能力,覆盖和调试功能。”
是谁的方法更好的一个有争议的问题。Tom Fitzpatrick在导师图形验证技术,坚持VMM第一次出门更专有的。“这是有限的系统Verilog可以支持,”菲茨帕特里克说。“OSCI(开放SystemC倡议)还没有想出TLM。VMM事务级接口,但它是专有的。当我们开发了AVM OSCI知道发生了什么事情。”
阅读字里行间,导师和节奏都指望这一事实需要时间系统采用Verilog, VMM或OVM技术。他们是对的,不过至少延迟的一部分,因为它需要时间来评估新工具在令人难以置信的复杂环境。广泛采用是一个缓慢的过程。
作为一个参考点,构建验证断言到设计已经谈到在过去的15年。减少所花费的时间来验证芯片一直是有道理的。但注入到芯片设计和开发过程非常缓慢,和成功是有限的。
(技术书评)Metric-Driven设计验证
|
|
|
|
|
|
|
|
|
|
留下一个回复