最后的三个部分:验证是如何改变;确认与验证;分而治之的限制;堆死的影响;质疑的是董事会和死亡之间的模糊;永久就业验证专家。
半导体工程坐下来讨论未来的验证与Janick Bergeron Synopsys对此的;在导师图形验证首席科学家哈里培养;集团董事弗兰克Schirrmeister节奏系统开发套件产品营销;普拉卡什Narain,总裁兼首席执行官的真正的意图;副总裁及云山朱Atrenta新技术。以下是摘录的谈话。
SE:验证是如何变化的?
Schirrmeister:设计和验证之间的界线模糊。在过去你可以对性能做决定基于更抽象模型。这将逐渐变成设计流程。今天,它是性能验证。你生成相关病例和运行周期足以验证性能是正确的。曾经是设计基于功率和性能确认/验证。你必须re-validate它在每一个阶段的设计,不做出一些决定,直到后来。如果你不正确的运行周期和事务,很难提取某些事情。
Bergeron:你需要正确的应用程序得到正确的配置文件的事务。
福斯特更多的设计验证。我看到一个非常狭窄的技能检定。
Schirrmeister:我同意。这是一个语义的问题。
Narain:我听到的是“分而治之的原则。的评论是,你必须直接关注一个问题和解决它。所以你将画布分成小块,然后寻求完全覆盖这些碎片。这种模式引发了整个静态解空间。这是一个使用模型,你看一个特定的属性。你创建一个静态时机模型,用户可以与流程进行交互。因为设计的复杂性,需要更多的验证。但我们也看到有一个从静态迁移解决方案与动态竞争解决方案来提供一个更有效的方法。一旦定义的东西,静态解决方案真正显示其价值。但因为有太多的未知数,这些小块也是必不可少的。 You still have to deal with that for the unknowns. More validation-related attributes are rising up into the RT level and the management happening at the RT level. That is requiring new validation and verification methodologies.
SE:当我们进入finFETs和堆死吗?我们有更多的物理效应,使得验证更具挑战性?我们能解决它用相同的工具吗?
Narain:十年前人们说我们使RTL过时。RTL仍是相关的,因为每次你经过转换集成电路设计过程中新的约束得到介绍。那么如何在RTL运行静态分析?你需要为RTL分析寄生。在每一层的问题变得更糟,但在每一层创新发生跟踪这个问题。所以我看不出任何层越来越包容。
福斯特:1990年代功能验证成为非常有效的,因为我们可以抽象出任何时间和物理的东西。他们开始在某些领域一起回来。美国疾病控制与预防中心权力就是一个例子。并添加一个新层复杂性和新验证我们要做的。但工具和方法发生了变化。这些天疾控中心实际上是一个自动化的解决方案。我们正在开发的解决方案,因为他们出现。更有趣的在堆死,当你远离物理效应,考虑架构的机会。你可能在某些领域可以消除缓存,突然之间这是一个不同的验证问题。
朱:你需要考虑IP确保SoC是正确的?绝对的。但是你需要看看你finFET技术来确保你的芯片设计功能正确吗?还没有。当你没有这一层被打破,很多技术我们今天仍能工作。
Schirrmeister:它也取决于你打破,当你打破它。多年来我一直惊讶没有更多的人将董事会和人之间的讨论做芯片。
SE:这两个可以很容易地合并,对吧?我们开始看到,在扇出。
Schirrmeister:你会这么想,但我不认为他们真的越来越近了。是这样一个严格的切换板设计师。如果你看看技术,如堆死,让整个董事会块紧密给你新的东西来验证,如电力和热能。但是你需要考虑每一个内部的目的决定在下一个水平?
Bergeron:我们是幸运的,我们有一个很好的逻辑障碍。然而,这是一层,所有数字功能验证能够依靠。我们必须确保底部水平不休息。
Schirrmeister:混合信号的有很多,但你需要验证的问题在世界现在需要验证数字混合信号对整个芯片的问题。
朱:与multiclock域,你可能会失去你的视图。
Narain:进化方法。数字和模拟分离,这就是CDC问题越来越严重。
Bergeron:如果我们去观赏风景的逻辑。现在你正在谈论一个完全重新设计的整个设计链一个非常简单的数学变化。
Schirrmeister从验证的角度来看,我们不需要担心我们的问题。我们有足够安全方面新的问题产生由于复杂性,不同的disciplines-software和硬件。如果你开始使用软件进行验证,而不是做定向SystemVerilog嵌入式测试你在c。这些都是挑战,他们会让我们忙了好多年了。
点击阅读第一部分的圆桌会议讨论在这里。
点击阅读本圆桌会议的两个部分讨论在这里。
|
|
|
|
|
|
|
|
|
留下一个回复