可以验证满足中间吗?

半导体工程坐下来讨论这些问题;斯坦·Sokorac高级主要设计工程师手臂;高级组主任弗兰克Schirrmeister产品营销系统的开发套件节奏;哈里·福斯特首席科学家验证导师图形伯尼延迟,组织验证IP研发主管Synopsys对此;首席执行官和Agnisys。下面摘录,谈话。本文的第一部分,点击在这里。

SE:如果你正在考虑自顶向下流动,然后选择知识产权去实现它,你如何发现如果兼容的目标是块?是设计或验证吗?

问题:一个模型开发和验证在顶层显示你满足性能的数字,这应该是成功分解。它应该成为验证蓝图。

延迟:最终,它是否满足,这是一个验证任务。验证证明你符合设计意图。

Schirrmeister:这真的是验证或验证吗?

延迟:这不是一个坏方法看,特别是在SoC的水平。

Schirrmeister:我试图确保意图在顶层可以指定了使用此IP。我不是验证IP本身。

福斯特:我们看到越来越多的项目,他们只是集成商。他们做的是验证。

Schirrmeister:在低端领域,特别是物联网,人们想要拖拽。

延迟:它回到了指标你决定使用SoC水平。不仅有一个IP广播完毕的标准,但也有一个SoC标准也同样重要。您需要定义这个预先和工具管理。SoC的目的,你捕捉与指标。

Schirrmeister:当一个人建立一个IP子系统,我们添加了可以添加断言模块提高手时误用或使用超出指定的意图。然后还有一个反向元素性能验证中,你需要提供一个视图的IP积分器表达的参数你必须保持正常工作。这是一个新的挑战,在工具方面,我们可以帮助的,但是它并不是一个完全发现过程。

Sokorac:作为一个IP验证人真的很难定义什么是潜在的性能问题,我们会有当我们插入其他IPs。我们支出增加的努力放在一起组合IPs和运行性能分析,这样我们可以了解更多。一旦我们开发经验,了解瓶颈可能发生的地方,我们可以开始思考如何规范这类事情,他们甚至没有在一起运行它们。

SE:他们固有的信任你的IP通过集成,但当一个问题被怀疑在IP,你如何找出问题是,我该如何表达,IP开发人员吗?

福斯特:这是一个问题,特别是当我们看到更多的集成和缺乏知识的内部的IP。缺乏抵押品交付是一个问题。他们可能没有配置正确。

Schirrmeister:问题是正式的,有多少的工具支持。

延迟:考虑人做顶级系统架构定义了性能约束的预期。在理想世界中,我们感兴趣的是这些约束是如何传递到验证环境和确保你仍然实际上是通过这些最初的性能特征。有东西发生在这一领域,性能是一个例子,你在哪里传递信息从SoC水平。有其他领域可以工作,但是每一个区域,必须单独看是很重要的。

问题:必须有东西从规范,成为底部的IP的度量。

Schirrmeister:这使得它很难IP开发。这就是为什么满足中间存在。我将增加状态,它并不是一个IP的指标,它是一个公制系统。然后对IP提供商,他们能够预测…

问题:你是逆向思维。忘记了IP和提供。如果你是系统设计师,你觉得如何?然后你会找出IP,它能健康。

福斯特:思维过程的一部分正在经历什么是可用的,什么是理解和问如果它会适应。但它真的会这样做吗?问题的一部分是我们创建这些高度可配置的ip和我们无法验证。当它得到整合,我们假设它将工作在这个范围内,但我们发现它并不完全。

SE:哪里来的高水平的合成适合在这中间相遇流?

Schirrmeister:这是成为主流,已经有超过一千个芯片录音,但是你必须非常小心,这是中间相遇的一部分。纯自顶向下流动不再是完成了。这是不可能的。高级合成中非常成功的领域,你有一个规范和完善它,并找出块配合,如处理核心和外围设备,然后剩下的三到五块,我必须做一个决定和购买。在这种环境下,我可以使用高级合成和工具理解接口和合成块可以兼容的通信基础设施。但这并不是所有的设计。

