延长便携式刺激

它已经一年Accellera便携式测试规范和刺激成为一个标准。半导体工程坐下来讨论影响它,和它的未来发展方向,产品管理总监拉里悟道节奏;Tom Fitzpatrick战略验证架构师导师,西门子业务;汤姆安德森,技术营销顾问OneSpin解决方案;首席营销官和戴夫Kelf Breker验证系统。下面摘录,谈话。本文的第一部分在这里。第三部分是在这里。

SE:委员会开始与一些最初的期望应用程序显然现在习惯在不同的地区。你开始确定新的特性或功能,提高标准吗?

菲茨帕特里克:什么是令人惊讶的。我们正在为1.1是什么东西,我们知道我们想做的,不让它变成1.0。到目前为止,还没有一个巨大的“啊哈”的时刻。我们相信,我们会在正确的方向上。

安德森:它仍然是相当早。工作小组的组成并不延伸到人们做测试。虽然有一些表示兴趣,他们并没有持续多久。但如果我们现在看到用户进入的世界,可能会有额外的标准可以做的事情来帮助他们。

Kelf:同样,嵌入式软件。我们知道,我们将运行微内核或软件应用程序的司机,我确信我们都看到。但我希望看到更多的世界开放的软件所需的API。

悟道:AMD提供了如何使用PSS,和他们有一个软件层使用。它正在运行在微内核层和所有的PSS的线程正在运行。所以我们看到。他们想要重用他们的软件层。

Kelf:对,现在我们开始看到,AMD是一个很好的例子,因为他们要推进虚拟平台和混合模式运行。它就像一层薄薄的Linux。

安德森:PSS可以验证软件以一种间接的方式。通常会有大量代码共同点,也许在司机级别,也许更复杂的比你传统的跟进和测试之间共享和验证的PSS流。

Kelf:测试人员,虚拟平台…

安德森:代码你分享得越多,你越验证它。

SE:有多少利益之间的桥接PSS和正式的?

安德森:我们有很多见过许多请求问PSS符合的正式的世界。这是我们已经讨论过在以前的圆桌会议。有有趣的想法关于正式和PSS模型之间的联系——应用更有力的形式验证,也许使用诸如断言喂养到模型,但到目前为止没有很多用户级的请求。然而,它是一个地区,我们继续有兴趣。

菲茨帕特里克:我们的正式的家伙一直在问关于它,研究它。有学派PSS的形式语言,是有限的,如果你能带来足够的断言一组动作的实现,它是一个很好的方式字符串这些断言在一起。我们必须看看锅。我不确定有很多用户甚至理解它,知道正确的问题要问。我们一直专注于正式的应用程序和隐藏的事实有任何正式的,尝试思考移动到这一水平并不在他们的想法。

Kelf昨天:问题出现两次。人问如果我们可以断言,因为我们讨厌写作。如果你有一个图模型,如果你已经做了很好的工作描述的意图,正式可以分解所有的状态空间的设计。我们试图描述了状态空间的意图,所以你可以考虑很全面覆盖。一半是正式在系统水平。为UVM指导过程的测试阶段,正式使用很多的地方,也有一个机会插入正式UVM块级别的一部分——前或创建找出bug框架正式UVM一点后,你要正式运行,看看你可以找到一些错误在这一点吗?早期,但我能看到点流中可以装。

悟道:错误狩猎是正确的地方,PSS给你测试意图和它给你分手一个SoC的一种方式。如果你看一个特定的状态空间——它给正式的路径SoC-level验证整个SoC不消化。

SE: PSS需要覆盖,如UPF值,对权力?这将使更多的信息到模型可以用于提高测试能力和允许测试,将创造最坏的耗电大户。

悟道:这是一个非常有趣的问题。在SoC层面,趟车是无趣的,因为SoC水平人没有权力处理水平。现在他们说我们需要IP的家伙来为我们做一些设置,所以我们得到更多。我相信我们将看到现在。系统级需求推动力量知识产权水平,IP的家伙会把他们知道的东西,像UPF值,可以使它有用和有价值的。所以它就要来了。但是今天我们已经看到它更多的在系统能力描述,我们甚至有翻译和提取的各种状态和转换,和系统人不感兴趣。他们有自己的电源管理系统架构要求。他们不是用UPF值。

