我们站在疾控中心在哪里?

半导体工程坐下来讨论这个行业在时钟域上的立场与查理Janac穿越,首席执行官Arteris;正式的验证产品副总裁瓶Sarwary Atrenta;在真正的意图Pranav莎,首席技术官;Namit Gupta, CAE,验证小组Synopsys对此。以下是摘录的谈话。

SE:虽然不是一个新的方面的设计,时钟域交叉今天是一件大事,是最大的一个直接原因。它似乎已经达到一个临界质量。我们今天在与疾病预防控制中心在哪里?

莎突然:它还没有发生。花了大约十年来,它已经成为验收标准。事实是,现在在一个临界质量,审核要求。你不能走捷径。

Sarwary:这个问题已经存在;不是新买的,只要我们不时间一些路径有一个事件传播通过这条道路,可能你可以违反时间和可测试性或故障问题等等。它变得越来越重要;已经逐渐成为更重要的是,第一,由于尺寸的设计,越来越多的时钟等等,而且爆炸的力量域的数量增加,实际上,验证逐渐的增长。真正的意图和Atrenta可能在这个领域已经有十年了。我认为最初的人们正在调查它,试图验证它只是在黄金时间报告的所有路径,不定时,只是看和说,“这是好的,这是好…”但是随着时间的推移,人们意识到这是不可能的…已经进化的解决方案。我不认为这是一个问题解决,所以挑战仍然存在。

古普塔:我有一个稍微不同的观点在这个因为我们宣布一个疾控中心产品(http://news.synopsys.com/2014-06-03-Synopsys-Bridges-Design-and-Verification-with-Next-Generation-Static-and-Formal-Technology-for-Verification-Compiler)。这个问题在过去几年是燃烧实际上,我必须说。原因是随着技术节点减少,他们会低于20海里,人们越来越多的功能包装成soc和他们不自己的大部分的功能——他们正在使用第三方IPs。的总和,——我确实同意瓶爆炸的时钟和时钟域的数量,他们没有一个很清晰的概念是否从疾病预防控制中心的角度我们是好。现在,如果你不好,硅是处于危险之中,你知道今天的竞争形势是,如果一个电话来了两个月早期,它可以利用数十亿美元。所以减少投放市场的时间基本上使情况很有竞争力。这就是为什么人们说他们想看到哪一个工具,或者机制或方法可以帮助实现疾病预防控制中心快速关闭,因为它是一个燃烧的事,他们不能投入时间最后疾控中心长验证周期。

Janac:我们使用时钟域交叉互连业务很长一段时间,和那些自2006年以来一直使用。你必须非常,非常实用的如何实现它们,因为测试基础设施难以处理时间的不确定性。有各种各样的技术可以部署:时钟转发,完全异步操作,等等,但如果你不小心你会导致问题所以你必须验证它在单元级别上,但如果你有一个非常实用的时钟域架构方法,可以避免客户进入问题尤其是在的时候他们不得不关闭时间或设备测试结果。

莎的三大原因:我们同意这个问题成为重要的是1)姑娘们的存在(全局异步局部同步)芯片:事实上,你不能发送一个时钟或信号从一个角落到另一个角落CDC芯片的时钟周期和你需要缓冲,握手。这是片上互连的由来。2)不同的IP。3)电力优化和大量的电力领域,有自己的时钟频率调整,时钟门控等等。所有这些的组合造就了一个情形时钟域问题已经跨过门槛,是审核的问题。

Janac:如果你有正确的时钟域交叉架构和你确认它在单元级别上,和你的文档,这样客户不超过时钟域过境点的参数,你应该好了。是的,有很多更多的权力领域,因为你不能让这些高功率子系统运行很久尤其是CPU和GPU子系统,但我们还没有看到,许多问题。

Sarwary:你的观点,可见最近已明显上升,在一定程度上,它不再是只与Namit早些时候说去关闭迅速,它不再是一个问题的关闭,这是一个问题的正确的快速设计。原因是由于传统的时钟域交叉验证通过简单回顾和也许有些挥舞着的问题,总是有一个忽略的问题,最终落入了硅和你走捷径——你会受到它,有时下游。我认为现在人们意识到,和更严重的很过分,签署了标准更严格的比五年前他们做两个或两个。

今天SE:方法论看起来如何?

