新兴标准助力基于TLM的验证

[09-12 18:34:58]   来源:http://www.88dzw.com  EDA/PLD   阅读:8992

文章摘要:为实现进一步发展,TLM需满足三个要求。其中最显而易见的两个是嵌入式软件开发和设计验证。“验证工程师需要简单、直接的测试。”Schirrmeister说。另一个不断发展变化的要求是随机测试生成,它采用校验.以及包含用TLM表述的用于系统级芯片(SoC)综合验证的覆盖范围。随机测试模式的生成、覆盖检查以及监视器的使用等情况将及时传播到TLM领域和虚拟样机。TLM有待融合的第三个要求是与实现的直接链接。“我们称这一流程为‘TLM到GDSII’。”Schirrmeister 说。 “过去有两个世界。一个侧重虚拟平台,而另一个侧重高级综合。我们认为在将来某个时候,这两个世界将合二为一。”对许多设计工程

新兴标准助力基于TLM的验证,标签:eda技术,eda技术实用教程,http://www.88dzw.com

  为实现进一步发展,TLM需满足三个要求。其中最显而易见的两个是嵌入式软件开发和设计验证。“验证工程师需要简单、直接的测试。”Schirrmeister说。另一个不断发展变化的要求是随机测试生成,它采用校验.以及包含用TLM表述的用于系统级芯片(SoC)综合验证的覆盖范围。随机测试模式的生成、覆盖检查以及监视器的使用等情况将及时传播到TLM领域和虚拟样机。

  TLM有待融合的第三个要求是与实现的直接链接。“我们称这一流程为‘TLM到GDSII’。”Schirrmeister 说。 “过去有两个世界。一个侧重虚拟平台,而另一个侧重高级综合。我们认为在将来某个时候,这两个世界将合二为一。”

  对许多设计工程师以及EDA供应商来说,问题是如何在虚拟平台和高级综合(HLS)流程之间建立链接。

  “一直以来都试图用TLM链接这些世界。”Forte Design Systems的市场和销售副总裁Brett Cline说。“但问题始终是该标准只考虑了验证而没考虑综合。在TLM规范中缺少了一些非常基本但对硬件设计而言至关重要的东西。例如,没有专有的复位机制。”

  OSCI内部的努力最终导致了TLM 1.0标准的修订,进而催生了TLM 2.0版本。 “我们对OSCI TLM 1.0进行了扩展,做了一些你或许期望我们做的一些事,也即对综合的了解。”Cline说。“TLM 2.0是一个更加关注综合的标准,它主要专注于基于总线的系统。”TLM 2.0包括各种面向基于总线系统的事务应用编程接口(API)。

  Cline认为,由于验证工程师和实现之间的鸿沟,虚拟平台和HLS是分开的。“人们从两个角度来看待它。你或者是一位验证者(从虚拟平台角度来看),或者是一位用SystemC进行硬件设计的实现者。”Cline说。“现在,验证者已经认识到,TLM代表着一条无需重写就能完成实现的可行途径。同时,实现者也正开始明白该如何将一些东西集成进运行得非常快的系统模型。”

  Schirrmeister表示,过去,大部分厂商和用户在隔离时已经使用了虚拟平台和/或HLS。“创制TLM 2.0是为有助于早期软件开发和高性能模拟,但它对HLS考虑不多。实际上,我们正借助可综合子集来推动TLM 2.0标准解决HLS需求。这是业界需应对的发展方向。”他说。

  硬件生成

  基于事务验证的一个重要组成是借助TLM可实现极高速验证的硬件。最近,Synopsys推出了其快速原型系统HAPS-60系列作为Confirma平台的组成部分。基于赛灵思Virtex-6 FPGA构建的HAPS-60系统是对“自建还是购买”决策的最新回应,过去涉及快速原型技术时会面临该问题。

  该系列产品包括三种型号:HAPS-61(单 FPGA,多达450万门容量),HAPS-62(双FPGA,900万门容量)以及HAPS-64(4 FPGA,1800万门容量)。除了容量是上一代HAPS-50系列的一倍以外,HAPS-60还将性能到时钟频率高达200MHz。

  对Confirma快速原型系统(图1)中组件的一种高级概述是从贯穿综合始终的RTL设计文件开始。接着在快速原型板上对设计进行分割。系统的Confirma软件执行这一分割过程,而且该软件明白其目标是一块HAPS板。然后,用户就可以进行模拟原型所需的接口实例化,以及协同仿真和基于事务的验证所需的将设计链接到其它环境中。


图1:一个Confirma快速原型系统从RTL设计文件开始,接着进行综合然后对设计进行分割。

  早期的快速原型系统与带宽的限制相冲突,这一限制是由FPGA引脚数无法跟上设计规模和速度要求而引起。过去,对该问题的解决办法是互连复用,这可以作为权宜之计,但最终会限制系统的整体性能。

  HAPS-60系统采用自动高速时分复用避免了这些带宽限制。该系统的软件自动(而不是强迫用户手动)插入时分复用逻辑(图2左)。“按照过去的方式将需要深入解读RTL设计文件。”Synopsys方案营销业务拓展经理Doug Amos说。

上一页  [1] [2] [3]  下一页


Tag:EDA/PLDeda技术,eda技术实用教程EDA/PLD

《新兴标准助力基于TLM的验证》相关文章

分类导航
最新更新
热门排行