HLS C++/SystemC设计的验证信号

事件

注册参加本网络研讨会

在线-1月8日,二千零一十九
上午9:00-10:00 AMUS/太平洋
转换为本地时间

转到URL
这个Go URL可以用于导航到这个页面。与长URL相比,在电子邮件中复制和粘贴更容易。

概述

HLS(高级合成)的采用继续增长,但是也需要相关的HLV(高级验证)方法。这种需求的动机是,在C++级别(与RTL)的验证已被证明可以减少多达80%的总体验证成本。本网络研讨会介绍弹射器®“HLS意识到C++/SystemC验证工具和流程,将有助于早期发现和消除错误;确保C + RTL的正确性和快速接近覆盖的C++设计源和HLS生成的RTL。

你将学到什么

  • HLV工具和流程,为HLS C++设计源的验证签署提供了机会
  • 示例包括:
    • 使用LICT和形式化工具确保C++设计源在合成前的正确性
    • 利用便携式刺激对C++测试台的有效约束随机激励
    • 实现HLS C++设计源代码和功能覆盖目标
    • 使用SLEC形式化方法确认生成的RTL与C++设计源之间的等价性
关于演讲者
大卫·艾恩
大卫·艾恩

Dave Aerne是Calypto系统部的验证技术专家,专注于HLV(高级验证)解决方案。他特别擅长的领域是UVM和验证IP。在加入EDA行业之前,他在半导体公司和无家可归的初创公司获得了超过18年的SoC设计和验证经验。戴夫获得了伊利诺伊大学厄本纳-香槟分校的理学士学位和柯林斯堡国家技术大学的理学硕士学位,科罗拉多。

谁应该参加

  • 项目领导好奇地了解HLV如何提高生产率和减少日程不确定性
  • 考虑HLS和古董的团队学习相应的HLV方法
  • 设计和验证团队目前使用HLS,但是很好奇地了解HLV方面的新内容

包括的产品


技术要求

我需要看什么和听这个网络研讨会??

Mentor Graphics的网络研讨会是使用On24提供的。您将能够在演讲当天开始时间之前15分钟登录到研讨室。您可以通过VoIP(IP上的语音)听到使用计算机扬声器的音频,并且在演示开始之前播放背景音乐。

详细的系统要求

媒体播放器

为了访问事件,您必须拥有Adobe闪存播放器.

支持的系统配置

  • Windows 7+(Microsoft Edge,最新的Internet Explorer,火狐,或铬)
  • Apple Mac OS 10.9+(*Latest Firefox,游猎,或铬)
  • Ubuntu Linux(仅限于Firefox)
  • Android 4.x(只支持Chrome浏览器)
  • 苹果iO(*最新版本,只有Safari浏览器)

*官方支持最新“新发布的浏览器的版本,在上述各项中,将会在公开发布后8周内添加。直到那时,以前的版本将继续得到支持。

如果您正在使用不支持的Windows版本,雨衣,或Linux操作系统,在观看和/或收听事件时可能遇到困难。

Cookies和JavaScript

为了访问事件,您的计算机必须启用cookie和JavaScript。如果操作系统当前没有启用cookie或JavaScript,联系您的网络管理员或参考注册页面上的帮助链接。

因特网浏览器

  • 微软边缘
  • Internet Explorer 11+
  • Mozilla Firefox(*Latest)
  • Safari(*Latest,仅MAC)
  • 谷歌Chrome(*Latest)

*官方支持最新“新发布的浏览器的版本,在上述各项中,将会在公开发布后8周内添加。直到那时,以前的版本将继续得到支持。

您可以通过单击下面的图标下载每个浏览器的更新版本。

额外要求

在访问事件之前,您应该确保您的浏览器被配置为流媒体。对于音频事件,您将需要64Kbps以上的最低互联网连接。对于视频事件,您将需要400Kbps以上的最低互联网连接。

相关资源

闲聊γ 接触