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

点播网络研讨会

HLS(高级合成)的采用继续增长,但也需要相关的HLV(高级验证)方法。

持续时间: 21:53

细节

概述

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


你将学到什么

  • HLV工具和流程,为HLS C++设计源的验证签署提供了机会
  • 示例包括:
    • 使用LICT和形式化工具确保C++设计源在合成前的正确性
    • Using portable stimulus to target efficient constrained random stimulus for C++ test benches
    • 实现HLS C++设计源代码和功能覆盖目标
    • 使用SLEC形式化方法确认生成的RTL与C++设计源之间的等价性
的主持人

演示者图像大卫·阿尔恩

Dave Aerne是Calypot系统部门的验证技术专家,专注于HLV(高级验证)解决方案。他的专业领域是uvm和验证IP。在加入EDA行业之前,他在半导体公司和无晶圆厂半导体初创企业的各种角色中获得了超过18年的SOC设计和验证经验。戴夫获得了伊利诺伊大学香槟分校的理学学士学位和科林斯堡国家技术大学的理学硕士学位,科罗拉多。

应该看谁

  • Project leads curious to learn how HLV can improve productivity and reduce schedule uncertainty
  • 考虑HLS和古玩的团队了解相应的HLV方法
  • 目前正在使用HLS的设计和验证团队还想了解HLV方面的新功能。

相关资源

Multimedia

其他相关资源

闲聊γ 联系人