(0人评价)
芯片验证基础篇 | 新思在线课程大放送(四)

新思科技线上课程系列

价格 免费
课程介绍

芯片验证基础篇 | 新思在线课程大放送(四)

 

随着ASIC的规模越来越大,复杂度越来越高,对于验证和调试技术提出了越来越严峻的挑战:如何加速大规模集成电路的验证效率,如何加速软硬件之间、信号与协议之间的调试,如何在芯片设计的更早阶段介入,等等。

基于这些因素,新思科技推出了业界领先的验证一致性平台Verification Continuum,其全新增强型原生集成实现了所有验证引擎之间的性能提升,加快了复杂芯片设计的上市时间。

小贴士:
今天的四堂技术课程主要介绍包括Static、VC Formal®形式验证、VCS®软件仿真、Verdi®调试等验证工具的基础知识,以便大家对其使用有一个比较清晰的了解,并能够直接将其应用于自己的验证环境中。

 

课程主题 1:使用Static解决跨时钟域问题

课程讲师:Leon Yin,新思科技应用工程师

课程简介:

典型的数字电路中存在着大量跨时钟域信号,这些信号会导致什么问题?这些问题的原理是什么?基本的解决方法又是什么?本课程将会针对CDC的上述基础问题,进行一 一介绍,并给出了CDC结构检查的问题类别和主要步骤。

 

课程主题 2:形式化验证和功能验证VC Formal

课程讲师:Sera Gao,新思科技应用工程师

课程简介:

芯片验证方法学近十年的发展极大的帮助到了验证工作效率和质量的提升,但是基于传统激励机制的验证始终存在一些不容易克服的困难。近几年越来越多的工程师把眼光投向了形式化验证,本课程与大家一起探讨这两种方法学的异同。

 

课程主题 3:业界一流的仿真工具VCS

课程讲师:朱鹏,新思科技高级技术顾问

课程简介:

新思科技VCS具有业界一流的仿真手段,20多年来一直致力于技术革新,使其每一版都有独特的新技术和新亮点。并和Verdi debug工具无缝融合,提供完美的测试解决方案。本课程主要基于VCS最新版,介绍VCS在质量、性能以及容量方面的提高,最先进的高级仿真技术(提高性能),以及新一代全方位的Verdi/debug手段。

 

课程主题 4:统一的Debug平台Verdi

课程讲师:Eric Liang,新思科技应用工程师

课程简介:

Verdi是统一的Debug平台,本课程简要的介绍了Verdi在设计和验证流程中所提供的各个Debug功能以及组件。新版Verdi提供通过VCS Unified Compile实现的智能加载技术,将Verdi设计加载速度提高5倍。此外,增强型原生多线程将文件写出带来的资源消耗降低50%;新的动态波形混叠技术使得FSDB文件大小缩小3倍。

课程特色

视频(4)

最新学员

学员动态