菲茨帕特里克:因为它是设置诸如UVM之上,我们正面临着不得不接口UVM注册层和UPF值和其他东西都有他们自己的特定的信息,我们正在努力应对如何可以在抽象层面上没有再现。我们一直在思考这个委员会在导师很多。我们需要找出如何实现它。你真正关心的事情是状态和转换。我们可以在PSS模型。问题是如何获取信息,我们需要一些在PSS标准——说你要使用UPF值的格式吗?需要做一些的方式来表示信息,让工具处理它。如果有一种标准的方式来指定这些信息,那么所有的工具将能够以同样的方式处理它。但我们不需要定义一个替代方法来指定寄存器和PSS,只要我们有一个路径向PSS获得信息。我们必须避免对每个人都试图让PSS尽,让它做它应该做什么,并提供其他方法来获取信息的。

Kelf我将把它进一步。PSS的目的并不是替换所有这些其他的东西。这是文艺复兴时期对UPF值,开始质疑,和一些权力的家伙一直在谈论其他标准来描述这个信息。现在,PSS出现,它是由系统人意识到他们需要这些信息,如果它可以重做略,使它更符合系统级testbench,它将工作做好。趟车是一个很好的例子,IP人现在必须提供额外的信息接口,这之前他们没有做,现在是非常有用的在系统层面。博通公司做这个,他们有一个UVM功能testbench和覆盖电源管理测试,他们操纵权力领域利用UPF值。所以你可以层现有标准、UVM UPF和其他人,所有建造趴在SystemVerilog在顶上放PSS控制整个事情。

安德森:听到这个消息我很高兴。我没有正确地预测与PSS的一件事是,我认为人三年前想要这么做。你有一组电源域和芯片上的东西你操纵它们,PSS的想法产生高层次的测试,这样做,可能从UPF的描述,似乎是一个显而易见的事情。

菲茨帕特里克:这是我们的一个用例。

安德森:对,但我预计这是一个早期的应用程序。它是好的,它终于发生。

Kelf:它确实像一个明显的应用程序,因为它似乎人一个真正的问题,但事情需要时间。

SE:比这更进一步吗?Si2,现在IEEE,一直与multi-abstraction动力模型。我们需要考虑如何层权力和时间?当你试图生成多处理器系统的压力测试,你不知道时间直到你实际上运行它。所以你必须有某种形式的估计时间,可以用来改善计划。你正在学习这种动态而不是把必要的信息。

Kelf:有这么多的事可做。显然有我们可以做的事情在这些模型。只是我们都有有限的带宽,和我们都工作在不同的情况下,建造东西,捡起碎片。

悟道:我们是在开始阶段优化的实现。为一致性测试之类的事情,时机很重要。能够得到最薄层的激活可能开销不同类型的行为或功能一致性测试为性能优化创建挑战。因为我们有知识测试序列,有很多后处理的机会。这一事实后,你可以做分析,你可以问,‘我这种延迟或这种重叠吗?后处理覆盖分析和验证是处于早期阶段。很多人开始利用模拟器刺激快速运行,然后做了很多分析。进入一种语言能够捕获它——我们没有,但是我们正在解决的问题。

菲茨帕特里克:我们一直在研究如何获得这些信息的系统和方法的探索是怎么回事和跟踪系统中事务。我们已经开发出可视化信息的方法。下一步是把它,它几乎是约束随机运行,看看报道并自动调整的约束,我不认为会工作。但这个想法,如果你确定一个有问题的路径通过系统,如果您可以了解如何使用刺激生成,您可以看一下。你可以看看状态空间。我们已经可以看看封面点说,“我需要能够运行这些路径通过图打我点。的问题是,路径通过图表我需要锻炼使这笔交易从这里到这里?你可能需要看看其他的系统的时候需要更长的时间比你预期。

安德森:后处理性能指标是很重要的一部分,时间和性能。

菲茨帕特里克:答案是更多关于所运行的分析,而不是试图模型的底层细节在抽象层面的东西。

Kelf:你看到测试变得更大或更小,因为他们实际运行,当缝合一起测试你可以识别瓶颈。这是低级被反射到高水平的信息。但确实提出了另一个有趣的话题,调试。我们都想办法国旗事务和看它穿过一个系统。可视化在这个层次上创建一些有趣的新领域。这是一个新的可能性的世界,打开了。现在,我们已经提高了抽象系统级测试,调试和权力分析创造了机会。你可以看到各种各样的公司在这些机会。

SE:当你扔在软件角度,事情变得更有趣吗?

安德森:对,你必须看的硬件和软件都做什么。

悟道:它能帮助你解码软件在做什么。软件生成这些东西是毛茸茸的,多个线程在多个核心,找出发生了什么和什么是依赖什么。UML图被证明是非常有用的。他们需要这些注释放在他们的参考指南,显示的操作是有效的。