模式阻碍新方法吗?

半导体工程坐下来讨论行业的状态建模以上抽象RTL,推迟了收养的一个因素虚拟样机和扩散的系统级设计和硬件/软件合作设计。参与讨论的弗兰克•Schirrmeister集团董事、产品营销系统开发套件节奏;,首席技术官碳设计系统;工程经理尼克•采集者在处理器的模型手臂;在阿尔特拉维多利亚米切尔,主任SoC软件;的创始人兼首席执行官玛莲Boonen Methods2Business;和汤姆德舒特、产品营销为仿真器Synopsys对此。在第一部分提供的大纲,每个参与者的当前状态建模和虚拟原型,从他们的角度看问题。第二部分包含一个热烈的讨论关于约时间(在)模型的状态。以下是摘录的谈话。

SE:有什么不同高水平的合成和虚拟样机他们不能使用相同的模型吗?

Boonen:我的团队已经三个月开发无线网络的MAC层。我们使用高级合成(HLS)和虚拟系统原型(VSP)从第一天开始。他们都是必要的构建知识产权很快,因为没有垂直地震剖面没有单一的方法构建一个IP,既包含复杂的硬件和软件,这两个在一起是MAC。如果没有办法把软件活着那么很难理解MAC层和内核。我在我的平台synthesizable模型是模型。它运行非常快,因为它是事件驱动的。

Schirrmeister我欣赏需要实现系统视图和视图,你希望他们交互。你已经设法建立一个模型,在这个模型开关某些事情的能力。当我们描述它必须是准确的,因为有人可以使用两种不同的模型,但是你选择把它放到一个模型与一个开关。快速执行考勤方面我关掉一些HLS所需,但保持一致在一个单一的模型。这也使系统软件相结合的建筑知识产权优化的IP。

Boonen:这是一个要求,因为我不想有两个模型,它有一个更高的价值,因为所有的验证是一个模型包括的软件验证模型是我的设计。

米切尔:这是一个稍微不同的解释术语“黄金模式”但我明白为什么你用它,是一个应用程序的金色模型之前,我没有想到。

德舒特:这还不常见方法,但它是很好的方式已经完成。一般来说,HLS模型是一个非常准确的模型…

Boonen:不——我的模型是HLS的条目和不计时的SystemC模型。

Schirrmeister:当我想到全能金模式,它是一个模型在任意语言,这样使用工具和自动化我可以得到这两种虚拟样机模型适合或实现无需知道的特定需求的环境。这是一个梦。

米切尔:是的,这类似于我看到一个金色的模型。

Boonen:好,现在我挑战你提供的自动化。

Schirrmeister:这使您能够有一个模型,所以一切保持同步,充当知识库的人知道如何让它快,另一个知道HLS的要求。

采集者:这取决于IP。我会做同样的方式,但是如果我们看一个CPU,你甚至不会开始讨论。做一个模型,可以运行在一个几百Mips,也是一个优化的硅低功率和所有的要求,没有技术,可以弥合分歧。金色的模型概念很有趣。我从来没有声明任何模型作为黄金,尽管我们经常问我们如何知道模型是正确的。答案我给,这有点滑稽的是,他们是正确的,因为我们认为他们是正确的。我们做大量的验证,但也有一个相同的解释规范的元素被重用就像一个可执行的规范。当我们构建一个复杂模型的处理器,我们用它来auto-validate设备的规范制作,模型是相同的模型,将提供在一个虚拟的平台。相同的模型使用无处不在,每一个设计是合规的反对这个签字。这也是我们如何保护生态系统。我仍然不能称之为黄金,但有一个连续性在解释它。

Boonen:我可以称之为黄金,因为我的模型是用于创建RTL。我可以为我的客户定制它。

Schirrmeister我兴奋的模型,因为他们发现你不通过其他方式找到的东西。我见过一个客户运行一个软件工作量模型并运行它模拟和fpga。在仿真运行,但它没有运行在FPGA在模型中没有运行。他们的手指指着建模的家伙。事实证明,该模型正确地实现了规范,和不同的是记忆的方式初始化。这使我们找到bug。当你依靠自动化,如果模型中有一个bug,那么它也将在RTL。美对并行的方法,虽然我讨厌它,是你发现bug,否则可能没有被发现。

Boonen:我做验证SystemC模型,它是重复的RTL和我也使用形式验证,不幸的是只有在RTL代码——这是一个挑战对于SystemC模型…

Neifert:有很多公司使用HLS和有很多使用虚拟原型,但为什么没有更多的人一起使用它们吗?即使一个公司使用他们,它往往是不同的团体和他们永远在一起。我很想看到他们走到一起。比我更好的人试图使这发生。

Boonen:当你是一个小公司,你没有这堵墙。大型企业集团的一个特定的焦点。

米切尔:我们拆除这些墙。人们扬起眉毛当他们看到我们在做什么,但我们确实让人们穿越线路。有数量有限的人可以把整个线路和我们可能不得不回到大学和工程方法的修改他们的观点,这样人们就可以开始这样想,不是说我是一个硬件,软件的人,或验证…

Boonen:这是我们的方法的一部分。我们用最好的工具和方法,和下一代的工程师。他们需要了解硬件和软件。

米切尔工具厂商:我想我们,有责任回到大学,告诉他们我们想要改变思维方式。它不再是足够的方式去做事情,他们在80年代。

Boonen我不得不改变我的软件团队去年因为他们没有使用垂直地震剖面。他们不明白,他们的软件来运行。

德舒特:我们也要记住HLS并不适合所有类型的IP。对于一些碎片你坚持创建模型和建筑RTL和没有工具,可以为你做这些。

SE:什么是失踪,使我们去RTL上方的金色的模型吗?

米切尔:标准化。我们需要一个标准接口,这样我们可以灵活地切换方法,大约HLS SystemC和周期之间的准确性和时间模型。标准化允许我们混合和匹配根据IP的类型。直到我们达成正确的抽象层我不认为我们能够都诸事顺利。

采集者警告是在早期,当我们讨论虚拟原型,我们有很多宏伟的想法我们可以做的和实现自动化。我们真的实现来自引入一些实用主义的讨论。模型放到一个非常多样化的产品,你必须务实对人们试图回答的问题,不卷入试图解决所有问题有一个解决方案。我们已经与快速模型是成功的,因为他们是解决一个特定的拼图的一部分。混合解决方案也非常激动人心的,因为它们允许一些在课堂上最好的解决方案集合构建功能强大的验证场景。

德舒特:超过部分来源于有金色的模型,模型是站在自己的特定用例他们解决。我们看到需要一个模型软件开发,验证,和早期的架构和力量探索,他们站在自己的旁边一个优点RTL模型。这是让人们意识到,有一个好处有建模团队和更多的公司开始这样做。做事也受益于两种不同的方式和使用它来检查RTL。我不相信有一个模型,推导出的所有。

Neifert:我们已经见过许多这样的。没有一个单一的方法,将在所有情况下工作。服务这两种方法,高级模型和精确模型和动态切换。你开始运行,直到你到达一个点重要的然后切换。混合解决方案试图使用一种不同的方法解决一些问题。结合高层和精确模型将发布一组额外的价值。

Boonen:我真的高兴高级合成已成为现实。自2000年以来我一直在使用SystemC,现在是走到一起是时候去RTL的时候,我像一个混合的方式,这样我可以保持虚拟平台活着和看到我的软件运行快速原型,我有我的RTL -所有在一个单一的环境。我很高兴,我也看到更多机会正式和SystemC这是下一个挑战。