便携式刺激和数码双胞胎

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

SE:便携式刺激标准(PSS)给了我们一个新系统的抽象。这个行业也扔在我们另一个——数字双。的主要概念和数字的孪生似乎生活刺激。所以这两个概念如何一起工作?

Kelf到处都在谈论:数字的双胞胎。如果我们创建PSS模型的设计意图,多少是借此跳跃模型和实际设计的双胞胎。人们问这是一个类似的概念。因此,如果我们可以创建数字双PSS和使用它作为一个参考模型,并生成测试和潜在的检查,那么你确实有一个数字的双胞胎类型的流量——一个实际的流量,你可以使用一个数字的双胞胎。现在我们所看到的虚拟平台,在许多情况下,这真的是他们生产的数字的双胞胎,他们包装PSS,用它来驱动的意图。

菲茨帕特里克:PSS的分裂。在数字双环境有办法模型实时数据和刺激。但从验证的角度来看,还有外面的世界所做的东西,我必须做出反应。就电子而言,软件运行需要能够处理所有的这个很酷的来自外界的信息。这是几乎一样的UVM办理人假装一个以太网包进来,所以我不认为那里有一个不连续。你会看到的是,我们将使用PSS定义系统的意图,和一些想利用PSS模型设计,。你可以模型是什么,你想做分开你会怎么做会继续进入数字双空间。唯一的区别是,随着数字双你会有更多的数据需要处理,但你仍然可以模型与PSS。你在做什么

安德森:数字双都是关于设计。PSS从未打算成为一种捕获设计,但验证意图。所以有一些重叠,但他们不做同样的事情。他们有不同的目标。

菲茨帕特里克:数字双将类似于一个虚拟的平台,所以PSS可以用来验证一个RTL设计或虚拟样机或数字的双胞胎。

悟道我明白了PSS路径更好的错误决议。与数字双你想复制系统的实际环境中。你把复杂的软件,所以当错误发生时,他们正在通过操作系统深埋地下。我们看到顾客说他们想要的是什么导致了一个问题,看看我们是否可以创建一个测试的意图相匹配,并能够重现这个问题在某种程度上,我们可以调试。所以它是一种打破数字双发现的缺陷,提供了一个更快的解决之路。

Kelf为验证:PSS设计,有很好的理由保持分开设计。虚拟平台是EDA的数字的双胞胎。但数字双胞胎的概念是一个更大的东西,就像你说的。我们正在努力与PSS是创建一个规范的系统应该做什么。这是思想转变,我们正试图获得社区的理解。UVM世界,它们创建测试。这里我们创建一个规范和一个工具生成的测试。那规范涵盖了数字双应该做什么,所以你可以看到,规范变成数字双和在更广泛的意义上使用。它也可以描述底层软件。所以没有完全是一个类比,今天,但是我认为我们不应该失去这一想法。 Bottom line – decades ago we talked about the executable spec. This is the closest we have ever come to it. The next level is the spec for the entire digital environment to throw real data in and test it out.

菲茨帕特里克:PSS模型背后的理念是,你有这些行为代表的东西在系统或外部世界和它们之间必须协调。这是数字的双胞胎在做什么。所以,这是一个问题,这个动作是表示为一个软件API调用或UVM序列或者是一些数字双建模传感器在汽车的前面。这都是同样的事情。我可以设想利用PSS,或者它的下一代,开始定义模型的所有东西会发生,然后映射这些事情上它会发生什么事。但你是定义所有这些相互作用在某些合理的方式,和声明方式,所以,你可以对它们进行分析,找出哪些是有意义的。这是我们谈的。

Kelf:我可以看到我们朝着那个方向。

安德森:这是可能的。我不会打赌它会发生。之间的异象。

菲茨帕特里克:不同之处在于,我们假定有平台,将代表每一个行动,RTL、模拟或UVM。你能合成并实现从PSS模型是一个大的飞跃,不是PSS设计。在PSS我们没有定义的实现是什么。我们还有其他方法来做,如果你说我们继续这样做,只是这个大传感器模型实现可能。

Kelf:Verilog没有设计合成。事情的发展和意想不到的事情发生。


SE:虽然覆盖PSS的领域来解决,这使的工具来解决这个问题。系统覆盖是什么意思和如何将人们把他们使用PSS等同于他们如何定义系统覆盖意味着什么。

菲茨帕特里克:如果你觉得系统覆盖水平高于功能覆盖,那么你要确保这个变量冲击这组值,以不同的方式,您可以组合这些。你可以今天说,如果我有一个巨大的芯片,我可以确保我有一个很大的包进来当我dma某种类型的的东西。这些报道点,你可以确保他们发生。我们可以针对一个测试,这两件事。现在,我有这些东西,为什么不我,说,跨所有不同的组合呢?它超越了他的覆盖目标用户最初的定义是什么,但它提供了一种方法来捕捉这些奇怪的关系。因为我们有静态图的所有可能性,我们可以确定哪些路径通过图会打击这些交叉覆盖,我们可以为您生成这些测试。


SE:这是UVM的思维方式。它是组合。整个PSS的优点在于它提供了一种思维方式暂时。时间范围是什么意思?

菲茨帕特里克:这是下一步,一旦你找出如何定义,并没有人。SystemVerilog有过渡覆盖,没有人真正理解并不是相当的断言。它可能回到断言来定义时间的事物之间的关系。一旦我们图如何定义这是什么,你有一个静态图的可能性,你可以看到哪些分析比赛的标准,我们仍然能够生成测试来打击这些报道点。所以它成为技术,一旦我们找出如何定义时间范围,创建测试达到什么已经存在。

Kelf1.0:一个失望的PSS,的一个原因我们推迟最初,是缺乏道路报道。很早就在我们定义系统覆盖和想出了路径约束和路径覆盖的想法。它需要一种有效的解决在图。我们有大量的客户非常喜欢的想法能够定义一个报道机制,一个路径,利用解算器,能够反馈路径信息。我们相信我们至少有一个定义场景或意图的方式报道。这是一个小功能覆盖面不同,因为这是非常具体的UVM世界。你如何支付规范——意图。但使用路径覆盖和路径设计,以及它们之间交叉关联,路要走。

安德森:PSS描述模型,称为图之类的,但它是一个模型,你可以遍历和求解,并跟踪你的所作所为。所以模型覆盖率的概念是非常适用的。它还会导致一些时间观念。最简单的方法是把一个缓存一致性测试。多个线程和大量的时间之间的关系,可以建立这些线程。这可能是读写和冲之间的时间。但它不是明显如何定义。报道意味着我已经尝试了所有可能的组合,或至少我定义在一个特定的时间。

悟道:它是关于性能、延迟、权力。它是关于系统层次,在需求规格是什么?我认为这是一个组合的东西。PSS给你的工作量。工作必须有一个好的措施。我认为这是一个工作负载,测量,然后取,并将它应用到垃圾箱。人们测量延迟,然后设置垃圾箱的,以及他们需要做测试在这一水平。这将是这种技术的结合。PSS提供良好的工作负载。

菲茨帕特里克:在抽象的层面——时间操作,我们不反对。我们希望避免的是定义一个不同的方式来指定今天我们已经做的事。你不能分析图表,并说我能做到这一点之后10纳秒。会有方法在抽象的层面上,但是你必须衡量更详细。


SE:委员会内的计划是什么,你在做什么。

菲茨帕特里克:我们正在迈向1.1版本针对2月底(2020)。我们已经关闭的要求。Accellera问我们定义一个为期三年的路线图,我们估计,大概2021年6月我们将有1.2或2.0。