延迟:不管它是行为,您仍然需要执行一个验证任务,确保满足最初的行为描述。你仍然得到同样的问题,这是你如何验证IP的设计意图和SoC水平。它是与源的设计。它是关于你如何验证它的目的是什么,你使用来验证。

Sokorac:IP设计是通过行为可能有点容易验证,但这是。把它们在一起仍然存在的问题。中间仍然存在。

Schirrmeister:IP重用是一个关键的司机今天高级合成。高级合成的一个关键的好处是,当你做出改变在更高的层次上,融入新技术,或性能特征的变化,这些更容易做自顶向下而不是自底向上。

问题:我们需要的是一个形式化的验证目的规范语言。

福斯特:这是我们已经讨论多年,我一个正式的人,喜欢正式的语言,但有一个问题过于具体化设计当你思考这个问题。你限制的自由度,它变成了一个实现。最好的形式语言可能是英语。我很怀疑我们能实现更好的东西。

Sokorac:可能是在可行域块的水平。

福斯特是的,我们可以做的事情

Schirrmeister:有正式的技术和应用程序处理互连,这是整个问题的一个子集。在过去我们的印象,你可以建立一个可执行的工作规范完成的这一切源自。在一定程度上可以,但我们从来没有能够建立一个正式的规范,除了英语。

延迟:我们可以做某些事情很多意义。连通性、电力、复位电路、时钟等。

问题:这些都是设计的例子,而不是验证意图。

Schirrmeister:这是用例场景,需要验证吗?

问题:是的,这些应该是先后精制从顶部到较低的水平。所以性能指示应该转化为某个报道本。

延迟:你必须退后一步,看看原来的架构师使用指定和设计。他们使用一种语言,他们非常熟悉,可以描述整个系统。试图改变整个系统设计是很困难的。

福斯特我相信有很多的机会更好的正式规范。例如,我们缺乏良好的模拟和数字之间的正式规范,这将导致许多问题,如反向极性。

Sokorac:互连和协议。

Schirrmeister:注册规范。

问题:是的,这是一个很小的区域,但它已成功。您指定的东西在一个较高的水平,然后出来的一切。

福斯特:当你可以缩小问题的范围,这样你可以正式定义它,然后它伟大的工作。问题是当你试着把它应用到整个问题。

Sokorac:你将有目标,比如我的手机需要达到一定的基准,但我们不需要寻找正式的工具,分解成覆盖垃圾箱。是系统设计的一部分任务图类似的东西,每一块需要做些什么来实现这一点。然后验证是运行基准的作用。不出来的自动化工具。

问题:它不可能同样适用,但可以提供低级IP的界限吗?

延迟:有任务的一个子集,这可能是一个好的解决方案。我们可以扩大他们的范围但是遥不可及的是一个大的飞跃,这实际上是我们正在努力解决。我们必须验证一切,我们是正确的。

Schirrmeister:中间相遇,有一些特征,我为接口定义元数据,元数据的性能,然后对权力意图,等等。这是所有的ip集成必须暴露在更高层次的建模工具。

延迟:我们提供IP-XACT描述我们的IP和他们定义寄存器和其他的东西能使我们中间相遇。

Sokorac:越来越多的合作伙伴想知道我们的ip集成时将执行。我们试着向他们展示我们尝试和我们得到的信息。

福斯特:我只不过看到大约20%的设计组装,这就是成长。没有定制开发。

延迟:特别是在物联网空间。

福斯特:如果IPs独立,那么系统级很容易,但是一旦他们有任何共享状态,你有一个新的问题。

延迟:验证任务将继续增加。

有关的故事
验证发动机断开
从一个验证引擎无缝移动到另一个是一个很好的目标,但它比看起来难。" >
开放标准的验证
压力构建提供常用方法使用验证结果分析和测试目的
可以验证满足中间吗?第1部分
专家表,第1部分:该行业长期以来认为验证是一个自下而上的过程,但现在有一个巨大的大力发展自上而下的验证标准。他们会满足舒适地在中间吗?