Sarwary:不同的企业,不同的设计团体,甚至各种项目流设置通过某些验证实现和你不能来来去去完全垂直,说现在你改变流,这是你会做它的方式。

古普塔:这是一个非常重要的时间点对设计的正确性,因为时间是关键。如果你看到设计师,实际上他们有很少的时间花在——他们要做多个任务,和美国疾控中心就是这样的一个任务。如果一个工具让他们成为专家的工具,这不是他们想要的东西。他们想变得更专家在他们的设计。的一个关键挑战是设置。你怎么开疾控中心吗?他们不想学习的一种工具。他们只是想按下按钮,看看CDC的结果。然后他们想关注他们的设计来解决这些问题。例如,我们看到它的方式,如果你的设计是启动和运行Synopsys对此工具,你可以按下按钮CDC的结果。 Why do you have to re-do the setup in a different format? You should re-use and get to the results quickly. The time to fix the violation will be the designer time — that is a key thing that no one else can do. Only the designer can do it.

SE:做所有设计师希望能够定制自己的工具吗?他们应该可以吗?

古普塔:目前,CDC的噪声问题是主要的工具是面向特定的设计和特定的假设。一个公司说他们关心的设计风格,他们不关心别人的设计风格。他们完全可以改变或调整工具工具了解他们的设计风格?这是我们的一个关键特性,介绍了,我们相信会改变游戏。而不是为设计师们提供了很多的选择,他们可以配置工具一次根据自己的设计风格和结果出来时,它将匹配他们的标准。

莎:有时候是有意义有某种程度的控制如何驱动工具。真正的意图的上下文中允许一个小程度上的设计被选中。你要小心,你不偏离该工具是基于的基本原则。的一个原因,我认为真正的意图已经成功的是,工具是基于基本失效模式的理解参与疾病预防控制中心,无论在CDC上下文中分析它的设计就是赶出。基本上,传输数据的时钟域交叉,在某种程度上,一个简单的协议。所有这些工具正在努力做的是明白这协议。它需要一点种子成长的实现细节的理解已经在设计中实现的协议。你要小心不要给太多的选择,太多的振荡控制的工具。伯克利研究顾问过去常说,有时是好让用户自由选择,而不是选择的自由。

古普塔:这是一个选择之间的豁免和配置。我总是建议我所有的客户选择配置因为一个弃权可以杀死整个芯片如果做得不合适。而配置,他们总是付出了大量的时间,大量的周期,实际上很多思想,然后配置工具的正确方法。

SE:设计师的角度是多少?

Sarwary:以设计师的角度来看,我们看到三个类型的用户——人们每天处理验证和疾控中心确认签字。

有三个类别。首先,传统疾病预防控制中心验证用户使用各种工具来提取口岸,做一些基本的检查在这些口岸,是否调整一个选项来识别或基于全球同步的方案,但在一天结束的时候,你还在做调整。在一天结束的时候,你仍然依赖于你建立和最后,最终你还是会有一些失败通过硅下滑。

有两个新类新兴的用户,我们看到我们的使用望远镜疾控中心150家左右的企业。这两个类别从两个完全不同的角度。为什么他们看起来是因为他们经历了这个过程的调整,犯了一个错误的设置或调整或设置一个弃权。

有一个公司说,你知道吗,我某个浏览器。我正式验证他们。我把这几个月来专家完全签署,绝对完美的工作。我不希望你回来,告诉我这是坏的,所以调整这个选项,这样我可以做到这一点。与此同时,我不想冒任何风险。我想告诉这FIFO或握手协议将专门在这些条件下工作。如果你尊重它,它是100%保证这个设计工作。所以他们采用这种方法,逐步使设计正确通过验证非常过早在非常小的粒度,然后提高验证和工作计划。显然一些努力,但这是他们的选择,他们已经做了。他们通过他们的证词,他们实际上是说得到更好的质量。

第三类是用户的工具,说通过所有的调整和设置旋钮,我还在吃滑进我的硅。这是我想做的意图,你正在调查不是一个结构性的意图。后面有功能协议Pranav指的是,功能必须验证,必须正确为了整个同步器是正确的。所以他们所追求的是一种不仅调整检查或产品,但是也捕捉任何假设,他们正在全球设计验证时,这些假设必须验证功能通过正式的工具或通过模拟动态或静态类型的验证。

相关故事:

断言的难题

是正式准备好取代模拟吗?

在SoC验证重大转变

验证在十字路口吗?