在验证SystemC的作用;与UVM互动;需要更好的覆盖;多语言互操作性;设计师之间的宗教战争。
埃德·斯珀林
系统级设计主持讨论的未来与托马斯•奥尔索普SystemC英特尔公司设计方案专家;首席核查技术专家Ambar Sarkar范例作品;技术营销的副总裁迈克·梅瑞狄斯的强项设计系统;大卫·黑Doulos认证培训讲师。这里有一些关键的烟道的讨论。
道防线:与SystemC幕后发生了什么?
黑色的:SystemC工作组开始后退。不少公司感兴趣使之更符合现代平台。也有兴趣UVM和其他领域的报道。
梅雷迪思:还没有活动工作小组,但人们开始带来信息地址覆盖验证。确实有一种胃口UVM-like方法在SystemC验证框架。这是一个地区在未来我们将会看到一些活动。
Sarkar:人们想要的是更好的覆盖,以及UVM。
奥尔索普:我该委员会在英特尔的看着高级合成功能。新功能在明年我们希望看到是针对HLS。的一些验证方法我们实现HLS涉及关系更好的覆盖。我们正在与EDA供应商更好的约束动力学和更好的随机生成器。我们有一个很UVM既得利益,也许我们可以创建一个UVM SystemC周围环境,。
道防线:有传言SystemC验证组。它真的发生了吗?
梅雷迪思:有一个SystemC工作组OSCI几年前。几年的活动平息,但去年秋天有一个新成员的电话。这是再次启动。
道防线:任何想法的时候将这组可能是什么?
梅雷迪思什么时候是一个预测的问题。但会出来的,最初他们看着更新现有的图书馆工作的新标准的上下文中作为明显的第一步。从那里它可能包括更好的覆盖。
道防线:我们都见过当标准工作出错。SystemC会有多语言支持。
奥尔索普:英特尔、甚至一些其他公司与UVM委员会合作,真的想看到SystemC多语言支持。有一些幕后努力,我们试图让最终用户看规范和什么样的基础设施或框架我们想在这个地方。我们仍在努力让我们的手在规范将会是什么样子。好消息Accellera之间的合并和开放SystemC行动,它将帮助很多合作在不同的委员会。我们不确定这将使一个新的委员会,毫升,引入数字和帮助来自不同的委员会,或是否会这样做在一个现有的委员会。但它肯定是被调查的事情之一。
黑色的:很多的EDA公司都有自己的私有接口边界。例如,用TLM 2.0有一些专有的实现。在我看来,SystemC之间的边界和系统必须跨过Verilog和标准化。
梅雷迪思:多语言问题是普遍存在的另一个领域是在模拟空间。与Accellera系统主动SystemC AMS和Verilog活动。肯定是有一些运动,而不是对单一语言的解决方案,但对这些语言一起工作。
Sarkar:一个类似的问题UPF值/论坛提出了报道的东西。有很多领域的报道,有一个问题你怎么处理它首先,然后你如何获得数据之后。我们必须定义一个公共的覆盖率数据模型,然后选择一个API。在这种情况下,它可能是C,即最小公分母。然而,这种方法并不适用于所有人。
道防线SystemC和UVM之间的关系是什么?
奥尔索普我有很多与供应商讨论这个问题。现在的问题是没有交互的标准机制。的一件事我们想启用IP重用。需要任何connections-whether TLM连接或其他通信协议的语言需要出现,它必须在一个标准化的方式发生。如果你有与其它块的IP,我们希望这个行业提供IP已经通信嵌入到它。当你获得IP你希望它自动启动与其他IP通信。所以SystemC UVM相互作用如何?长期我们想建立一个框架,允许。
Sarkar:事实上,我们用TLM是一个巨大的一步。系统现在Verilog与TLM和SystemC与TLM一起工作。这意味着这两个社区需要团结起来,帮助。这是一个领域。
奥尔索普:我们有不同的数据类型的支持。你怎么做呢?TLM已经进化的子集和如何支持它?需要处理。
道防线:还有一个标准称为统一报道互操作性标准(uci)。如何适应SystemC吗?
Sarkar:需要有一些常见的跨。好消息是有很多共同的目标。我们不想解决问题的两种不同的方式一起,然后试着把它带回来。我们提出一个标准,它有一个非常好的开始。但是我们必须能够捕获覆盖和使用相同的内容。这使的。
梅雷迪思:你期望人们建筑环境中验证完成的系统Verilog和一些在SystemC然后你试图覆盖所有积累呢?
Sarkar:有时候你没有选择。你是否想换一个环境,你必须处理不同的方法当你谈论模拟或正式的验证。但是我们有工具来确保你所,无论你使用哪一个。
奥尔索普:有很多设计师之间的宗教战争。在英特尔我们看到越来越多的使用SystemC。我们认为我们还在初级阶段。SystemC已经存在了一段时间验证,但现在设计师们搬到一个更高的抽象语言。仍处于起步阶段。但是一旦设计师得到连接到一个语言和知道如何使用它,他们呆在一起。然后还有性能。当你想做某些事情在系统Verilog比SystemC慢。
黑色的:还有一个努力。很多人感兴趣SystemC的并行化。重要的是分发你的模拟机器,这并不是一件容易的事情。不管它是系统Verilog或SystemC。这两种语言都需要这样做。有很多人在谈论现在。
|
|
|
|
|
|
|
|
|
留下一个回复